Time Granularities and Ultimately Periodic Automata. - Davide Bresolin; Angelo Montanari; Gabriele Puppis (JELIA, 2004)

A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. - Davide Bresolin; Angelo Montanari (TABLEAUX, 2005)

Relational dual tableaux for interval temporal logics. - Davide Bresolin; Joanna Golinska-Pilarek; Ewa Orlowska (J. Appl. Non Class. Logics, 2006)

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (LFCS, 2007)

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. - Davide Bresolin; Angelo Montanari; Pietro Sala (STACS, 2007)

Tableau Systems for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (TABLEAUX, 2007)

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (M4M, 2007)

An Optimal Decision Procedure for Right Propositional Neighborhood Logic. - Davide Bresolin; Angelo Montanari; Guido Sciavicco (J. Autom. Reason., 2007)

Proof methods for interval temporal logics. - Davide Bresolin (2007)

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (JELIA, 2008)

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 (LPAR, 2008)

An optimal tableau for Right Propositional Neighborhood Logic over Trees. - Davide Bresolin; Angelo Montanari; Pietro Sala (TIME, 2008)

The impact of EFSM composition on functional ATPG. - Davide Bresolin; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Tiziano Villa (DDECS, 2009)

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (SEFM, 2009)

A Tableau-Based System for Spatial Reasoning about Directional Relations. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (TABLEAUX, 2009)

Undecidability of Interval Temporal Logics with the Overlap Modality. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2009)

A theory of ultimately periodic languages and automata with an application to time granularity. - Davide Bresolin; Angelo Montanari; Gabriele Puppis (Acta Informatica, 2009)

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Ann. Pure Appl. Log., 2009)

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (M4M, 2009)

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (ECAI, 2010)

A Decidable Spatial Generalization of Metric Interval Temporal Logic. - Davide Bresolin; Pietro Sala; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TIME, 2010)

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic - Davide Bresolin; Pietro Sala; Guido Sciavicco (GANDALF, 2010)

Tableaux for Logics of Subinterval Structures over Dense Orderings. - Davide Bresolin; Valentin Goranko; Angelo Montanari; Pietro Sala (J. Log. Comput., 2010)

Correct-by-construction code generation from hybrid automata specification. - Davide Bresolin; Luigi Di Guglielmo; Luca Geretti; Tiziano Villa (IWCMC, 2011)

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (LICS, 2011)

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (TABLEAUX, 2011)

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (TIME, 2011)

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TIME, 2011)

An Optimal Decision Procedure for MPNL over the Integers - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (GandALF, 2011)

A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems - Davide Bresolin; Marta Capiluppi (GandALF, 2011)

Robotic Surgery. - Riccardo Muradore; Davide Bresolin; Luca Geretti; Paolo Fiorini; Tiziano Villa (IEEE Robotics Autom. Mag., 2011)

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. - Pieter Collins; Davide Bresolin; Luca Geretti; Tiziano Villa (ADHS, 2012)

Open Problems in Verification and Refinement of Autonomous Robotic Systems. - Davide Bresolin; Luigi Di Guglielmo; Luca Geretti; Riccardo Muradore; Paolo Fiorini; Tiziano Villa (DSD, 2012)

Interval Temporal Logics over Finite Linear Orders: the Complete Picture. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (ECAI, 2012)

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. - Luca Benvenuti; Davide Bresolin; Pieter Collins; Alberto Ferrari; Luca Geretti; Tiziano Villa (RP, 2012)

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (GandALF, 2012)

On Begins, Meets and before. - Davide Bresolin; Pietro Sala; Guido Sciavicco (Int. J. Found. Comput. Sci., 2012)

Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. - Davide Bresolin; Fernando Jiménez; Gracia Sánchez; Guido Sciavicco (FOGA, 2013)

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (TABLEAUX, 2013)

Improving HyLTL model checking of hybrid systems. - Davide Bresolin (GandALF, 2013)

HyLTL: a temporal logic for model checking hybrid systems. - Davide Bresolin (HAS, 2013)

Metric propositional neighborhood logics on natural numbers. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Softw. Syst. Model., 2013)

A game-theoretic approach to fault diagnosis and identification of hybrid systems. - Davide Bresolin; Marta Capiluppi (Theor. Comput. Sci., 2013)

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. - Davide Bresolin; Angelo Montanari; Pietro Sala; Guido Sciavicco (Theor. Comput. Sci., 2013)

A First Study of the Horn Fragment of the Modal Logic of Time Intervals. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (CILC, 2014)

Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. - Davide Bresolin; Luca Geretti; Riccardo Muradore; Paolo Fiorini; Tiziano Villa (DSD, 2014)

DL-Lite and Interval Temporal Logics: a Marriage Proposal. - Alessandro Artale; Davide Bresolin; Angelo Montanari; Guido Sciavicco; Vladislav Ryzhikov (ECAI, 2014)

Application of contract-based verification techniques for hybrid automata to surgical robotic systems. - Luzie Schreiter; Davide Bresolin; Marta Capiluppi; Jörg Raczkowsky; Paolo Fiorini; Heinz Wörn (ECC, 2014)

Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (JELIA, 2014)

The dark side of interval temporal logic: marking the undecidability border. - Davide Bresolin; Dario Della Monica; Valentin Goranko; Angelo Montanari; Guido Sciavicco (Ann. Math. Artif. Intell., 2014)

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Guido Sciavicco (Ann. Math. Artif. Intell., 2014)

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. - Davide Bresolin; Khaled El-Fakih; Tiziano Villa; Nina Yevtushenko 001 (GandALF, 2014)

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Theor. Comput. Sci., 2014)

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 (LATA, 2015)

Formal verification of robotic surgery tasks by reachability analysis. - Davide Bresolin; Luca Geretti; Riccardo Muradore; Paolo Fiorini; Tiziano Villa (Microprocess. Microsystems, 2015)

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. - Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Davide Bresolin; Luca Geretti; Tiziano Villa (Proc. IEEE, 2015)

On the Complexity of Fragments of Horn Modal Logics. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (TIME, 2016)

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014). - Davide Bresolin; Guido Sciavicco (Acta Informatica, 2016)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (CoRR, 2016)

On the Expressive Power of Sub-Propositional Fragments of Modal Logic. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (GandALF, 2016)

Fast(er) Reasoning in Interval Temporal Logic. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (CSL, 2017)

Most General Property-Preserving Updates. - Davide Bresolin; Ivan Lanese (LATA, 2017)

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. - Luca Geretti; Davide Bresolin; Pieter Collins; Sanja Zivanovic Gonzalez; Tiziano Villa (ICTSS, 2017)

Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. - Davide Bresolin; Fernando Jiménez; Gracia Sánchez; Guido Sciavicco (J. Multiple Valued Log. Soft Comput., 2017)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic. - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (ACM Trans. Comput. Log., 2017)

Extracting Interval Temporal Logic Rules: A First Approach. - Davide Bresolin; Enrico Cominato; Simone Gnani; Emilio Muñoz-Velasco; Guido Sciavicco (TIME, 2018)

On Sub-Propositional Fragments of Modal Logic. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (Log. Methods Comput. Sci., 2018)

Formal Verification of Medical CPS: A Laser Incision Case Study. - Andre A. Geraldes; Luca Geretti; Davide Bresolin; Riccardo Muradore; Paolo Fiorini; Leonardo S. Mattos; Tiziano Villa (ACM Trans. Cyber Phys. Syst., 2018)

Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. - Davide Bresolin; Luca Geretti; Tiziano Villa (OVERLAY@AI*IA, 2019)

Rigorous Continuous Evolution of Uncertain Systems. - Luca Geretti; Sanja Zivanovic Gonzalez; Pieter Collins; Davide Bresolin; Tiziano Villa (NSV@CAV, 2019)

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. - Davide Bresolin; Dario Della Monica; Angelo Montanari; Pietro Sala; Guido Sciavicco (Inf. Comput., 2019)

A computable and compositional semantics for hybrid automata. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa; Sanja Zivanovic Gonzalez (HSCC, 2020)

Higher Order Method for Differential Inclusions. - Sanja Zivanovic Gonzalez; Pieter Collins; Luca Geretti; Davide Bresolin; Tiziano Villa (CoRR, 2020)

Equivalence checking and intersection of deterministic timed finite state machines. - Davide Bresolin; Khaled El-Fakih; Tiziano Villa; Nina Yevtushenko 001 (Formal Methods Syst. Des., 2021)

Static and dynamic property-preserving updates. - Davide Bresolin; Ivan Lanese (Inf. Comput., 2021)

Dynamic Controllability of Temporal Networks via Supervisory Control. - Matteo Zavatteri; Davide Bresolin; Romeo Rizzi; Tiziano Villa (OVERLAY@AI*IA, 2022)

Automating Numerical Parameters Along the Evolution of a Nonlinear System. - Luca Geretti; Pieter Collins; Davide Bresolin; Tiziano Villa (RV, 2022)

Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020). - Jean-François Raskin; Davide Bresolin (Inf. Comput., 2022)

Repair of Unsound Data-Aware Process Models. - Matteo Zavatteri; Davide Bresolin; Massimiliano de Leoni (Business Process Management Workshops, 2023)

Rigorous Function Calculi in Ariadne. - Pieter Collins; Luca Geretti; Sanja Zivanovic Gonzalez; Davide Bresolin; Tiziano Villa (CoRR, 2023)

Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty. - Davide Bresolin; Matteo Zavatteri (Inf. Syst., 2023)

Automated Synthesis of Certified Neural Networks. - Matteo Zavatteri; Davide Bresolin; Nicolò Navarin (ECAI, 2024)

Recent Results on Computable and Compositional Semantics for Hybrid Systems. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa (OVERLAY, 2024)

Model Checking of Optimal LTL and ASAP Properties. - Davide Bresolin; Filippo Fantinato; Stefano Tonetta (OVERLAY, 2024)

Automated Synthesis of Certified Neural Networks: Initial Results and Open Research Lines. - Matteo Zavatteri; Davide Bresolin; Nicolò Navarin (OVERLAY, 2024)

A computable and compositional semantics for hybrid systems. - Davide Bresolin; Pieter Collins; Luca Geretti; Roberto Segala; Tiziano Villa; Sanja Zivanovic Gonzalez (Inf. Comput., 2024)

Data-aware process models: From soundness checking to repair. - Matteo Zavatteri; Davide Bresolin; Massimiliano de Leoni; Aurelo Makaj (Data Knowl. Eng., 2025)