Giuseppe Della Penna :: Bibliography

2023

Benedetto Intrigila, Giuseppe Della Penna, Andrea D'Ambrogio, Dario Campagna and Malina Grigore:
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems. Comput. 12(9) : 184 (2023) https://doi.org/10.3390/computers12090184
Giuseppe Della Penna, Sergio Orefice and Andrea D'Angelo:
Exploiting spatial relations for grammar-based specification of multidimensional languages. Knowl. Inf. Syst. 65(10) : 3995-4020 (2023) https://doi.org/10.1007/s10115-023-01879-6 spatial relations knowledge engineering
Ivan Letteri, Giuseppe Della Penna, Giovanni De Gasperis and Abeer Dyoub:
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks. FEMIB 2023: 15-25 https://doi.org/10.5220/0011715300003494
Maria Claudia Buzzi, Marina Buzzi, Giuseppe Della Penna, Barbara Leporini and Francesca Ricci:
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities. WEBIST 2023: 59-70 https://doi.org/10.5220/0012177400003584

2022

Giuseppe Della Penna, Benedetto Intrigila and Giulio Manzonetto:
Addressing Machines as models of lambda-calculus. Log. Methods Comput. Sci. 18(3) (2022) https://doi.org/10.46298/lmcs-18(3:10)2022

2021

Benedetto Intrigila, Giuseppe Della Penna and Andrea D'Ambrogio:
A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering. Comput. 10(12) : 171 (2021) https://doi.org/10.3390/computers10120171
Giovanni De Gasperis, Giuseppe Della Penna and Sante Dino Facchini:
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment (short paper). ECSA (Companion) 2021 https://ceur-ws.org/Vol-2978/saml-paper3.pdf
Ivan Letteri, Antonio Di Cecco, Abeer Dyoub and Giuseppe Della Penna:
Imbalanced Dataset Optimization with New Resampling Techniques. IntelliSys (2) 2021: 199-215 https://doi.org/10.1007/978-3-030-82196-8_15 cybersecurity
Ivan Letteri, Antonio Di Cecco and Giuseppe Della Penna:
New Optimization Approaches in Malware Traffic Analysis. LOD 2021: 57-68 https://doi.org/10.1007/978-3-030-95467-3_4 cybersecurity

2020

Ivan Letteri, Giuseppe Della Penna, Luca Di Vita and Maria Teresa Grifa:
MTA-KDD'19: A Dataset for Malware Traffic Detection. ITASEC 2020: 153-165 https://ceur-ws.org/Vol-2597/paper-14.pdf cybersecurity

2019

Giuseppe Della Penna and Sergio Orefice:
Using spatial relations for qualitative specification of gestures. Comput. Syst. Sci. Eng. 34(6) (2019) https://doi.org/10.32604/csse.2019.34.325 spatial relations knowledge engineering
Ivan Letteri, Giuseppe Della Penna and Giovanni De Gasperis:
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques. Int. J. High Perform. Comput. Netw. 15(3/4) : 170-182 (2019) https://doi.org/10.1504/IJHPCN.2019.106095 cybersecurity
Ivan Letteri, Giuseppe Della Penna and Pasquale Caianiello:
Feature Selection Strategies for HTTP Botnet Traffic Detection. EuroS&P Workshops 2019: 202-210 https://doi.org/10.1109/EuroSPW.2019.00029 cybersecurity
Giuseppe Della Penna, Pietro Frasca and Benedetto Intrigila:
Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators Journal of Computer Science 15(1) : 171-189 (2019) http://dx.doi.org/10.3844/jcssp.2019.171.189 planning upmurphi

2018

Giuseppe Della Penna and Sergio Orefice:
Qualitative representation of spatio-temporal knowledge. J. Vis. Lang. Comput. 49 : 1-16 (2018) https://doi.org/10.1016/j.jvlc.2018.10.002 spatial relations knowledge engineering
Ivan Letteri, Giuseppe Della Penna and Giovanni De Gasperis:
Botnet Detection in Software Defined Networks by Deep Learning Techniques. CSS 2018: 49-62 https://doi.org/10.1007/978-3-030-01689-0_4 cybersecurity

2017

Giuseppe Della Penna, Daniele Magazzeni and Sergio Orefice:
A formal framework to represent spatial knowledge. Knowl. Inf. Syst. 51(1) : 311-338 (2017) https://doi.org/10.1007/s10115-016-0975-3 spatial relations knowledge engineering

2016

Giuseppe Della Penna, Daniele Magazzeni and Sergio Orefice:
Extending visual information extraction to biomedical applications. Comput. Syst. Sci. Eng. 31(5) (2016) vie
Giuseppe Della Penna and Sergio Orefice:
Supporting Information Extraction from Visual Documents Journal of Computer and Communications 4 : 66-48 (2016) https://doi.org/10.4236/jcc.2016.46004 vie

2015

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and Fabio Mercorio:
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. Int. J. Artif. Intell. Tools 24(6) : 1550025:1-1550025:45 (2015) https://doi.org/10.1142/S0218213015500256 planning
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and Fabio Mercorio:
UPMurphi Released: PDDL+ Planning for Hybrid Systems Proceedings of 2nd Workshop on Model Checking and Automated Planning 2015: 35-39 https://icaps15.icaps-conference.org/workshops/mochap-proceedings.pdf planning upmurphi

2014

Giuseppe Della Penna:
Model checking XSL transformations. Comput. Lang. Syst. Struct. 40(2) : 73-97 (2014) https://doi.org/10.1016/j.cl.2014.03.003 xml

2013

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti and Enrico Tronci:
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control 19(1) : 14-36 (2013) https://doi.org/10.1016/j.ejcon.2013.02.001 control
Giuseppe Della Penna, Sergio Orefice, Benedetto Intrigila, Daniele Magazzeni, Roberto del Sordo and Giuseppe Cardinale Ciccotti:
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. 23(2) : 223- (2013) https://doi.org/10.1142/S021819401350006X
Giuseppe Della Penna, Daniele Magazzeni and Sergio Orefice:
A general theory of spatial relations to support a graphical tool for visual information extraction. J. Vis. Lang. Comput. 24(2) : 71-87 (2013) https://doi.org/10.1016/j.jvlc.2012.11.002 spatial relations knowledge engineering vie
Giuseppe Della Penna, Roberto del Sordo, Benedetto Intrigila, Nicolò Mezzopera and Maria Teresa Pazienza:
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies. AIBP@AI*IA 2013: 11-20 https://ceur-ws.org/Vol-1101/paper10.pdf

2012

Giuseppe Della Penna, Daniele Magazzeni and Fabio Mercorio:
A universal planning system for hybrid domains. Appl. Intell. 36(4) : 932-959 (2012) https://doi.org/10.1007/s10489-011-0306-z planning upmurphi
Giuseppe Della Penna, Daniele Magazzeni and Sergio Orefice:
A spatial relation-based framework to perform visual information extraction. Knowl. Inf. Syst. 30(3) : 667-692 (2012) https://doi.org/10.1007/s10115-011-0394-4 spatial relations knowledge engineering vie

2011

Giuseppe Della Penna, Sergio Orefice and Daniele Magazzeni:
Supporting Visual Information Extraction from Geospatial Data. DMS 2011: 301-306 vie
Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni and Enrico Tronci:
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) 2011: 56-66 planning

2010

Giuseppe Della Penna, Daniele Magazzeni and Sergio Orefice:
Visual extraction of information from web pages. J. Vis. Lang. Comput. 21(1) : 23-32 (2010) https://doi.org/10.1016/j.jvlc.2009.06.001 vie
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and Fabio Mercorio:
A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS 2010: 222-225 http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1418 planning
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and Fabio Mercorio:
Planning for Autonomous Planetary Vehicles. ICAS 2010: 131-136 https://doi.org/10.1109/ICAS.2010.26 planning
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni and Fabio Mercorio:
Resource-Optimal Planning For An Autonomous Planetary Vehicle International Journal of Artificial Intelligence & Applications 1(4) : 15-29 (2010) http://dx.doi.org/10.5121/ijaia.2010.1302 planning
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Ester Ciancamerla, Michele Minichino and Alberto Tofani:
Automatic Verification of Hybrid System Controllers with the CMurphi Verifier International Journal of Discrete Event Control Systems 1(1) : 69-82 (2010) control cmurphi

2009

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio and Benedetto Intrigila:
UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS 2009 http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/707 planning upmurphi
Giuseppe Della Penna, Benedetto Intrigila and Daniele Magazzeni:
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311 https://doi.org/10.1007/978-3-642-02282-1_38 control model checking
Giuseppe Della Penna, Daniele Magazzeni and Sergio Orefice:
A Graphical Tool to Support Visual Information Extraction Proceedings: DMS 2009 - 15th International Conference on Distributed Multimedia Systems 2009: 329-334 vie

2008

Giuseppe Della Penna, Anna Rita Laurenzi, Sergio Orefice and Benedetto Intrigila:
An XML Based Methodology to Model and Use Scenarios in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. 18(6) : 823-852 (2008) https://doi.org/10.1142/S0218194008003866 sdml xml knowledge engineering
Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni and Benedetto Intrigila:
OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50 control
Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila and Daniele Magazzeni:
Verifying Extended Criteria for the Interoperability of Security Devices. OTM Conferences (2) 2008: 1131-1139 https://doi.org/10.1007/978-3-540-88873-4_14

2007

Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila and Daniele Magazzeni:
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. AI*IA 2007: 230-241 https://doi.org/10.1007/978-3-540-74782-6_21 control model checking
Fernando Brizzolari, Igor Melatti, Enrico Tronci and Giuseppe Della Penna:
Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365 https://doi.org/10.1109/APSEC.2007.43 cmurphi model checking
Giuseppe Della Penna, Benedetto Intrigila and Daniele Magazzeni:
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics 2007: 54-59 https://doi.org/10.1007/978-1-4020-8737-0_11 control model checking
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti and Enrico Tronci:
Automatic Synthesis of Robust Numerical Controllers Third International Conference on Autonomic and Autonomous Systems (ICAS'07) 2007: 4-15 https://doi.org/10.1109/CONIELECOMP.2007.59 control model checking

2006

Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti and Alfonso Pierantonio:
Interoperability mapping from XML schemas to ER diagrams. Data Knowl. Eng. 59(1) : 166-188 (2006) https://doi.org/10.1016/j.datak.2005.08.002 xere xml
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi and Sergio Orefice:
An XML environment for scenario based requirements engineering. J. Syst. Softw. 79(3) : 379-403 (2006) https://doi.org/10.1016/j.jss.2005.04.009 sdml xml knowledge engineering
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite horizon analysis of Markov Chains with the Murphi verifier. Int. J. Softw. Tools Technol. Transf. 8(4-5) : 397-409 (2006) https://doi.org/10.1007/s10009-005-0216-7 cmurphi model checking
Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti and Enrico Tronci:
A Case Study on Automated Generation of Integration Tests. FDL 2006: 278-284 http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=372
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti and Enrico Tronci:
Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO 2006: 26-33 control model checking

2005

Giuseppe Della Penna:
A type system for static and dynamic checking of C++ pointers. Comput. Lang. Syst. Struct. 31(2) : 71-101 (2005) https://doi.org/10.1016/j.cl.2004.05.002
Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila and Enrico Tronci:
Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68 https://doi.org/10.1007/11562948_7 model checking cmurphi

2004

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6(4) : 320-341 (2004) https://doi.org/10.1007/s10009-004-0149-6 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila and Sergio Orefice:
An environment for the design and implementation of visual applications. J. Vis. Lang. Comput. 15(6) : 439-461 (2004) https://doi.org/10.1016/j.jvlc.2004.03.002
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Bounded Probabilistic Model Checking with the Murφ Verifier FMCAD 2004: 214-229 https://doi.org/10.1007/978-3-540-30494-4_16 cmurphi model checking
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi and Sergio Orefice:
A Methodology for Scenario Development. SEKE 2004: 7-12 sdml

2003

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci and Marisa Venturini Zilli:
Synchronized regular expressions. Acta Informatica 39(1) : 31-70 (2003) https://doi.org/10.1007/s00236-002-0099-y
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi and Sergio Orefice:
An XML Definition Language to Support Scenario-Based Requirements Engineering. Int. J. Softw. Eng. Knowl. Eng. 13(3) : 237-256 (2003) https://doi.org/10.1142/S0218194003001299 sdml xml knowledge engineering
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Integrating RAM and Disk Based Verification within the Murphi Verifier. CHARME 2003: 277-282 https://doi.org/10.1007/978-3-540-39724-3_25 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Markov Chains with the Murphi Verifier. CHARME 2003: 394-409 https://doi.org/10.1007/978-3-540-39724-3_34 model checking cmurphi
Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti and Alfonso Pierantonio:
Xere: Towards a Natural Interoperability between XML and ER Diagrams. FASE 2003: 356-371 https://doi.org/10.1007/3-540-36578-8_25 xere xml
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci and Marisa Venturini Zilli:
Automatic Verification of a Turbogas Control System with the Murphi Verifier. HSCC 2003: 141-155 https://doi.org/10.1007/3-540-36580-X_13 model checking cmurphi control
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier. ICTCS 2003: 58-71 https://doi.org/10.1007/978-3-540-45208-9_6 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci and Marisa Venturini Zilli:
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier Theoretical Computer Science. ICTCS 2003 2003 https://doi.org/10.1007/978-3-540-45208-9_6 cmurphi model checking
Benedetto Intrigila, Giuseppe Della Penna and Daniela Ciccomartino:
Extending Boerger's JVM Model to Compile Safe C++ Code: The Pointers' Problem Abstract State Machines - Theory and Applications: International Workshop 2003 cmurphi model checking

2002

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci and Marisa Venturini Zilli:
Exploiting Transition Locality in the Disk Based Murphi Verifier. FMCAD 2002: 202-219 https://doi.org/10.1007/3-540-36126-X_13 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi and Sergio Orefice:
An XML Definition Language for Software System Specification SCI 2002 : ISAS : the 6th World Multiconference on Systemics, Cybernetics and Informatics 2002 sdml

2001

Giuseppe Della Penna, Benedetto Intrigila and Sergio Orefice:
Generating graphical applications from state-transition visual specifications. Int. J. Hum. Comput. Stud. 55(6) : 861-880 (2001) https://doi.org/10.1006/ijhc.2001.0508
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila and Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324 https://doi.org/10.1109/APSEC.2001.991495 cmurphi model checking
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila and Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274 https://doi.org/10.1007/3-540-44798-9_22 model checking cmurphi
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci and Marisa Venturini Zilli:
Synchronized Regular Expressions. TOSCA 2001: 195-210 https://doi.org/10.1016/S1571-0661(04)00327-5
Luca Dionisio, Giuseppe Della Penna, Benedetto Intrigila and Paola Inverardi:
On Designing M-commerce Applications Workshop on Software Engineering and Mobility, 23rd International Conference on Software Engineering (ICSE 2001) 2001