Enrico Tronci

2007
42	EE	Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365
41	EE	Federico Mari, Enrico Tronci: CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. HSCC 2007: 399-412
2006
40	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
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	EE	Enrico Tronci: Introductory Paper. STTT 8(4-5): 355-358 (2006)
37	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
36	EE	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	EE	Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci: Automatic Analysis of a Safety Critical Tele Control System. SAFECOMP 2005: 94-107
2004
33	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
32	EE	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	EE	Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli: Electric Power System Anomaly Detection Using Neural Networks. KES 2004: 1242-1248
30	EE	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	EE	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	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
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	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
25	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
24	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
23	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
22	EE	Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci: Automatic Timeliness Verification of a Public Mobile Network. SAFECOMP 2003: 35-48
21	EE	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)
2002
20	EE	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	EE	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	EE	Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324
17	EE	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	EE	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	EE	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: (2001)
1999
13	EE	Enrico Tronci: Automatic Synthesis of Control Software for an Industrial Automation Control System. ASE 1999: 247-250
12	EE	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	EE	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	EE	Enrico Tronci: Equational Programming in Lambda-Calculus via SL-Systems. Part 1. Theor. Comput. Sci. 160(1&2): 145-184 (1996)
7	EE	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	Claudio Balducelli	[31]
2	Andrea Bobbio	[19]
3	Corrado Böhm	[1] [3]
4	Fernando Brizzolari	[42]
5	Edoardo Campagnano	[34]
6	Ester Ciancamerla	[19] [22] [24] [34]
7	G. D'Alessandro	[16]
8	Giovanni Dipoppa	[16] [31]
9	Alessandro Fantechi	[11]
10	Riccardo Focardi	[15]
11	Daniel Geist	[27]
12	Stefania Gnesi	[11]
13	Roberto Gorrieri	[15] [29]
14	Marco Gribaudo	[19]
15	András Horváth	[19]
16	Benedetto Intrigila	[14] [17] [18] [20] [21] [23] [24] [25] [26] [28] [33] [35] [36] [37] [39] [40]
17	Ruggero Lanotte	[15] [29] [30] [32]
18	Daniele Magazzeni	[35] [39]
19	Andrea Maggiolo-Schettini	[15] [29] [30] [32]
20	Federico Mari	[41]
21	Fabio Martinelli	[15] [29]
22	Marco Martinelli	[31]
23	Franco Mazzanti	[11]
24	Igor Melatti	[23] [24] [25] [26] [28] [33] [35] [36] [37] [39] [40] [42]
25	Michele Minichino	[19] [22] [24] [34]
26	Andrea Parisse	[24]
27	Marcello Pecorari	[40]
28	Giuseppe Della Penna	[14] [17] [18] [20] [21] [23] [24] [25] [26] [28] [33] [36] [37] [39] [40] [42]
29	Adolfo Piperno	[2]
30	Rosario Pugliese	[9] [11]
31	Orazio Raparelli	[40]
32	R. Semprini	[16]
33	S. Serro	[22]
34	Simone Tini	[15] [29] [30] [32]
35	Alberto Tofani	[39] [40]
36	Angelo Troina	[30] [32]
37	Marisa Venturini Zilli	[14] [17] [18] [20] [21] [23] [24] [25] [26] [28] [33] [37]

Colors in the list of coauthors