Follow
Giuseppe Della Penna
Giuseppe Della Penna
Associate Professor, Department of Information Engineering, Computer Science and Mathematics
Verified email at univaq.it - Homepage
Title
Cited by
Cited by
Year
UPMurphi: A tool for universal planning on PDDL+ problems
G Della Penna, D Magazzeni, F Mercorio, B Intrigila
Proceedings of the International Conference on Automated Planning and …, 2009
1592009
Bounded Probabilistic Model Checking with the Murφ Verifier
G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Conference on Formal Methods in Computer-Aided Design, 214-229, 2004
752004
Exploiting transition locality in automatic verification of finite-state concurrent systems
G Della Penna, B Intrigila, I Melatti, E Tronci, M Venturini Zilli
International Journal on Software Tools for Technology Transfer 6, 320-341, 2004
622004
A universal planning system for hybrid domains
G Della Penna, D Magazzeni, F Mercorio
Applied intelligence 36, 932-959, 2012
562012
Finite horizon analysis of Markov Chains with the Murϕ verifier
GD Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Journal on Software Tools for Technology Transfer 8, 397-409, 2006
45*2006
A probabilistic approach to automatic verification of concurrent systems
E Tronci, G Della Penna, B Intrigila, MV Zilli
Proceedings Eighth Asia-Pacific Software Engineering Conference, 317-324, 2001
362001
Visual extraction of information from web pages
G Della Penna, D Magazzeni, S Orefice
Journal of Visual Languages & Computing 21 (1), 23-32, 2010
352010
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques
I Letteri, GD Penna, GD Gasperis
International Journal of High Performance Computing and Networking 15 (3-4 …, 2019
342019
Feature selection strategies for http botnet traffic detection
I Letteri, G Della Penna, P Caianiello
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2019
332019
Exploiting transition locality in the disk based murϕ verifier
G Della Penna, B Intrigila, E Tronci, MV Zilli
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD …, 2002
322002
Automatic verification of a turbogas control system with the murφ verifier
G Della Penna, B Intrigila, I Melatti, M Minichino, E Ciancamerla, ...
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003
302003
MTA-KDD'19: A Dataset for Malware Traffic Detection.
I Letteri, G Della Penna, L Di Vita, MT Grifa
Itasec, 153-165, 2020
272020
Botnet detection in software defined networks by deep learning techniques
I Letteri, G Della Penna, G De Gasperis
Cyberspace Safety and Security: 10th International Symposium, CSS 2018 …, 2018
262018
Synchronized regular expressions
G Della Penna, B Intrigila, E Tronci, M Venturini Zilli
Acta Informatica 39, 31-70, 2003
262003
Exploiting transition locality in automatic verification
E Tronci, G Della Penna, B Intrigila, MV Zilli
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced …, 2001
232001
A PDDL+ benchmark problem: The batch chemical plant
G Della Penna, B Intrigila, D Magazzeni, F Mercorio
Proceedings of the International Conference on Automated Planning and …, 2010
222010
Interoperability mapping from XML schemas to ER diagrams
G Della Penna, A Di Marco, B Intrigila, I Melatti, A Pierantonio
Data & Knowledge Engineering 59 (1), 166-188, 2006
202006
A spatial relation-based framework to perform visual information extraction
G Della Penna, D Magazzeni, S Orefice
Knowledge and information systems 30, 667-692, 2012
162012
An XML definition language to support scenario-based requirements engineering
G Della Penna, B Intrigila, AR Laurenzi, S Orefice
International Journal of Software Engineering and Knowledge Engineering 13 …, 2003
162003
Planning for autonomous planetary vehicles
G Della Penna, B Intrigila, D Magazzeni, F Mercorio
2010 Sixth International Conference on Autonomic and Autonomous Systems, 131-136, 2010
152010
The system can't perform the operation now. Try again later.
Articles 1–20