Igor Melatti

	2009
19		Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry Li: Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS 2009: 531-546
18		Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009)
	2008
17		Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li: Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD 2008: 1-8
	2007
16		Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365
15		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		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		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		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		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		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		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		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		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		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		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		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		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	Lorenzo Alvisi	[17] [19]
2	Fernando Brizzolari	[16]
3	Ester Ciancamerla	[2]
4	Allen Clement	[17] [19]
5	Ganesh Gopalakrishnan	[12] [18]
6	Benedetto Intrigila	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15]
7	Robert M. Kirby (Mike Kirby)	[12] [18]
8	Harry Li	[19]
9	Harry C. Li	[17]
10	Guido Macchiarelli	[15]
11	Daniele Magazzeni	[8] [13]
12	Antinisca Di Marco	[3] [11]
13	Federico Mari	[17] [19]
14	Michele Minichino	[2]
15	Robert Palmer	[12] [18]
16	Andrea Parisse	[2]
17	Marcello Pecorari	[14]
18	Giuseppe Della Penna	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [13] [14] [16]
19	Alfonso Pierantonio	[3] [11]
20	Orazio Raparelli	[14]
21	Ivano Salvo	[17] [19]
22	Geoffrey Sawaya	[12] [18]
23	Alberto Tofani	[13] [14] [15]
24	Enrico Tronci	[1] [2] [4] [5] [6] [7] [8] [9] [10] [13] [14] [16] [17] [19]
25	Yu Yang	[12] [18]
26	Marisa Venturini Zilli	[1] [2] [4] [5] [6] [7] [10]

Colors in the list of coauthors