toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco; Pugliese, Rosario; Tronci, Enrico A Symbolic Model Checker for ACTL 1998 International Workshop on Current Trends in Applied Formal Method (FM-Trends) Springer 3-540-66462-9 10.1007/3-540-48257-1_14 228-242 details   pdf doi
Pugliese, Rosario; Tronci, Enrico Automatic Verification of a Hydroelectric Power Plant 1996 Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3 Springer 3-540-60973-3 10.1007/3-540-60973-3_100 425-444 details   doi
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and Distributed Model Checking in Eddy 2006 Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 – April 1, 2006, Proceedings Springer - Verlag 0302-9743 978-3-540-33102-5 10.1007/11691617_7 108-125 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico Exploiting Hub States in Automatic Verification 2005 Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Springer 3-540-29209-8 10.1007/11562948_7 54-68 details   pdf doi
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 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Integrating RAM and Disk Based Verification within 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_25 277-282 details   pdf doi
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 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Bounded Probabilistic Model Checking with the Mur$\varphi$ Verifier 2004 Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings Springer 3-540-23738-0 10.1007/978-3-540-30494-4_16 214-229 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Minichino, Michele; Ciancamerla, Ester; Parisse, Andrea; Tronci, Enrico; Venturini Zilli, Marisa Automatic Verification of a Turbogas Control System with the Mur$\varphi$ Verifier 2003 Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Springer 3-540-00913-2 10.1007/3-540-36580-X 141-155 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite Horizon Analysis of Stochastic Systems with the Mur$\varphi$ Verifier 2003 Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings Springer 3-540-20216-1 10.1007/978-3-540-45208-9_6 58-71 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: