| 2024 | ECAI | Automated Synthesis of Certified Neural Networks. | Matteo Zavatteri, Davide Bresolin, Nicol Navarin |
| 2023 | BPM | Repair of Unsound Data-Aware Process Models. | Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni |
| 2022 | RV | Automating Numerical Parameters Along the Evolution of a Nonlinear System. | Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa |
| 2019 | CAV | Rigorous Continuous Evolution of Uncertain Systems. | Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa |
| 2018 | TIME | Extracting Interval Temporal Logic Rules: A First Approach. | Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muoz-Velasco, Guido Sciavicco |
| 2017 | CSL | Fast(er) Reasoning in Interval Temporal Logic. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2017 | LATA | Most General Property-Preserving Updates. | Davide Bresolin, Ivan Lanese |
| 2016 | TIME | On the Complexity of Fragments of Horn Modal Logics. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2015 | LATA | On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2014 | DSD | Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. | Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa |
| 2014 | ECAI | DL-Lite and Interval Temporal Logics: a Marriage Proposal. | Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov |
| 2014 | JELIA | Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. | Davide Bresolin, Emilio Muoz-Velasco, Guido Sciavicco |
| 2013 | FOGA | Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. | Davide Bresolin, Fernando Jimnez, Gracia Snchez, Guido Sciavicco |
| 2013 | TABLEAUX | A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2012 | DSD | Open Problems in Verification and Refinement of Autonomous Robotic Systems. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa |
| 2012 | ECAI | Interval Temporal Logics over Finite Linear Orders: the Complete Picture. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | IWCMC | Correct-by-construction code generation from hybrid automata specification. | Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa |
| 2011 | LICS | What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TABLEAUX | Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2011 | TIME | The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2011 | TIME | The Light Side of Interval Temporal Logic: The Bernays-Schnfinkel's Fragment of CDT. | Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2010 | ECAI | Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2010 | TIME | A Decidable Spatial Generalization of Metric Interval Temporal Logic. | Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco |
| 2009 | DDECS | The impact of EFSM composition on functional ATPG. | Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa |
| 2009 | SEFM | Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2009 | TABLEAUX | A Tableau-Based System for Spatial Reasoning about Directional Relations. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2009 | TIME | Undecidability of Interval Temporal Logics with the Overlap Modality. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | JELIA | Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
| 2008 | LPAR | Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. | Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2008 | TIME | An optimal tableau for Right Propositional Neighborhood Logic over Trees. | Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2007 | LFCS | On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
| 2007 | STACS | An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. | Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2007 | TABLEAUX | Tableau Systems for Logics of Subinterval Structures over Dense Orderings. | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
| 2005 | TABLEAUX | A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. | Davide Bresolin, Angelo Montanari |
| 2004 | JELIA | Time Granularities and Ultimately Periodic Automata. | Davide Bresolin, Angelo Montanari, Gabriele Puppis |