Massimo Benerecetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
12
Active years
1998–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Best-Effort Safety Control of Multi-mode Systems. | Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2026 | MFCS | Deciding the Common Fragment of CTL with past and LTL. | Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis |
| 2024 | ICALP | Automata-Theoretic Characterisations of Branching-Time Temporal Logics. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2024 | TIME | Full Characterisation of Extended CTL. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2024 | TIME | Model Checking Linear Temporal Properties on Polyhedral Systems. | Massimo Benerecetti, Marco Faella, Fabio Mogavero |
| 2023 | LICS | Quantifying Over Trees in Monadic Second-Order Logic. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2022 | TIME | Taming Strategy Logic: Non-Recurrent Fragments. | Massimo Benerecetti, Fabio Mogavero, Adriano Peron |
| 2021 | QUATIC | Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. | Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace |
| 2020 | TACAS | Solving Mean-Payoff Games via Quasi Dominions. | Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero |
| 2019 | AAAI | Satisfiability in Strategy Logic Can Be Easier than Model Checking. | Erman Acar, Massimo Benerecetti, Fabio Mogavero |
| 2016 | CAV | Solving Parity Games via Priority Promotion. | Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero |
| 2013 | LICS | Substructure Temporal Logic. | Massimo Benerecetti, Fabio Mogavero, Aniello Murano |
| 2010 | TIME | Analysis of Timed Recursive State Machines. | Massimo Benerecetti, Stefano Minopoli, Adriano Peron |
| 2007 | TACAS | Abstraction Refinement of Linear Programs with Arrays. | Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani |
| 2002 | CaiSE | Verification of Payment Protocols via MultiAgent Model Checking. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2002 | SAFECOMP | Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
| 2000 | FORTE | A Logic of Belief and a Model Checking Algorithm for Security Protocols. | Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi |
| 2000 | TACAS | Model Checking Security Protocols Using a Logic of Belief. | Massimo Benerecetti, Fausto Giunchiglia |
| 1998 | AIMSA | Formalizing Belief Reports - The Approach and a Case Study. | Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini |