[Home]

Selected Papers

[DIMMCPTZ03]
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 Murphi Verifier,
Proceedings of: 6th International Workshop Hybrid Systems: Computation and Control (HSCC) April 2003, Prague, Czech Republic, LNCS 2623, Springer-Verlag
Abstract

[DITZ 03]
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli,
Synchronized regular expressions,
Acta Informatica 39 (2003) 1, 31-70, Springer
Abstract

[GHBTCM 02]
Marco Gribaudo, Andras Horvath, 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,
Proceedings of 21th International Conference on: Computer Safety, Reliabiltiy and Security (SAFECOMP 2002), 10-13 September 2002, Catania, Italy, LNCS, Springer
Abstract

[DITZ 02]
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli,
Exploiting Transition Locality in the Disk Based Murphi Verifier,
Proceedings of 4th International Conference on: Formal Methods in Computer Aided Verification (FMCAD 2002), Nov. 2002, Portland, Oregon, USA, LNCS, Springer
Abstract

[TDIZ 01a]
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli,
A Probabilistic Approach to Space-Time Trading in Automatic Verification of Concurrent Systems,
Proceedings of 8th IEEE Asia-Pacific Software Engineering Conference (APSEC 2001), Dec. 2001, Macau SAR, China
Abstract

[DDST 01]
Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci,
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design,
Proceedings of 6th IEEE International Symposium on High Assurance Systems Engineering (HASE), October 22-24, 2001, Boca Raton, Florida, USA
Abstract

[BBCIKMT 01]
Andrea Bobbio, Sandro Bologna, Ester Ciancamerla, Piero Incalcaterra, Corrado Kropp, Michele Minichino, Enrico Tronci,
ADVANCED TECHNIQUES FOR SAFETY ANALYSIS APPLIED TO THE GAS TURBINE CONTROL SYSTEM OF ICARO CO GENERATIVE PLANT,
Proceedings of X Convegno Tecnologie e Sistemi Energetici Complessi (TESEC), Giugno 2001, Genova, Italy
Abstract

[TDIZ 01]
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli,
Exploiting Transition Locality in Automatic Verification ,
Proceedings of: 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), 4-7 September 2001, Livingston-Edinburgh (Scotland), LNCS, Springer-Verlag
Co-sponsored by the IFIP TC10/WG10.5 Working Group on: Design and Engineering of Electronic Systems
Abstract

[CT 00]
M.Cecconi, E. Tronci,
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher,
Proceedings of 5th IEEE International Symposium on High Assurance Systems Engineering, Nov. 15-17, 2000, Albuquerque, New Mexico, USA
Abstract,

[Tro 99b]
E. Tronci,
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications,
Proceedings of 4th IEEE International Symposium on High Assurance Systems Engineering, Nov. 1999, Washington DC, USA
Abstract,

[Tro 99a]
E. Tronci,
Automatic Synthesis of Control Software for an Industrial Automation Control System,
Proceedings of 14th IEEE International Conference on Automated Software Engineering, Oct. 1999, Cocoa Beach, Florida, USA
Abstract,

[Tro 98]
E. Tronci,
Automatic Synthesis of Controllers from Formal Specifications,
Proceedings of 2nd IEEE International Conference on Formal Engineering Methods, Dec. 1998, Brisbane, Australia
Abstract,

[FGMPT 98]
A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, E. Tronci,
A Symbolic Model Checker for ACTL,
Proceedings of International Workshop on: Current Trends in Applied Formal Methods, Boppard, Germany, 7-9 October 1998, Lecture Notes in Computer Science, Springer-Verlag.
Abstract

[Tro 97]
E. Tronci,
On Computing Optimal Controllers for Finite State Systems,
Proceedings of 36th IEEE Conference on: Decision and Control, 1997, San Diego, CA, USA.
Abstract

[Tro 96]
E. Tronci,
Optimal Finite State Supervisory Control,
Proceedings of 35th IEEE Conference on: Decision and Control, 1996, Japan.
Abstract,

[Tro 96b]
E. Tronci,
Equational Programming in lambda-calculus via SL-systems, Part 2,
Theoretical Computer Science, Vol. 160, Issue 1-2, pg. 185-216, June 1996, Elsevier

[Tro 96a]
E. Tronci,
Equational Programming in lambda-calculus via SL-systems, Part 1,
Theoretical Computer Science, Vol. 160, Issue 1-2, pg. 145-184, June 1996, Elsevier

[PT 96]
R. Pugliese, E. Tronci,
Automatic Verification of a Hydroelectric Power Plant,
Proceedings of: Formal Methods Europe Symposium, 1996, Oxford, LNCS 1051, Springer.
Abstract

[Tro 95a]
E. Tronci,
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming,
Proceedings IEEE Conference: Logic in Computer Science, 1995, San Diego, CA, IEEE Computer Society Press
Abstract,

[Tro 95]
E. Tronci,
Defining Data Structures via Bohm-out,
Journal of Functional Programming, 5 (1): 51-64, Jan. 1995, Cambridge University Press.

[Tro 91]
E. Tronci,
Equational Programming in lambda-calculus,
Proceedings IEEE Conference: Logic in Computer Science, 1991, Amsterdam, IEEE Computer Society Press

[BT 91]
C. Bohm, E. Tronci,
About Systems of Equations, X-separability and Left-invertibility in the lambda-calculus,
Information and Computation, 90, 1-32 (1991), Academic Press

[PT 90]
A.Piperno, E. Tronci,
Regular Systems of Equations in lambda-calculus,
International Journal of Foundations od Computer Science, Vol. 1, Number 3, Sept. 1990, World Scientific Publishing.

[PT 89]
A. Piperno, E. Tronci,
Regular Systems of Equations in lambda-calculus,
Proceedings of the third Italian Conference on Theoretical Computer Science, Mantova 1989, World Scientific Publishing.

[BPT 88]
C. Bohm, A. Piperno, E. Tronci,
Solving Equations in lambda-calculus,
Proceedings of: Logic Colloquium 88, Padova, North-Holland 1989.

[BT 87a]
C. Bohm, E. Tronci,
X-separability in lambda-calculus,
Proceedings IEEE Conference: Logic in Computer Science, 1987, Ithaca NY, IEEE Computer Society Press

[BT 87]
C. Bohm, E. Tronci,
X-separability and left-invertibility in the lambda-calculus,
(extended abstract, invited paper) Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanee, Cesena 1987, CLUEB.

[Home]