Igor Melatti

2007
16	EE	Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365
15	EE	Benedetto Intrigila, Igor Melatti, Alberto Tofani, Guido Macchiarelli: Computational models of myocardial endomysial collagen arrangement. Computer Methods and Programs in Biomedicine 86(3): 232-244 (2007)
2006
14	EE	Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci: A Case Study on Automated Generation of Integration Tests. FDL 2006: 278-284
13		Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci: Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO 2006: 26-33
12	EE	Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
11	EE	Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio: Interoperability mapping from XML schemas to ER diagrams. Data Knowl. Eng. 59(1): 166-188 (2006)
10	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite horizon analysis of Markov Chains with the Murphi verifier. STTT 8(4-5): 397-409 (2006)
2005
9	EE	Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci: Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68
8		Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci: A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC 2005: 536-542
2004
7	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229
6	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Exploiting transition locality in automatic verification of finite-state concurrent systems. STTT 6(4): 320-341 (2004)
2003
5	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Integrating RAM and Disk Based Verification within the Mur-phi Verifier. CHARME 2003: 277-282
4	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. CHARME 2003: 394-409
3	EE	Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio: Xere: Towards a Natural Interoperability between XML and ER Diagrams. FASE 2003: 356-371
2	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli: Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. HSCC 2003: 141-155
1	EE	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. ICTCS 2003: 58-71

Coauthor Index

1	Fernando Brizzolari	[16]
2	Ester Ciancamerla	[2]
3	Ganesh Gopalakrishnan	[12]
4	Benedetto Intrigila	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15]
5	Robert M. Kirby (Mike Kirby)	[12]
6	Guido Macchiarelli	[15]
7	Daniele Magazzeni	[8] [13]
8	Antinisca Di Marco	[3] [11]
9	Michele Minichino	[2]
10	Robert Palmer	[12]
11	Andrea Parisse	[2]
12	Marcello Pecorari	[14]
13	Giuseppe Della Penna	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [13] [14] [16]
14	Alfonso Pierantonio	[3] [11]
15	Orazio Raparelli	[14]
16	Geoffrey Sawaya	[12]
17	Alberto Tofani	[13] [14] [15]
18	Enrico Tronci	[1] [2] [4] [5] [6] [7] [8] [9] [10] [13] [14] [16]
19	Yu Yang	[12]
20	Marisa Venturini Zilli	[1] [2] [4] [5] [6] [7] [10]

Colors in the list of coauthors