Giuseppe Della Penna :: Selected Publications

Papers are filtered by argument. See all the papers.

3 International Journals

Giuseppe Della Penna, Model Checking XSL Transformations, in: Computer Languages, Systems and Structures, Elsevier 40:2 pp. 73-97 (2014) 10.1016/j.cl.2014.03.003 model checking xml
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

14 International Conferences

Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni, Verifying Extended Criteria for the Interoperability of Security Devices, in: LNCS, Springer-Verlag 5332 pp. 1131-1139 (2008) model checking
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Evaluating Fuzzy Controller Robustness using Model Checking, in: LNAI, Springer-Verlag 5571 pp. 303-311 (2009) control model checking
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci, Automatic Generation Of Optimal Controllers Through Model Checking Techniques, in: Lecture Notes in Electrical Engineering (Informatics in Control Automation and Robotics), Springer-Verlag 15 pp. 107-122 (2008) 10.1007/978-3-540-79142-3_10 control model checking
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, Daniele Magazzeni, Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques, in: Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics, Springer-Verlag pp. 54-59 (2007) control model checking
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Daniele Magazzeni, Alberto Tofani, Enrico Tronci, Automatic Synthesis of Robust Numerical Controllers, in: Proceedings of Third International Conference on Autonomic and Autonomous Systems, IEEE Computer Society pp. 4-15 (2007) 10.1109/CONIELECOMP.2007.59 control 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, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli, Automatic Verification of a Turbogas Control System with the Murphi Verifier, in: LNCS, Springer-Verlag 2623 pp. 141-155 (2003) control 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

3 National Conferences

Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni, A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers, in: LNAI, Springer-Verlag 4733 pp. 230-241 (2007) 10.1007/978-3-540-74782-6_21 control 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

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.