Selected Publications

CitationGiuseppe Della Penna, Pietro Frasca, Benedetto Intrigila, Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators, in: Journal of Computer Science, Science Publications 15:1 pp. 171-189 (2019) 10.3844/jcssp.2019.171.189 cybersecurity

CitationGiuseppe Della Penna, Sergio Orefice, Qualitative Representation of Spatio-Temporal Knowledge, in: Journal of Visual Languages & Computing, Elsevier 49 pp. 23-32 (2018) 10.1016/j.jvlc.2018.10.002 knowledge engineering spatial relations

CitationGiuseppe Della Penna, Daniele Magazzeni, Sergio Orefice, A Formal Framework to Represent Spatial Knowledge, in: Knowledge and Information Systems, Springer 51:1 pp. 311-338 (2017) 10.1007/s10115-016-0975-3 knowledge engineering spatial relations

CitationGiuseppe Della Penna, Daniele Magazzeni, Sergio Orefice, Extending Visual Information Extraction to Biomedical Applications, in: Computer Systems Science and Engineering, CRL Publishing 31:5 (2016) vie

CitationGiuseppe Della Penna, Sergio Orefice, Supporting Information Extraction from Visual Documents, in: Journal of Computer and Communications, SCIRP 4:6 pp. 36-48 (2016) 10.4236/jcc.2016.46004 vie

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains, in: International Journal on Artificial Intelligence Tools, World Scientific 24:6 (2015) 10.1142/S0218213015500256 planning

CitationGiuseppe 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

CitationGiuseppe Della Penna, Daniele Magazzeni, Sergio Orefice, A general theory of spatial relations to support a graphical tool for visual information extraction, in: Journal of Visual Languages and Computing, Elsevier 24:2 pp. 71-87 (2013) 10.1016/j.jvlc.2012.11.002 knowledge engineering spatial relations vie

CitationGiuseppe 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, in: International Journal of Software Engineering and Knowledge Engineering, World Scientific 23:2 pp. 223-257 (2013) 10.1142/S021819401350006X knowledge engineering sdml xml

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci, CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems, in: European Journal of Control, Elsevier 19:1 pp. 14-36 (2013) 10.1016/j.ejcon.2013.02.001 control

CitationGiuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, A Universal Planning System for Hybrid Domains, in: Applied Intelligence, Springer 36:4 pp. 932-959 (2012) 10.1007/s10489-011-0306-z planning upmurphi

CitationGiuseppe Della Penna, Daniele Magazzeni, Sergio Orefice, A Spatial Relation based Framework to Perform Visual Information Extraction, in: Knowledge and Information Systems, Springer 30:2 pp. 667-692 (2012) 10.1007/s10115-011-0394-4 knowledge engineering spatial relations vie

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, Resource-Optimal Planning For An Autonomous Planetary Vehicle, in: International Journal of Artificial Intelligence & Applications, AIRCC 1:3 pp. 15-29 (2010) 10.5121/ijaia.2010.1302 planning upmurphi

CitationGiuseppe 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

CitationGiuseppe Della Penna, Daniele Magazzeni, Sergio Orefice, Visual Extraction of Information from Web Pages, in: Journal of Visual Languages and Computing, Elsevier 21:1 pp. 23-32 (2010) 10.1016/j.jvlc.2009.06.001 vie

CitationGiuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni, Fast and Compact Encoding of Numerical Controllers Using OBDDs (book chapter), in: Informatics in Control, Automation and Robotics, Springer-Verlag pp. 75-87 (2009) control

CitationGiuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice, An XML Based Methodology to Model and Use Scenarios in the Software Development Process, in: International Journal of Software Engineering and Knowledge Engineering, World Scientific 18:6 pp. 823-852 (2008) 10.1142/S0218194008003866 sdml

CitationGiuseppe 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

CitationGiuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio, Interoperability Mapping from XML Schemas to ER Diagrams, in: Data & Knowledge Engineering, Elsevier 59 pp. 166-188 (2006) 10.1016/j.datak.2005.08.002 xere xml

CitationGiuseppe Della Penna, Anna Rita Laurenzi, Benedetto Intrigila, Sergio Orefice, An XML Environment for Scenario Based Requirements Engineering, in: Journal of Systems & Software, Elsevier 79:3 pp. 379-403 (2006) 10.1016/j.jss.2005.04.009 sdml

CitationGiuseppe 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

CitationGiuseppe Della Penna, Benedetto Intrigila, Sergio Orefice, An Environment for the Design and Implementation of Visual Applications, in: International Journal of Visual Languages and Computing, Elsevier 15:6 pp. 439-461 (2004) 10.1016/j.jvlc.2004.03.002

CitationGiuseppe Della Penna, A Type System for Static and Dynamic Checking of C++ Pointers, in: Computer Languages, Systems and Structures, Elsevier 31:2 pp. 71-101 (2005) 10.1016/j.cl.2004.05.002

CitationGiuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli , Synchronized Regular Expressions, in: Acta Informatica, Springer-Verlag 39:1 pp. 31-70 (2003) 10.1007/s00236-002-0099-y

CitationGiuseppe Della Penna, Anna Rita Laurenzi, Benedetto Intrigila, Sergio Orefice, An XML Definition Language to Support Scenario-Based Requirements Engineering, in: International Journal of Software Engineering and Knowledge Engineering, World Scientific 13:3 pp. 237-256 (2003) 10.1142/S0218194003001299 sdml

CitationGiuseppe Della Penna, Benedetto Intrigila, Sergio Orefice, Generating Graphical Applications from State-Transition Visual Specifications, in: International Journal of Human Computer Studies, Academic Press 55:6 pp. 861-880 (2001) 10.1006/ijhc.2001.0508

CitationIvan Letteri, Giuseppe Della Penna, Giovanni De Gasperis, Botnet Detection in Software Defined Networks by Deep Learning Techniques, in: LNCS, Springer International Publishing 11161 pp. 49-62 (2018) 10.1007/978-3-030-01689-0_4 cybersecurity

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, UPMurphi Released: PDDL+ Planning for Hybrid Systems, in: Proceedings of 2nd Workshop on Model Checking and Automated Planning, AAAI Press pp. 35-39 (2015) planning upmurphi

CitationGiuseppe Della Penna, Daniele Magazzeni, Sergio Orefice, Supporting Visual Information Extraction from Geospatial Data, in: Proceedings of 2011 International Workshop on Visual Languages and Computing, Knowledge Systems Institute pp. 329-334 (2011) vie

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, Cost-Optimal Strong Planning in Non-Deterministic Domains, in: Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics pp. 56-66 (2011) planning upmurphi

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, A PDDL+ Benchmark Problem: The Batch Chemical Plant, in: Proceedings of 20th International Conference on Automated Planning and Scheduling, AAAI Press pp. 222-225 (2010) planning upmurphi

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, Planning for Autonomous Planetary Vehicles, in: Proceedings of 6th International Conference on Autonomic and Autonomous Systems, IEEE Computer Society pp. 131-136 (2010) 10.1109/ICAS.2010.26 planning upmurphi

CitationGiuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio, UPMurphi: a Tool for Universal Planning on PDDL+ Problems, in: Proceedings of 19th International Conference on Automated Planning and Scheduling, AAAI Press pp. 106-113 (2009) planning upmurphi

CitationGiuseppe Della Penna, Daniele Magazzeni, Sergio Orefice, A Graphical Tool to Support Visual Information Extraction, in: Proceedings of 2009 International Workshop on Visual Languages and Computing, Knowledge Systems Institute pp. 329-334 (2009) vie

CitationMaurizio 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

CitationGiuseppe 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

CitationGiuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni, OBDD Compression of Numerical Controllers, in: ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization, INSTICC Press pp. 43-50 (2008) control

CitationGiuseppe 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) control model checking

CitationFernando 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

CitationGiuseppe 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

CitationGiuseppe 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, 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)

CitationGiuseppe 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

CitationGiuseppe 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

CitationGiuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice, A Methodology for Scenario Development, in: Proceedings of Sixteenth International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute pp. 7-12 (2004) sdml

CitationGiuseppe 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

CitationGiuseppe 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

CitationGiuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio, Xere : Towards a Natural Interoperability between XML and ER Diagrams, in: LNCS, Springer-Verlag 2621 pp. 356-371 (2003) xere xml

CitationGiuseppe 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

CitationGiuseppe 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

CitationGiuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice, An XML Definition Language for Software System Specification, in: Proceedings of 6th World Multi Conference on Systemics, Cybernetics and Informatics, International Institute of Informatics and Systemics XIII (2002) sdml

CitationEnrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli , A Probabilistic Approach to Automatic Formal Verification, in: Proceedings of 8th Asia-Pacific Software Engineering Conference , IEEE Press (2001) cmurphi model checking

CitationEnrico 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

Luca Dionisio, Giuseppe Della Penna, Benedetto Intrigila, Paola Inverardi, On Designing M-commerce Applications, presented at the Workshop on Software Engineering and Mobility, 23rd International Conference on Software Engineering(ICSE 2001)

Benedetto Intrigila, Giuseppe Della Penna, Daniela Ciccomartino, Extending Boerger's JVM Model to Compile Safe C++ Code: The Pointers' Problem, presented at the Abstract State Machines Workshop(ASM 2000)