[ICINCO08book] Giuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni. Fast and Compact Encoding of Numerical Controllers Using OBDDs.
Book chapter, Informatics in Control, Automation and Robotics, 75-87, Springer-Verlag.  (2009) 
[LOD21] Ivan Letteri, Antonio Di Cecco, Giuseppe Della Penna. New Optimization Approaches in MalwareTraffic Analysis.
 Proc. of The 7th International Conference on Machine Learning, Optimization, and Data Science, Lecture Notes in Computer Science - Machine Learning, Optimization, and Data Science - Proceedings of LOD 2021, 13163, 57-68, Springer.  (2021) 
[ISYS21] Ivan Letteri, Antonio Di Cecco, Abeer Dyoub, Giuseppe Della Penna. Imbalanced Dataset Optimization with New Resampling Techniques.
 Proc. of Intelligent Systems Conference 2021, Lecture Notes in Networks and Systems - Intelligent Systems and Applications - Proceedings of the 2021 Intelligent
             Systems Conference, 295, 199-215, Springer.  (2021) 
[SAML21] Giovanni De Gasperis, Giuseppe Della Penna, Sante Dino Facchini. A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment.
 Proc. of 1st International Workshop on Software Architecture and Machine Learning, CEUR Workshop Proceedings, 2978, CEUR-WS.  (2021) 
[ITASEC20] Ivan Letteri, Giuseppe Della Penna, Luca Di Vita, Maria Teresa Grifa. MTA-KDD'19: A Dataset for Malware Traffic Detection.
 Proc. of Italian Conference on Cybersecurity, Proceedings of the Fourth Italian Conference on Cyber Security, 153-165, CEUR-WS.org.  (2020) 
[MAL2CSEC19] Ivan Letteri, Giuseppe Della Penna, Pasquale Caianiello. Feature Selection Strategies for HTTP Botnet Traffic Detection.
 Proc. of Workshop on Machine Learning for Cyber-Crime Investigation and Cybersecurity, Proceedings of 2019 IEEE European Symposium on Security and Privacy Workshops, 202-210, IEEE Computer Society.  (2019) 
[CSS18] Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis. Botnet Detection in Software Defined Networks by Deep Learning Techniques.
 Proc. of 10th International Symposium on Cyberspace Safety and Security, LNCS, 11161, 49-62, Springer International Publishing.  (2018) 
[MOCHAP15] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio. UPMurphi Released: PDDL+ Planning for Hybrid Systems.
 Proc. of 2nd Workshop on Model Checking and  Automated Planning, 35-39, AAAI Press.  (2015) 
[AIBP13] Giuseppe Della Penna, Roberto Del Sordo, Benedetto Intrigila, Nicolo' Mezzopera, Maria Teresa Pazienza. A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies.
 Proc. of AI meets Business Processes: Workshop at the XIII Conference of the Italian Association for Artificial Intelligence, CEUR Workshop Proceedings: AIBP@AI*IA, 1101, 11-20, CEUR-WS.org.  (2013) 
[VLC11] Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice. Supporting Visual Information Extraction from Geospatial Data.
 Proc. of 2011 International Workshop on Visual Languages and Computing, 329-334, Knowledge Systems Institute.  (2011) 
[ICINCO11] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio. Cost-Optimal Strong Planning in Non-Deterministic Domains.
 Proc. of 8th International Conference on Informatics in Control, Automation and Robotics, Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, 56-66.  (2011) 
[ICAPS10] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio. A PDDL+ Benchmark Problem: The Batch Chemical Plant.
 Proc. of 20th International Conference on Automated Planning and Scheduling, 222-225, AAAI Press.  (2010) 
[ICAS10] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio. Planning for Autonomous Planetary Vehicles.
 Proc. of 6th International Conference on Autonomic and Autonomous Systems, 131-136, IEEE Computer Society.  (2010) 
[VLC09] Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice. A Graphical Tool to Support Visual Information Extraction.
 Proc. of 2009 International Workshop on Visual Languages and Computing, 329-334, Knowledge Systems Institute.  (2009) 
[ICAPS09] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio. UPMurphi: a Tool for Universal Planning on PDDL+ Problems.
 Proc. of 19th International Conference on Automated Planning and Scheduling, 106-113, AAAI Press.  (2009) 
[IS08] Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila,  Daniele Magazzeni. Verifying Extended Criteria for the Interoperability of Security Devices.
 Proc. of 3rd International Symposium on Information Security, LNCS, 5332, 1131-1139, Springer-Verlag.  (2008) 
[WILF09] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni. Evaluating Fuzzy Controller Robustness using Model Checking.
 Proc. of 8th International Workshop on Fuzzy Logic and Applications, LNAI, 5571, 303-311, Springer-Verlag.  (2009) 
[ICINCO08] Giuseppe Della Penna, Benedetto Intrigila, Nadia Lauri, Daniele Magazzeni. OBDD Compression of Numerical Controllers.
 Proc. of 5th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2008, Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Intelligent Control Systems and Optimization, 43-50, INSTICC Press.  (2008) 
[ICINCO06] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci. Automatic Generation Of Optimal Controllers Through Model Checking Techniques.
 Proc. of 3rd International Conference on Informatics in Control, Automation and Robotics, Lecture Notes in Electrical Engineering (Informatics in Control Automation and Robotics), 15, 107-122, Springer-Verlag. 
[IETA07] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni. Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques.
 Proc. of International Conference on Industrial Electronics, Technology & Automation, Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics, 54-59, Springer-Verlag.  (2007) 
[APSEC07] Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna.  Disk Based Software Verification via Bounded Model Checking.
 Proc. of 14th Asia-Pacific Software Engineering Conference, 358-365, IEEE Press.  (2007) 
[AIIA07] Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni. A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers.
 Proc. of Tenth Congress of Italian Association for Artifical Intelligence, LNAI, 4733, 230-241, Springer-Verlag.  (2007) 
[ICAS07] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Daniele Magazzeni, Alberto Tofani, Enrico Tronci. Automatic Synthesis of Robust Numerical Controllers.
 Proc. of Third International Conference on Autonomic and Autonomous Systems, 4-15, IEEE Computer Society.  (2007) 
[ATVA05] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci. Exploiting Hub States in Automatic Verification.
 Proc. of Third International Symposium on Automated Technology for Verification and Analysis, LNCS, 3707, 54-68, Springer-Verlag.  (2005) 
[FMCAD04] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. Bounded Probabilistic Model Checking with the Murphi Verifier.
 Proc. of Fifth International Conference on Formal Methods in Computer-Aided Design, LNCS, 3312, Springer-Verlag.  (2004) 
[SEKE04] Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice. A Methodology for Scenario Development.
 Proc. of Sixteenth International Conference on Software Engineering and Knowledge Engineering, 7-12, Knowledge Systems Institute.  (2004) 
[CHARME031] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. Finite Horizon Analysis of Markov Chains with the Murphi Verifier.
 Proc. of 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS, 2860, 394-409, Springer-Verlag.  (2003) 
[CHARME032] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. Integrating RAM and Disk based Verification within the Murphi Verifier.
 Proc. of 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS, 2860, 277-282, Springer-Verlag.  (2003) 
[ICTCS03] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier.
 Proc. of Eighth Italian Conference on Theoretical Computer Science, LNCS, 2841, Springer-Verlag.  (2003) 
[HSCC03] 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.
 Proc. of 2003 Conference on Hybrid Systems: Computation and Control, LNCS, 2623, 141-155, Springer-Verlag.  (2003) 
[FASE03] Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio. Xere : Towards a Natural Interoperability between XML and ER Diagrams.
 Proc. of 2003 Conference on Fundamental Approaches to Software Engineering, LNCS, 2621, 356-371, Springer-Verlag.  (2003) 
[FMCAD02] Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli. Exploiting Transition Locality in the Disk Based Murphi Verifier.
 Proc. of Fourth International Conference on Formal Methods in Computer-Aided Design, LNCS, 2517, 202-219, Springer-Verlag.  (2002) 
[SCI02] Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice. An XML Definition Language for Software System Specification.
 Proc. of 6th World Multi Conference on Systemics, Cybernetics and Informatics, XIII, International Institute of Informatics and Systemics.  (2002) 
[APSEC01] Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli . A probabilistic approach to automatic verification of concurrent systems.
 Proc. of 8th Asia-Pacific Software Engineering Conference , IEEE Press.  (2001) 
[TOSCA01] Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli . Synchronized Regular Expressions.
 Proc. of Tosca Final Workshop, ENTCS, 62, Elsevier.  (2001) 
[CHARME01] Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli. Exploiting Transition Locality in Automatic Verification.
 Proc. of 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS, 2144, 259-274, Springer-Verlag.  (2001) 
[COMPUTERS21] Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio. A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering.
Computers, 10, 171-171, MDPI.  (2021)  Online DOI: 10.3390/computers10120171
[CSSE19] Giuseppe Della Penna, Sergio Orefice. Using spatial relations for qualitative specification of gestures.
Computer Systems Science and Engineering, 34, 325-338, CRL Publishing.  (2019)  Online DOI: 10.32604/csse.2019.34.325
[IJHPCN19] Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis. Security in the internet of things: botnet detection in software-defined networks by deep learning techniques.
International Journal of High Performance Computing and Networking, 15, Inderscience.  (2019)  Online DOI: 10.1504/IJHPCN.2019.10026769
[JCS19] Giuseppe Della Penna, Pietro Frasca, Benedetto Intrigila. Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators.
Journal of Computer Science, 15, 171-189, Science Publications.  (2019)  Online DOI: 10.3844/jcssp.2019.171.189
[JVLC17] Giuseppe Della Penna, Sergio Orefice. Qualitative Representation of Spatio-Temporal Knowledge.
Journal of Visual Languages & Computing, 49, 23-32, Elsevier.  (2018)  Online DOI: 10.1016/j.jvlc.2018.10.002
[KAIS16] Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice. A Formal Framework to Represent Spatial Knowledge.
Knowledge and Information Systems, 51, 311-338, Springer.  (2017)  Online DOI: 10.1007/s10115-016-0975-3
[CSSE16] Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice. Extending Visual Information Extraction to Biomedical Applications.
Computer Systems Science and Engineering, 31, CRL Publishing.  (2016) 
[JCC16] Giuseppe Della Penna, Sergio Orefice. Supporting Information Extraction from Visual Documents.
Journal of Computer and Communications, 4, 36-48, SCIRP.  (2016)  Online DOI: 10.4236/jcc.2016.46004
[IJAIT15] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio. Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains.
International Journal on Artificial Intelligence Tools, 24, World Scientific.  (2015)  Online DOI: 10.1142/S0218213015500256
[CLSS14] Giuseppe Della Penna. Model Checking XSL Transformations.
Computer Languages, Systems and Structures, 40, 73-97, Elsevier.  (2014)  Online DOI: 10.1016/j.cl.2014.03.003
[JVLC13] Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice. A general theory of spatial relations to support a graphical tool for visual information extraction.
Journal of Visual Languages and Computing, 24, 71-87, Elsevier.  (2013)  Online DOI: 10.1016/j.jvlc.2012.11.002
[IJSEKE2013] 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.
International Journal of Software Engineering and Knowledge Engineering, 23, 223-257, World Scientific.  (2013)  Online DOI: 10.1142/S021819401350006X
[EJC2013] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci. CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems.
European Journal of Control, 19, 14-36, Elsevier.  (2013)  Online DOI: 10.1016/j.ejcon.2013.02.001
[APIN2011] Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio. A Universal Planning System for Hybrid Domains.
Applied Intelligence, 36, 932-959, Springer.  (2012)  Online DOI: 10.1007/s10489-011-0306-z
[KAIS2011] Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice. A Spatial Relation based Framework to Perform Visual Information Extraction.
Knowledge and Information Systems, 30, 667-692, Springer.  (2012)  Online DOI: 10.1007/s10115-011-0394-4
[IJAIA10] Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio. Resource-Optimal Planning For An Autonomous Planetary Vehicle.
International Journal of Artificial Intelligence & Applications, 1, 15-29, AIRCC.  (2010)  Online DOI: 10.5121/ijaia.2010.1302
[IJDECS10] 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.
International Journal of Discrete Event Control Systems, 1, 69-82, Serials Publications.  (2010) 
[JVLC09] Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice. Visual Extraction of Information from Web Pages.
Journal of Visual Languages and Computing, 21, 23-32, Elsevier.  (2010)  Online DOI: 10.1016/j.jvlc.2009.06.001
[IJSEKE07] Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice. An XML Based Methodology to Model and Use Scenarios in the Software Development Process.
International Journal of Software Engineering and Knowledge Engineering, 18, 823-852, World Scientific.  (2008)  Online DOI: 10.1142/S0218194008003866
[STTT04] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. Finite Horizon Analysis of Markov Chains with the Murphi Verifier.
International Journal on Software Tools for Technlogy Transfer, 8, 397-410, Springer-Verlag.  (2006)  Online DOI: 10.1007/s10009-005-0216-7
[TOIT03] Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio. Interoperability Mapping from XML Schemas to ER Diagrams.
Data & Knowledge Engineering, 59, 166-188, Elsevier.  (2006)  Online DOI: 10.1016/j.datak.2005.08.002
[JSS04] Giuseppe Della Penna, Anna Rita Laurenzi, Benedetto Intrigila, Sergio Orefice. An XML Environment for Scenario Based Requirements Engineering.
Journal of Systems & Software, 79, 379-403, Elsevier.  (2006)  Online DOI: 10.1016/j.jss.2005.04.009
[STTT03] Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli. Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems.
International Journal on Software Tools for Technlogy Transfer, 6, 320-341, Springer-Verlag.  (2004)  Online DOI: 10.1007/s10009-004-0149-6
[JVLC04] Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice. An Environment for the Design and Implementation of Visual Applications.
International Journal of Visual Languages and Computing, 15, 439-461, Elsevier.  (2004)  Online DOI: 10.1016/j.jvlc.2004.03.002
[CLSS04] Giuseppe Della Penna. A Type System for Static and Dynamic Checking of C++ Pointers.
Computer Languages, Systems and Structures, 31, 71-101, Elsevier.  (2005)  Online DOI: 10.1016/j.cl.2004.05.002
[ACTINF02] Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli . Synchronized Regular Expressions.
Acta Informatica, 39, 31-70, Springer-Verlag.  (2003)  Online DOI: 10.1007/s00236-002-0099-y
[IJSEKE02] Giuseppe Della Penna, Anna Rita Laurenzi, Benedetto Intrigila, Sergio Orefice. An XML Definition Language to Support Scenario-Based Requirements Engineering.
International Journal of Software Engineering and Knowledge Engineering, 13, 237-256, World Scientific.  (2003)  Online DOI: 10.1142/S0218194003001299
[IJHCS01] Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice. Generating Graphical Applications from State-Transition Visual Specifications.
International Journal of Human Computer Studies, 55, 861-880, Academic Press.  (2001)  Online DOI: 10.1006/ijhc.2001.0508
[CSPHD] Giuseppe Della Penna. From Java to C++: A Modern Language from the Most Used Object-Oriented Language.
Università degli Studi di Roma 'La Sapienza', XIV-03-1 (2003) 
[UNIVAQ99] Benedetto Intrigila, Giuseppe Della Penna, Luigi Daminato, Daniela Ciccomartino. An Extension of Boerger's JVM Model to Compile C++ Code.
Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata, 52 (1999) 
[UNIVAQ9801] Benedetto Intrigila, Giuseppe Della Penna. A New Approach to Operational Semantics: the Virtual Turing Machines, Part I: General Setting.
Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata, 12 (1998) 
[UNIVAQ9802] Benedetto Intrigila, Giuseppe Della Penna. A New Approach to Operational Semantics: the Virtual Turing Machines, Part II: Compiling C++ Code into an Extended JVM, a Theoretical Framework.
Università degli Studi di L'Aquila, Dipartimento di Matematica Pura ed Applicata, 13 (1998)