| 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 | 167 | 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 | 80 | 2004 |
| A universal planning system for hybrid domains G Della Penna, D Magazzeni, F Mercorio Applied intelligence 36 (4), 932-959, 2012 | 65 | 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 (4), 320-341, 2004 | 64 | 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 (4), 397-409, 2006 | 46* | 2006 |
| 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 | 40 | 2019 |
| 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 | 37 | 2019 |
| Visual extraction of information from web pages G Della Penna, D Magazzeni, S Orefice Journal of Visual Languages & Computing 21 (1), 23-32, 2010 | 36 | 2010 |
| 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 |
| MTA-KDD'19: A Dataset for Malware Traffic Detection. I Letteri, G Della Penna, L Di Vita, MT Grifa Itasec, 153-165, 2020 | 32 | 2020 |
| Automatic verification of a turbogas control system with the murφ verifier G Della Penna, B Intrigila, I Melatti, M Minichino, E Ciancamerla, ... International Workshop on Hybrid Systems: Computation and Control, 141-155, 2003 | 31 | 2003 |
| Exploiting transition locality in the disk based murϕ verifier G Della Penna, B Intrigila, E Tronci, MV Zilli International Conference on Formal Methods in Computer-Aided Design, 202-219, 2002 | 31 | 2002 |
| Botnet detection in software defined networks by deep learning techniques I Letteri, G Della Penna, G De Gasperis International Symposium on Cyberspace Safety and Security, 49-62, 2018 | 28 | 2018 |
| Synchronized regular expressions G Della Penna, B Intrigila, E Tronci, M Venturini Zilli Acta Informatica 39 (1), 31-70, 2003 | 26 | 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 | 24 | 2006 |
| 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 | 23 | 2010 |
| Exploiting transition locality in automatic verification E Tronci, G Della Penna, B Intrigila, MV Zilli Advanced Research Working Conference on Correct Hardware Design and …, 2001 | 20 | 2001 |
| A lightweight BPMN extension for business process-oriented requirements engineering B Intrigila, G Della Penna, A D’Ambrogio Computers 10 (12), 171, 2021 | 19 | 2021 |
| Imbalanced dataset optimization with new resampling techniques I Letteri, AD Cecco, A Dyoub, GD Penna Proceedings of SAI Intelligent Systems Conference, 199-215, 2021 | 16 | 2021 |
| A spatial relation-based framework to perform visual information extraction G Della Penna, D Magazzeni, S Orefice Knowledge and information systems 30 (3), 667-692, 2012 | 16 | 2012 |
Daniele MagazzeniJ.P. Morgan. Chief Analytics Officer for the Commercial and Investment BankVerified email at jpmorgan.com
