Igor Melatti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
14
Active years
2003–2018
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISMIS | An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2015 | DSD | A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad Samuel Malki Ebeid, Sren Aagaard Mikkelsen, Rune Hylsberg Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic |
| 2015 | DSD | User Flexibility Aware Price Policy Synthesis for Smart Grids. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard |
| 2015 | PDP | SyLVaaS: System Level Formal Verification as a Service. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | DSD | Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | FMCAD | Patient-specific models from inter-patient biological models and clinical records. | Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Dav, Thomas Dierkes, Rainald Ehrig, Susanna Rblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille |
| 2014 | PDP | System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2013 | CAV | System Level Formal Verification via Model Checking Driven Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci |
| 2012 | EMSOFT | On model based synthesis of embedded control software. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2012 | ICTAC | Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2010 | CAV | Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2009 | CRiSIS | Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. | Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri |
| 2009 | SSS | Model Checking Coalition Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 2008 | FMCAD | Model Checking Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 2007 | APSEC | Disk Based Software Verification via Bounded Model Checking. | Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna |
| 2006 | FDL | A Case Study on Automated Generation of Integration Tests. | Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
| 2006 | ICINCO | Automatic generation of optimal controllers through model checking techniques. | Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
| 2005 | ATVA | Exploiting Hub States in Automatic Verification. | Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci |
| 2004 | FMCAD | Bounded Probabilistic Model Checking with the Mur | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
| 2003 | FASE | Xere: Towards a Natural Interoperability between XML and ER Diagrams. | Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio |