| |
Author |
Title |
Year  |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Cecconi, Michele; Tronci, Enrico |
Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher |
2000 |
Hase |
IEEE Computer Society |
0-7695-0927-4 |
|
10.1109/HASE.2000.895456 |
|
|
|
|
|
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa |
A Probabilistic Approach to Automatic Verification of Concurrent Systems |
2001 |
8th Asia-Pacific Software Engineering Conference (APSEC) |
IEEE Computer Society |
0-7695-1408-1 |
|
10.1109/APSEC.2001.991495 |
|
317-324 |
|
|
|
Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa |
Exploiting Transition Locality in Automatic Verification |
2001 |
11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) |
Springer |
3-540-42541-1 |
|
10.1007/3-540-44798-9_22 |
|
259-274 |
|
|
|
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. |
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design |
2001 |
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on |
IEEE Computer Society |
0-7695-1275-5 |
|
10.1109/HASE.2001.966821 |
|
209-219 |
|
|
|
Bobbio, Andrea; Bologna, Sandro; Minichino, Michele; Ciancamerla, Ester; Incalcaterra, Piero; Kropp, Corrado; Tronci, Enrico |
Advanced techniques for safety analysis applied to the gas turbine control system of Icaro co generative plant |
2001 |
X Convegno Tecnologie e Sistemi Energetici Complessi |
|
|
|
|
|
339-350 |
|
|
|
Intrigila, Benedetto; Salvo, Ivano; Sorgi, Stefano |
A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser |
2001 |
Information and Computation |
Academic Press, Inc. |
0890-5401 |
|
10.1006/inco.2001.2945 |
171 |
137-155 |
|
|
|
Bono, V.; Salvo, I. |
A CuCh Interpretation of an Object-Oriented Language |
2001 |
Electronic Notes in Theoretical Computer Science |
Elsevier |
|
|
10.1016/S1571-0661(04)00171-9 |
50 |
159-177 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Exploiting Transition Locality in the Disk Based Mur$\varphi$ Verifier |
2002 |
4th International Conference on Formal Methods in Computer-Aided Design (FMCAD) |
Springer |
3-540-00116-6 |
|
10.1007/3-540-36126-X_13 |
|
202-219 |
|
|
|
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele |
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant |
2002 |
21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) |
Springer |
3-540-44157-3 |
|
10.1007/3-540-45732-1_27 |
|
273-283 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized Regular Expressions |
2002 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
|
62 |
195-210 |
|
