Massimo Benerecetti

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 31

Top Topics

Nash Equilibria

Ontological Knowledge

Top Venues

Publications

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. CoRR (2024)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. ICALP (2024)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving mean-payoff games via quasi dominions. Inf. Comput. 297 (2024)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. CoRR (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Alternating (In)Dependence-Friendly Logic. Ann. Pure Appl. Log. 174 (10) (2023)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. ACM Trans. Comput. Log. 24 (1) (2023)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Quantifying over Trees in Monadic Second-Order Logic. CoRR (2023)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
Taming Strategy Logic: Non-Recurrent Fragments. Inf. Comput. 294 (2023)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Quantifying Over Trees in Monadic Second-Order Logic. LICS (2023)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
Taming Strategy Logic: Non-Recurrent Fragments. TIME (2022)
Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero
Good-for-Game QPTL: An Alternating Hodges Semantics. CoRR (2021)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. QUATIC (2021)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
Priority Promotion with Parysian Flair. CoRR (2021)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Robust worst cases for parity games algorithms. Inf. Comput. 272 (2020)
Massimo Benerecetti, Daniele Dell'Erba, Marco Faella, Fabio Mogavero
From Quasi-Dominions to Progress Measures. CoRR (2020)
Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving Mean-Payoff Games via Quasi Dominions. TACAS (2) (2020)
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
From Dynamic State Machines to Promela. SPIN (2019)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving Mean-Payoff Games via Quasi Dominions. CoRR (2019)
Erman Acar, Massimo Benerecetti, Fabio Mogavero
Satisfiability in Strategy Logic Can Be Easier than Model Checking. AAAI (2019)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving parity games via priority promotion. Formal Methods Syst. Des. 52 (2) (2018)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
A delayed promotion policy for parity games. Inf. Comput. 262 (2018)
Massimo Benerecetti, Marco Faella
Tracking smooth trajectories in linear hybrid systems. Inf. Comput. 257 (2017)
Massimo Benerecetti, Marco Faella
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games. GandALF (2017)
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133 (2017)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Solving Parity Games via Priority Promotion. CAV (2) (2016)
Massimo Benerecetti, Adriano Peron
Timed recursive state machines: Expressiveness and complexity. Theor. Comput. Sci. 625 (2016)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
Improving Priority Promotion for Parity Games. Haifa Verification Conference (2016)
Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero
A Delayed Promotion Policy for Parity Games. GandALF (2016)
Anita Alicante, Massimo Benerecetti, Anna Corazza, Stefano Silvestri
A distributed architecture to integrate ontological knowledge into information extraction. Int. J. Grid Util. Comput. 7 (4) (2016)
Massimo Benerecetti, Fabio Mogavero, Aniello Murano
Reasoning About Substructures and Games. ACM Trans. Comput. Log. 16 (3) (2015)
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
Modeling Railway Control Systems in Promela. FTSCS (2015)
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Counterexample-guided abstraction refinement for linear programs with arrays. Autom. Softw. Eng. 21 (2) (2014)
Anita Alicante, Massimo Benerecetti, Anna Corazza, Stefano Silvestri
A Distributed Information Extraction System Integrating Ontological Knowledge and Probabilistic Classifiers. 3PGCIC (2014)
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS (2014)
Massimo Benerecetti, Marco Faella
Tracking differentiable trajectories across polyhedra boundaries. HSCC (2013)
Massimo Benerecetti, Fabio Mogavero, Aniello Murano
Substructure Temporal Logic. LICS (2013)
Massimo Benerecetti, Adriano Peron
Timed protocol insecurity problem is NP-complete. Future Gener. Comput. Syst. 29 (3) (2013)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Automatic synthesis of switching controllers for linear hybrid systems: Safety control. Theor. Comput. Sci. 493 (2013)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Reachability games for linear hybrid systems. HSCC (2012)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Towards Efficient Exact Synthesis for Linear Hybrid Systems GandALF (2011)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Revisiting synthesis of switching controllers for Linear Hybrid systems. CDC/ECC (2011)
Massimo Benerecetti, Marco Faella, Stefano Minopoli
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata CoRR (2011)
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
Timed protocols insecurity problem is NP-complete. HPCS (2010)
Massimo Benerecetti, Stefano Minopoli, Adriano Peron
Analysis of Timed Recursive State Machines. TIME (2010)
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
TPMC: A Model Checker For Time-Sensitive Security Protocols. J. Comput. 4 (5) (2009)
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Abstraction Refinement of Linear Programs with Arrays. TACAS (2007)
Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica
The eureka tool for software model checking. ASE (2007)
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Model Checking Linear Programs with Arrays. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Massimo Benerecetti, Paolo Bouquet, Stefano Zanobini
Soundness of Schema Matching Methods. ESWC (2005)
Laura Bozzelli, Massimo Benerecetti, Adriano Peron
Verification of recursive parallel systems CoRR (2003)
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of Payment Protocols via MultiAgent Model Checking. CAiSE (2002)
Massimo Benerecetti, Alessandro Cimatti
Validation of Multiagent Systems by Symbolic Model Checking. AOSE (2002)
Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. SAFECOMP (2002)
Massimo Benerecetti, Paolo Bouquet, Matteo Bonifacio
Distributed Context-Aware Systems. Hum. Comput. Interact. 16 (2-4) (2001)
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. CONTEXT (2001)
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
Contextual reasoning distilled. J. Exp. Theor. Artif. Intell. 12 (3) (2000)
Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi
A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE (2000)
Massimo Benerecetti, Fausto Giunchiglia
Model Checking Security Protocols Using a Logic of Belief. TACAS (2000)
Massimo Benerecetti, Fausto Giunchiglia
Model Checking-Based Analysis of Multiagent Systems. FAABS (2000)
Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita
Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. 14 (10) (1999)
Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
Multiagent Systems Verification via Model Checking. EUROVAV (1998)
Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
Model Checking Multiagent Systems. J. Log. Comput. 8 (3) (1998)
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
Formalizing Belief Reports - The Approach and a Case Study. AIMSA (1998)
Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini
A Model Checking Algorithm for Multiagent Systems. ATAL (1998)
Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
Formal Specification of Beliefs in Multi-Agent Systems. ATAL (1996)
Massimo Benerecetti, Luca Spalazzi
METAFOL: Program tactics and logic tactics plus reflection. Future Gener. Comput. Syst. 12 (2-3) (1996)