Massimo Benerecetti

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