| Contextual reasoning distilled M Benerecetti, P Bouquet, C Ghidini Journal of Experimental & Theoretical Artificial Intelligence 12 (3), 279-305, 2000 | 249 | 2000 |
| Model checking multiagent systems M Benerecetti, F Giunchiglia, L Serafini Journal of logic and computation 8 (3), 401-423, 1998 | 171 | 1998 |
| On the dimensions of context dependence: partiality, approximation, and perspective M Benerecetti, P Bouquet, C Ghidini International and Interdisciplinary Conference on Modeling and Using Context …, 2001 | 79 | 2001 |
| Distributed context-aware systems M Benerecetti, P Bouquet, M Bonifacio Human–Computer Interaction 16 (2-4), 213-228, 2001 | 76 | 2001 |
| A model checking algorithm for multi-agent systems M Benerecetti, F Giunchiglia, L Serafini Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th …, 1999 | 43 | 1999 |
| Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings P Bouquet, L Serafini, P Brézillon, M Benerecetti, F Castellani Springer, 2003 | 42* | 2003 |
| Validation of multiagent systems by symbolic model checking M Benerecetti, A Cimatti International Workshop on Agent-Oriented Software Engineering, 32-46, 2002 | 41* | 2002 |
| Analysis of timed recursive state machines M Benerecetti, S Minopoli, A Peron 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 40 | 2010 |
| Solving parity games via priority promotion M Benerecetti, D Dell’Erba, F Mogavero Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 33 | 2016 |
| Solving parity games via priority promotion M Benerecetti, D Dell'Erba, F Mogavero Formal Methods in System Design 52 (2), 193–226, 2018 | 27 | 2018 |
| Abstraction refinement of linear programs with arrays A Armando, M Benerecetti, J Mantovani Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 27 | 2007 |
| Formalizing belief reports—The approach and a case study M Benerecetti, P Bouquet, C Ghidini International Conference on Artificial Intelligence: Methodology, Systems …, 1998 | 27 | 1998 |
| Dynamic state machines for modelling railway control systems M Benerecetti, R De Guglielmo, U Gentile, S Marrone, N Mazzocca, ... Science of Computer Programming 133, 116-153, 2017 | 24 | 2017 |
| Dynamic state machines for formalizing railway control system specifications R Nardone, U Gentile, A Peron, M Benerecetti, V Vittorini, S Marrone, ... Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015 | 24 | 2015 |
| Modeling railway control systems in Promela R Nardone, U Gentile, M Benerecetti, A Peron, V Vittorini, S Marrone, ... Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 23 | 2016 |
| Automatic synthesis of switching controllers for linear hybrid systems: Safety control M Benerecetti, M Faella, S Minopoli Theoretical Computer Science 493, 116-138, 2013 | 23 | 2013 |
| Soundness of schema matching methods M Benerecetti, P Bouquet, S Zanobini The Semantic Web: Research and Applications: Second European Semantic Web …, 2005 | 21 | 2005 |
| Improving priority promotion for parity games M Benerecetti, D Dell’Erba, F Mogavero Haifa Verification Conference, 117-133, 2016 | 20 | 2016 |
| Substructure Temporal Logic M Benerecetti, F Mogavero, A Murano 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), 2013 …, 2013 | 20 | 2013 |
| TPMC: A Model Checker For Time-Sensitive Security Protocols. M Benerecetti, N Cuomo, A Peron J. Comput. 4 (5), 366-377, 2009 | 20 | 2009 |
Fabio MogaveroUniversità degli Studi di Napoli Federico IIVerified email at fabiomogavero.com
