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.
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"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
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice"On the Specification of a General Theory of Spatial Relations to Support Visual Information Extraction" (2013) ( Journal of Visual Languages and Computing, vol. 24 n. 2, pp. 71 - 87, Elsevier Online DOI: 10.1016/j.jvlc.2012.11.002 )
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Sergio Orefice, Roberto Del Sordo, Giuseppe Cardinale Ciccotti"SyBeL: a system modelling language enhancing automatic support in the software development process" (2013) ( International Journal of Software Engineering and Knowledge Engineering, vol. 23 n. 2, pp. 223 - 257, World Scientific Online DOI: 10.1142/S021819401350006X )
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci"CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems" (2013) ( European Journal of Control, vol. 19 n. 1, pp. 14 - 36, Elsevier Online DOI: 10.1016/j.ejcon.2013.02.001 )
Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio"A Universal Planning System for Hybrid Domains" (2012) ( Applied Intelligence, vol. 36 n. 4, pp. 932 - 959, Springer Online DOI: 10.1007/s10489-011-0306-z )
Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice"A Spatial Relation based Framework to Perform Visual Information Extraction" (2012) ( Knowledge and Information Systems, vol. 30 n. 2, pp. 667 - 692, Springer Online DOI: 10.1007/s10115-011-0394-4 )
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" (2010) ( International Journal of Discrete Event Control Systems, vol. 1 n. 1, pp. 69 - 82, Serials Publications )
Giuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni"Fast and Compact Encoding of Numerical Controllers Using OBDDs" (2009) (Book chapter, Informatics in Control, Automation and Robotics, pp. 75 - 87, Springer-Verlag )
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio"Interoperability Mapping from XML Schemas to ER Diagrams" (2006) ( Data & Knowledge Engineering, vol. 59, pp. 166 - 188, Elsevier Online DOI: 10.1016/j.datak.2005.08.002 )
Giuseppe Della Penna, Anna Rita Laurenzi, Benedetto Intrigila, Sergio Orefice"An XML Environment for Scenario Based Requirements Engineering" (2006) ( Journal of Systems & Software, vol. 79 n. 3, pp. 379 - 403, Elsevier Online DOI: 10.1016/j.jss.2005.04.009 )