List View
 |   | 
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages (down)
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite Horizon Analysis of Markov Chains with the Mur$\varphi$ Verifier 2003 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 3-540-20363-X 10.1007/978-3-540-39724-3_34 394-409
Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe Disk Based Software Verification via Bounded Model Checking 2007 APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference IEEE Computer Society 0-7695-3057-5 10.1109/APSEC.2007.43 358-365
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Xere: Towards a Natural Interoperability between XML and ER Diagrams 2003 Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 3-540-00899-3 10.1007/3-540-36578-8_25 356-371
Tronci, Enrico Introductory Paper 2006 Sttt 10.1007/s10009-005-0212-y 8 355-358
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
Piperno, Adolfo; Tronci, Enrico Regular Systems of Equations in λ-calculus 1990 Int. J. Found. Comput. Sci. 10.1142/S0129054190000230 1 325-340
Böhm, Corrado; Tronci, Enrico X-Separability and Left-Invertibility in lambda-calculus 1987 Symposium on Logic in Computer Science (LICS) IEEE Computer Society 320-328
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 2004 Sttt 10.1007/s10009-004-0149-6 6 320-341
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
Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks 2018 Foundations of Intelligent Systems – 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings 10.1007/978-3-030-01851-1_29 302-312