Massimo Benerecetti
Title
Cited by
Cited by
Year
Contextual reasoning distilled
M Benerecetti, P Bouquet, C Ghidini
Journal of Experimental & Theoretical Artificial Intelligence 12 (3), 279-305, 2000
2172000
Model checking multiagent systems
M Benerecetti, F Giunchiglia, L Serafini
Journal of Logic and Computation 8 (3), 401-423, 1998
1611998
Distributed context-aware systems
M Benerecetti, P Bouquet, M Bonifacio
Human–Computer Interaction 16 (2-4), 213-228, 2001
732001
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
692001
A model checking algorithm for multi-agent systems
M Benerecetti, F Giunchiglia, L Serafini
International Workshop on Agent Theories, Architectures, and Languages, 163-176, 1998
441998
Validation of multiagent systems by symbolic model checking
M Benerecetti, A Cimatti
International Workshop on Agent-Oriented Software Engineering, 32-46, 2002
39*2002
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 Science & Business Media, 1999
311999
Analysis of timed recursive state machines
M Benerecetti, S Minopoli, A Peron
2010 17th International Symposium on Temporal Representation and Reasoningá…, 2010
302010
Abstraction refinement of linear programs with arrays
A Armando, M Benerecetti, J Mantovani
International Conference on Tools and Algorithms for the Construction andá…, 2007
252007
Solving parity games via priority promotion
M Benerecetti, D Dell'Erba, F Mogavero
Formal Methods in System Design 52 (2), 193–226, 2018
242018
Formalizing belief reports—The approach and a case study
M Benerecetti, P Bouquet, C Ghidini
International Conference on Artificial Intelligence: Methodology, Systemsá…, 1998
231998
Soundness of schema matching methods
M Benerecetti, P Bouquet, S Zanobini
European Semantic Web Conference, 211-225, 2005
202005
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
M Benerecetti, M Faella, S Minopoli
Theoretical Computer Science 493, 116-138, 2013
192013
Model checking linear programs with arrays
A Armando, M Benerecetti, J Mantovani
Electronic Notes in Theoretical Computer Science 144 (3), 79-94, 2006
192006
Dynamic state machines for formalizing railway control system specifications
R Nardone, U Gentile, A Peron, M Benerecetti, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 93-109, 2014
172014
Formal specification of beliefs in multi-agent systems
M Benerecetti, A Cimatti, E Giunchiglia, F Giunchiglia, L Serafini
International Workshop on Agent Theories, Architectures, and Languages, 117-130, 1996
171996
On the dimensions of context dependence
M Benerecetti, P Bouquet, C Ghidini
University of Trento, 2002
162002
Model checking security protocols using a logic of belief
M Benerecetti, F Giunchiglia
International Conference on Tools and Algorithms for the Construction andá…, 2000
162000
Modeling railway control systems in Promela
R Nardone, U Gentile, M Benerecetti, A Peron, V Vittorini, S Marrone, ...
International Workshop on Formal Techniques for Safety-Critical Systems, 121-136, 2015
152015
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
142017
The system can't perform the operation now. Try again later.
Articles 1–20