Volgen
Massimo Benerecetti
Massimo Benerecetti
Professore di Informatica, Università di Napoli "Federico II"
Geverifieerd e-mailadres voor unina.it
Titel
Geciteerd door
Geciteerd door
Jaar
Contextual reasoning distilled
M Benerecetti, P Bouquet, C Ghidini
Journal of Experimental & Theoretical Artificial Intelligence 12 (3), 279-305, 2000
2492000
Model checking multiagent systems
M Benerecetti, F Giunchiglia, L Serafini
Journal of logic and computation 8 (3), 401-423, 1998
1711998
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
792001
Distributed context-aware systems
M Benerecetti, P Bouquet, M Bonifacio
Human–Computer Interaction 16 (2-4), 213-228, 2001
762001
A model checking algorithm for multi-agent systems
M Benerecetti, F Giunchiglia, L Serafini
Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th …, 1999
431999
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
402010
Solving parity games via priority promotion
M Benerecetti, D Dell’Erba, F Mogavero
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
332016
Solving parity games via priority promotion
M Benerecetti, D Dell'Erba, F Mogavero
Formal Methods in System Design 52 (2), 193–226, 2018
272018
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
272007
Formalizing belief reports—The approach and a case study
M Benerecetti, P Bouquet, C Ghidini
International Conference on Artificial Intelligence: Methodology, Systems …, 1998
271998
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
232017
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
232016
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
232015
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
M Benerecetti, M Faella, S Minopoli
Theoretical Computer Science 493, 116-138, 2013
232013
Soundness of schema matching methods
M Benerecetti, P Bouquet, S Zanobini
The Semantic Web: Research and Applications: Second European Semantic Web …, 2005
212005
Improving priority promotion for parity games
M Benerecetti, D Dell’Erba, F Mogavero
Haifa Verification Conference, 117-133, 2016
202016
Substructure Temporal Logic
M Benerecetti, F Mogavero, A Murano
28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), 2013 …, 2013
202013
TPMC: A Model Checker For Time-Sensitive Security Protocols.
M Benerecetti, N Cuomo, A Peron
J. Comput. 4 (5), 366-377, 2009
202009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20