Igor Melatti Vis

*	2009
18	EE	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	EE	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	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	Lorenzo Alvisi	[17]
2	Fernando Brizzolari	[16]
3	Ester Ciancamerla	[2]
4	Allen Clement	[17]
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 C. Li	[17]
9	Guido Macchiarelli	[15]
10	Daniele Magazzeni	[8] [13]
11	Antinisca Di Marco	[3] [11]
12	Federico Mari	[17]
13	Michele Minichino	[2]
14	Robert Palmer	[12] [18]
15	Andrea Parisse	[2]
16	Marcello Pecorari	[14]
17	Giuseppe Della Penna	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [13] [14] [16]
18	Alfonso Pierantonio	[3] [11]
19	Orazio Raparelli	[14]
20	Ivano Salvo	[17]
21	Geoffrey Sawaya	[12] [18]
22	Alberto Tofani	[13] [14] [15]
23	Enrico Tronci	[1] [2] [4] [5] [6] [7] [8] [9] [10] [13] [14] [16] [17]
24	Yu Yang	[12] [18]
25	Marisa Venturini Zilli	[1] [2] [4] [5] [6] [7] [10]

Colors in the list of coauthors