dblp.uni-trier.dewww.uni-trier.de

Enrico Tronci

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
42EEFernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365
41EEFederico Mari, Enrico Tronci: CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. HSCC 2007: 399-412
2006
40EEGiuseppe 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
38EEEnrico Tronci: Introductory Paper. STTT 8(4-5): 355-358 (2006)
37EEGiuseppe 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
36EEGiuseppe 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
34EEEdoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci: Automatic Analysis of a Safety Critical Tele Control System. SAFECOMP 2005: 94-107
2004
33EEGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli: Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229
32EERuggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci: Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS 2004: 249-261
31EEMarco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli: Electric Power System Anomaly Detection Using Neural Networks. KES 2004: 1242-1248
30EERuggero 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)
29EERoberto 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)
28EEGiuseppe 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
26EEGiuseppe 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
25EEGiuseppe 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
24EEGiuseppe 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
23EEGiuseppe 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
22EEEster Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci: Automatic Timeliness Verification of a Public Mobile Network. SAFECOMP 2003: 35-48
21EEGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. Acta Inf. 39(1): 31-70 (2003)
2002
20EEGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219
19EEMarco 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
18EEEnrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli: A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324
17EEEnrico 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-
15EERiccardo 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)
14EEGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized Regular Expressions. Electr. Notes Theor. Comput. Sci. 62: (2001)
1999
13EEEnrico Tronci: Automatic Synthesis of Control Software for an Industrial Automation Control System. ASE 1999: 247-250
12EEEnrico 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
10EEEnrico 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
8EEEnrico Tronci: Equational Programming in Lambda-Calculus via SL-Systems. Part 1. Theor. Comput. Sci. 160(1&2): 145-184 (1996)
7EEEnrico 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)