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 | 159 | 2009 |
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 | 75 | 2004 |
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 | 62 | 2004 |
A universal planning system for hybrid domains G Della Penna, D Magazzeni, F Mercorio Applied intelligence 36, 932-959, 2012 | 56 | 2012 |
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 | 36 | 2001 |
Visual extraction of information from web pages G Della Penna, D Magazzeni, S Orefice Journal of Visual Languages & Computing 21 (1), 23-32, 2010 | 35 | 2010 |
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 | 34 | 2019 |
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 | 33 | 2019 |
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 | 32 | 2002 |
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 | 30 | 2003 |
MTA-KDD'19: A Dataset for Malware Traffic Detection. I Letteri, G Della Penna, L Di Vita, MT Grifa Itasec, 153-165, 2020 | 27 | 2020 |
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 | 26 | 2018 |
Synchronized regular expressions G Della Penna, B Intrigila, E Tronci, M Venturini Zilli Acta Informatica 39, 31-70, 2003 | 26 | 2003 |
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 | 23 | 2001 |
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 | 22 | 2010 |
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 | 20 | 2006 |
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 | 16 | 2012 |
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 | 16 | 2003 |
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 | 15 | 2010 |