Giuseppe Della Penna

Senior Researcher

Blocco Zero, Room 215
giuseppe.dellapenna@univaq.it

Research Areas

My research activity mainly focuses on the areras described below. For each field you can find a list of links to pages that describe my research projects and results.

Automatic Verification

XML Technologies

Visual Languages

International Conferences

  • Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice"Supporting Visual Information Extraction from Geospatial Data" (2011) (Proceedings of 2011 International Workshop on Visual Languages and Computing (VLC 2011) , 18-20/8/2011, pp. 329 - 334, Knowledge Systems Institute )
  • Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio"Cost-Optimal Strong Planning in Non-Deterministic Domains" (2011) (Proceedings of 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011) , 28-31/7/2011, Noordwijkerhout, The Netherlands, Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, pp. 56 - 66 )
  • Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio"A PDDL+ Benchmark Problem: The Batch Chemical Plant" (2010) (Proceedings of 20th International Conference on Automated Planning and Scheduling (ICAPS 2010) , 12-16/5/2010, pp. 222 - 225, AAAI Press )
  • Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio"Planning for Autonomous Planetary Vehicles" (2010) (Proceedings of 6th International Conference on Autonomic and Autonomous Systems (ICAS 2010) , 7-13/3/2010, pp. 131 - 136, IEEE Computer Society Online DOI: 10.1109/ICAS.2010.26 )
  • Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio"UPMurphi: a Tool for Universal Planning on PDDL+ Problems" (2009) (Proceedings of 19th International Conference on Automated Planning and Scheduling (ICAPS 2009) , 19-23/9/2009, pp. 106 - 113, AAAI Press )
  • Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice"A Graphical Tool to Support Visual Information Extraction" (2009) (Proceedings of 2009 International Workshop on Visual Languages and Computing (VLC 2009) , 10-12/9/2009, pp. 329 - 334, Knowledge Systems Institute )
  • Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni"Verifying Extended Criteria for the Interoperability of Security Devices" (2008) (Proceedings of 3rd International Symposium on Information Security(IS 2008), 10-11/11/2008, LNCS, vol. 5332, pp. 1131 - 1139, Springer-Verlag )
  • Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni"Evaluating Fuzzy Controller Robustness using Model Checking" (2009) (Proceedings of 8th International Workshop on Fuzzy Logic and Applications (WILF 2009) , 9-12/6/2009, Palermo, Italy, LNAI, vol. 5571, pp. 303 - 311, Springer-Verlag )
  • Giuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni "OBDD Compression of Numerical Controllers" (Proceedings of 5th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2008) , 11-15/5/2008, Madeira, Portugal )
  • Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci"Automatic Generation Of Optimal Controllers Through Model Checking Techniques" (2008) (Proceedings of 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006) , Setubal, Portugal, Lecture Notes in Electrical Engineering (Informatics in Control Automation and Robotics), vol. 15, pp. 107 - 122, Springer-Verlag )
  • Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna" Disk Based Software Verification via Bounded Model Checking" (2007) (Proceedings of 14th Asia-Pacific Software Engineering Conference(APSEC 2007), 5-7/12/2007, pp. 358 - 365, IEEE Press )
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Daniele Magazzeni, Alberto Tofani, Enrico Tronci"Automatic Synthesis of Robust Numerical Controllers" (2007) (Proceedings of Third International Conference on Autonomic and Autonomous Systems (ICAS 2007) , 19-25/6/2007, Athens, Greece, pp. 4 - 15, IEEE Computer Society Online DOI: 10.1109/CONIELECOMP.2007.59 ) <
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, M. Pecorari, O. Raparelli, Alberto Tofani, Enrico Tronci "A Case Study on Automated Generation of Integration Tests" (Presented at the 2006 Forum on specification & Design Languages (FDL 2006) , 19-22/9/2006, Darmstadt, Germany )
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci"Exploiting Hub States in Automatic Verification" (2005) (Proceedings of Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005) , 4-7/10/2005, Taipei, Taiwan, LNCS, vol. 3707, pp. 54 - 68, Springer-Verlag Online DOI: 10.1007/11562948_7 )
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli"Bounded Probabilistic Model Checking with the Murphi Verifier" (2004) (Proceedings of Fifth International Conference on Formal Methods in Computer-Aided Design (FMCAD) , 14-17/11/2004, Austin, Texas, USA, LNCS, vol. 3312, Springer-Verlag Online DOI: 10.1007/b102264 )
  • Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice"A Methodology for Scenario Development" (2004) (Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering (SEKE) , 20-24/6/2004, Banff, Alberta, Canada, pp. 7 - 12, Knowledge Systems Institute )
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli"Finite Horizon Analysis of Markov Chains with the Murphi Verifier" (2003) (Proceedings of 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2003) , 21-24/10/2003, L'Aquila, Italy, LNCS, vol. 2860, pp. 394 - 409, Springer-Verlag )
  • Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli"Integrating RAM and Disk based Verification within the Murphi Verifier" (2003) (Proceedings of 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2003) , 21-24/10/2003, L'Aquila, Italy, LNCS, vol. 2860, pp. 277 - 282, Springer-Verlag )
  • Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio"Xere : Towards a Natural Interoperability between XML and ER Diagrams" (2003) (Proceedings of 2003 Conference on Fundamental Approaches to Software Engineering (FASE 2003) , 5-13/4/2003, Warsaw, Poland, LNCS, vol. 2621, pp. 356 - 371, Springer-Verlag )
  • 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" (2003) (Proceedings of 2003 Conference on Hybrid Systems: Computation and Control (HSCC 2003) , 3-5/4/2003, Prague, Czech Republic, LNCS, vol. 2623, pp. 141 - 155, Springer-Verlag )
  • Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli"Exploiting Transition Locality in the Disk Based Murphi Verifier" (2002) (Proceedings of Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD) , 6-8/11/2002, Portland, Oregon, USA, LNCS, vol. 2517, pp. 202 - 219, Springer-Verlag )
  • Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli "A Probabilistic Approach to Automatic Formal Verification" (2001) (Proceedings of 8th Asia-Pacific Software Engineering Conference (APSEC) , 4-7/12/2001, University of Macau, Macau SAR, China, IEEE Press )
  • Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli"Exploiting Transition Locality in Automatic Verification" (2001) (Proceedings of 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) , 4-7/9/2001, Livingston-Edinburgh (Scotland), LNCS, vol. 2144, pp. 259 - 274, Springer-Verlag )

International Journals