- Exploiting Transition Locality in Automatic Veri cation ?
- Proceedings of: X Convegno Tecnologie e Sistemi Energetici Complessi, (TESEC), June 2001, Genova, Italy ADVANCED TECHNIQUES FOR SAFETY ANALYSIS APPLIED TO
- Exploiting Transition Locality in the Disk Based Mur' Veri er ?
- QuestodocumentoeleinformazioniinessocontenutesonodiproprietdiMBDAItaliaS.p.A.enonpossonoesseredivulgatie/oriprodottisenzaautorizzazionescritta.Marchiodepositato. Elenco Tesi Disponibili
- Toward Organised software Processes in SMEs
- Finite Horizon Analysis of Markov Chains with the Mur' Veri er ?
- Proc. of 36th IEEE Conf. on Decision and Control, Dec. 1997, San Diego, CA, USA On Computing Optimal Controllers for Finite State
- Proceedings of 4th IEEE International Symposium on High Assurance Systems Engineering, Nov. 1999, Washington DC, USA Formally Modeling a Metal Processing Plant and its
- Proceedings of: ''Formal Methods Europe'', March 1996, Oxford, UK, LNCS 1051, Springer Automatic Verification of a Hydroelectric Power
- Automatic Veri cation of a Turbogas Control System with the Mur' Veri er ?
- Proc. of: 6th IEEE Intern. Symp. on High Assurance Systems Engineering (HASE), 22-24 October 2001, Boca Raton, Florida, USA Integrating Automatic Veri cation of Safety Requirements
- Model-checking based on Fluid Petri Nets for the temperature control system of the ICARO
- Proceedings of: 8th IEEE Asia-Paci c Software Engineering Conference (APSEC), 4-7 December 2001, Macau SAR, China A Probabilistic Approach to Automatic Veri cation of
- Hardware Verification, Boolean can quickly fill up a computer memory. Nevertheless FSSs of considerable size have been automatically verified
- Proc. of International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, 79 October 1998, Lecture Notes in Computer Science, SpringerVerlag
- Proceedings of 35th IEEE Conference on: Decision and Control, Dec. 1996, Kobe, Japan Optimal Finite State Supervisory Control
- 5th IEEE International Symposium on High Assurance Systems Engineering (HASE), Nov. 2000, Albuquerque, New Mexico, USA Requirements Formalization and Validation for a
- Synchronized Regular Expressions ? Giuseppe Della Penna 1 , Benedetto Intrigila 1 , Enrico Tronci 2 , and
- Bounded Probabilistic Model Checking with the Mur# Verifier
- Proc. of 2nd IEEE Int. Conf. on Formal Engineering Methods, Dec. 1998, Brisbane, Australia Automatic Synthesis of Controllers from Formal Specifications
- BANDO DI CONCORSO FONDAZIONE ANNA MARIA CATALANO
- Proceedings of 14th IEEE International Conference on Automatic Software Engineering, Oct. 1999, Cocoa Beach, Florida, USA Automatic Synthesis of Control Software for an Industrial
