Enrico Tronci

	2009
45		Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci: Flexible Timeline-Based Plan Verification. KI 2009: 49-56
44		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
	2008
43		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
42		Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365
41		Federico Mari, Enrico Tronci: CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. HSCC 2007: 399-412
	2006
40		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
39		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
38		Enrico Tronci: Introductory Paper. STTT 8(4-5): 355-358 (2006)
37		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
36		Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci: Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68
35		Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci: A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC 2005: 536-542
34		Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci: Automatic Analysis of a Safety Critical Tele Control System. SAFECOMP 2005: 94-107
	2004
33		Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229
32		Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci: Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS 2004: 249-261
31		Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli: Electric Power System Anomaly Detection Using Neural Networks. KES 2004: 1242-1248
30		Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci: Automatic Analysis of the NRL Pump. Electr. Notes Theor. Comput. Sci. 99: 245-266 (2004)
29		Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004)
28		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
27		Daniel Geist, Enrico Tronci: Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings Springer 2003
26		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
25		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
24		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
23		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
22		Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci: Automatic Timeliness Verification of a Public Mobile Network. SAFECOMP 2003: 35-48
21		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)
	2002
20		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219
19		Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino: Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. SAFECOMP 2002: 273-283
	2001
18		Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324
17		Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274
16		Giovanni Dipoppa, G. D'Alessandro, R. Semprini, Enrico Tronci: Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. HASE 2001: 209-
15		Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: (2001)
14		Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: (2001)
	1999
13		Enrico Tronci: Automatic Synthesis of Control Software for an Industrial Automation Control System. ASE 1999: 247-250
12		Enrico Tronci: Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. HASE 1999: 151-
	1998
11		Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci: A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242
10		Enrico Tronci: Automatic Synthesis of Controllers from Formal Specifications. ICFEM 1998: 134-143
	1996
9		Rosario Pugliese, Enrico Tronci: Automatic Verification of a Hydroelectric Power Plant. FME 1996: 425-444
8		Enrico Tronci: Equational Programming in Lambda-Calculus via SL-Systems. Part 1. Theor. Comput. Sci. 160(1&2): 145-184 (1996)
7		Enrico Tronci: Equational Programming in Lambda-Calculus via SL-Systems. Part 2. Theor. Comput. Sci. 160(1&2): 185-216 (1996)
	1995
6		Enrico Tronci: Hardware Verification, Boolean Logic Programming, Boolean Functional Programming LICS 1995: 408-418
5		Enrico Tronci: Defining Data Structures via Böhm-Out. J. Funct. Program. 5(1): 51-64 (1995)
	1991
4		Enrico Tronci: Equational Prgoramming in lambda-calculus LICS 1991: 191-202
3		Corrado Böhm, Enrico Tronci: About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus Inf. Comput. 90(1): 1-32 (1991)
	1990
2		Adolfo Piperno, Enrico Tronci: Regular Systems in lambda-Calculus. Int. J. Found. Comput. Sci. 1(3): 325-340 (1990)
	1987
1		Corrado Böhm, Enrico Tronci: X-Separability and Left-Invertibility in lambda-calculus LICS 1987: 320-328

Coauthor Index

1	Lorenzo Alvisi	[43] [44]
2	Claudio Balducelli	[31]
3	Andrea Bobbio	[19]
4	Corrado Böhm	[1] [3]
5	Fernando Brizzolari	[42]
6	Edoardo Campagnano	[34]
7	Amedeo Cesta	[45]
8	Ester Ciancamerla	[19] [22] [24] [34]
9	Allen Clement	[43] [44]
10	G. D'Alessandro	[16]
11	Giovanni Dipoppa	[16] [31]
12	Alessandro Fantechi	[11]
13	Alberto Finzi	[45]
14	Riccardo Focardi	[15]
15	Simone Fratini	[45]
16	Daniel Geist	[27]
17	Stefania Gnesi	[11]
18	Roberto Gorrieri	[15] [29]
19	Marco Gribaudo	[19]
20	András Horváth	[19]
21	Benedetto Intrigila	[14] [17] [18] [20] [21] [23] [24] [25] [26] [28] [33] [35] [36] [37] [39] [40]
22	Ruggero Lanotte	[15] [29] [30] [32]
23	Harry Li	[44]
24	Harry C. Li	[43]
25	Daniele Magazzeni	[35] [39]
26	Andrea Maggiolo-Schettini	[15] [29] [30] [32]
27	Federico Mari	[41] [43] [44]
28	Fabio Martinelli	[15] [29]
29	Marco Martinelli	[31]
30	Franco Mazzanti	[11]
31	Igor Melatti	[23] [24] [25] [26] [28] [33] [35] [36] [37] [39] [40] [42] [43] [44]
32	Michele Minichino	[19] [22] [24] [34]
33	Andrea Orlandini	[45]
34	Andrea Parisse	[24]
35	Marcello Pecorari	[40]
36	Giuseppe Della Penna	[14] [17] [18] [20] [21] [23] [24] [25] [26] [28] [33] [36] [37] [39] [40] [42]
37	Adolfo Piperno	[2]
38	Rosario Pugliese	[9] [11]
39	Orazio Raparelli	[40]
40	Ivano Salvo	[43] [44]
41	R. Semprini	[16]
42	S. Serro	[22]
43	Simone Tini	[15] [29] [30] [32]
44	Alberto Tofani	[39] [40]
45	Angelo Troina	[30] [32]
46	Marisa Venturini Zilli	[14] [17] [18] [20] [21] [23] [24] [25] [26] [28] [33] [37]

Colors in the list of coauthors