| 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 | 146 | 2009 |
| Bounded Probabilistic Model Checking with the Murφ Verifier G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD …, 2004 | 66 | 2004 |
| A universal planning system for hybrid domains G Della Penna, D Magazzeni, F Mercorio Applied intelligence 36, 932-959, 2012 | 55 | 2012 |
| 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 | 55 | 2004 |
| 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 | 44* | 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 | 37 | 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 | 34 | 2010 |
| 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 | 29 | 2003 |
| Exploiting transition locality in automatic verification E Tronci, G Della Penna, B Intrigila, MV Zilli CHARME 2144, 259-274, 2001 | 22 | 2001 |
| 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 | 21 | 2019 |
| 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 | 21 | 2010 |
| Synchronized regular expressions G Della Penna, B Intrigila, E Tronci, M Venturini Zilli Acta Informatica 39, 31-70, 2003 | 20 | 2003 |
| 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 | 19 | 2006 |
| 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 | 18 | 2018 |
| 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 | 17 | 2003 |
| 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 | 16 | 2019 |
| 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 | 16 | 2010 |
| Automated generation of optimal controllers through model checking techniques G Della Penna, D Magazzeni, A Tofani, B Intrigila, I Melatti, E Tronci Informatics in Control Automation and Robotics 15, 107-119, 2008 | 15 | 2008 |
| MTA-KDD'19: A Dataset for Malware Traffic Detection. I Letteri, G Della Penna, L Di Vita, MT Grifa ITASEC, 153-165, 2020 | 12 | 2020 |
Daniele MagazzeniManaging Director at J.P. Morgan. Head of XAI Center of Excellence. Visiting Professor at KCL.Verified email at jpmorgan.com
