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 |