Giuseppe Della Penna :: Selected Publications

Papers are filtered by argument. See all the papers.

3 International Journals

Giuseppe Della Penna, Daniele Magazzeni, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli , Ester Ciancamerla, Michele Minichino, Alberto Tofani, Automatic Verification of Hybrid System Controllers with the CMurphi Verifier, in: International Journal of Discrete Event Control Systems, Serials Publications 1:1 pp. 69-82 (2010) cmurphi control
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Finite Horizon Analysis of Markov Chains with the Murphi Verifier, in: International Journal on Software Tools for Technlogy Transfer, Springer-Verlag 8:4 pp. 397-410 (2006) 10.1007/s10009-005-0216-7 cmurphi model checking
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems, in: International Journal on Software Tools for Technlogy Transfer, Springer-Verlag 6:4 pp. 320-341 (2004) 10.1007/s10009-004-0149-6 cmurphi model checking

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

2 National Conferences

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

0 Technical Reports

0 Ph.D. Thesis

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.