Papers are filtered by argument. See all the papers.

3 International Journals

8 International Conferences

  • Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna, Disk Based Software Verification via Bounded Model Checking, in: Proceedings of 14th Asia-Pacific Software Engineering Conference, IEEE Press pp. 358-365 (2007) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Exploiting Hub States in Automatic Verification, in: LNCS, Springer-Verlag 3707 pp. 54-68 (2005) 10.1007/11562948_7 cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Bounded Probabilistic Model Checking with the Murphi Verifier, in: LNCS, Springer-Verlag 3312 (2004) 10.1007/b102264 cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Finite Horizon Analysis of Markov Chains with the Murphi Verifier, in: LNCS, Springer-Verlag 2860 pp. 394-409 (2003) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Integrating RAM and Disk based Verification within the Murphi Verifier, in: LNCS, Springer-Verlag 2860 pp. 277-282 (2003) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli, Exploiting Transition Locality in the Disk Based Murphi Verifier, in: LNCS, Springer-Verlag 2517 pp. 202-219 (2002) cmurphi model checking
  • Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli , A probabilistic approach to automatic verification of concurrent systems, in: Proceedings of 8th Asia-Pacific Software Engineering Conference , IEEE Press (2001) 10.1109/APSEC.2001.991495 cmurphi model checking
  • Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli, Exploiting Transition Locality in Automatic Verification, in: LNCS, Springer-Verlag 2144 pp. 259-274 (2001) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli , Automatic Analysis Of Hybrid Systems With The Murphi Verifier, presented at the 2005 AICA annual conference(AICA 2005) cmurphi model checking
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier, in: LNCS, Springer-Verlag 2841 (2003) cmurphi model checking

For a plaintext version of this list, click here. For a BibTeX version of this list, click here. Note that only papers with complete publication data are included in the BibTeX bibliography.