Davide Bresolin

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 28

Top Topics

Formal Verification

Hybrid Automata

Top Venues

Ann. Math. Artif. Intell.

Publications

Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid systems. Inf. Comput. 300 (2024)
Matteo Zavatteri, Davide Bresolin, Massimiliano de Leoni
Repair of Unsound Data-Aware Process Models. Business Process Management Workshops (2023)
Davide Bresolin, Matteo Zavatteri
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty. Inf. Syst. 119 (2023)
Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin, Tiziano Villa
Rigorous Function Calculi in Ariadne. CoRR (2023)
Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV (2022)
Matteo Zavatteri, Davide Bresolin, Romeo Rizzi, Tiziano Villa
Dynamic Controllability of Temporal Networks via Supervisory Control. OVERLAY@AI*IA (2022)
Jean-François Raskin, Davide Bresolin
Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020). Inf. Comput. 289 (Part) (2022)
Davide Bresolin, Ivan Lanese
Static and dynamic property-preserving updates. Inf. Comput. 279 (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence checking and intersection of deterministic timed finite state machines. Formal Methods Syst. Des. 59 (1) (2021)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines. CoRR (2021)
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti, Davide Bresolin, Tiziano Villa
Higher Order Method for Differential Inclusions. CoRR (2020)
Davide Bresolin, Pieter Collins, Luca Geretti, Roberto Segala, Tiziano Villa, Sanja Zivanovic Gonzalez
A computable and compositional semantics for hybrid automata. HSCC (2020)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Inf. Comput. 266 (2019)
Davide Bresolin, Luca Geretti, Tiziano Villa
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne. OVERLAY@AI*IA (2019)
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV (2019)
Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco
Extracting Interval Temporal Logic Rules: A First Approach. TIME (2018)
Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa
Formal Verification of Medical CPS: A Laser Incision Case Study. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic. Log. Methods Comput. Sci. 14 (2) (2018)
Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. J. Multiple Valued Log. Soft Comput. 28 (2-3) (2017)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18 (3) (2017)
Luca Geretti, Davide Bresolin, Pieter Collins, Sanja Zivanovic Gonzalez, Tiziano Villa
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne. ICTSS (2017)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Fast(er) Reasoning in Interval Temporal Logic. CSL (2017)
Davide Bresolin, Ivan Lanese
Most General Property-Preserving Updates. LATA (2017)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On the Expressive Power of Sub-Propositional Fragments of Modal Logic. GandALF (2016)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On Sub-Propositional Fragments of Modal Logic. CoRR (2016)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
On the Complexity of Fragments of Horn Modal Logics. TIME (2016)
Davide Bresolin, Guido Sciavicco
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014). Acta Informatica 53 (6-8) (2016)
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR (2016)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. LATA (2015)
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE 103 (11) (2015)
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Formal verification of robotic surgery tasks by reachability analysis. Microprocess. Microsystems 39 (8) (2015)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
A First Study of the Horn Fragment of the Modal Logic of Time Intervals. CILC (2014)
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. GandALF (2014)
Luzie Schreiter, Davide Bresolin, Marta Capiluppi, Jörg Raczkowsky, Paolo Fiorini, Heinz Wörn
Application of contract-based verification techniques for hybrid automata to surgical robotic systems. ECC (2014)
Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools. DSD (2014)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theor. Comput. Sci. 560 (2014)
Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. JELIA (2014)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
The dark side of interval temporal logic: marking the undecidability border. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI (2014)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Theor. Comput. Sci. 493 (2013)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Metric propositional neighborhood logics on natural numbers. Softw. Syst. Model. 12 (2) (2013)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX (2013)
Davide Bresolin, Marta Capiluppi
A game-theoretic approach to fault diagnosis and identification of hybrid systems. Theor. Comput. Sci. 493 (2013)
Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. FOGA (2013)
Davide Bresolin
Improving HyLTL model checking of hybrid systems. GandALF (2013)
Davide Bresolin
HyLTL: a temporal logic for model checking hybrid systems. HAS (2013)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. ECAI (2012)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa
Open Problems in Verification and Refinement of Autonomous Robotic Systems. DSD (2012)
Davide Bresolin, Pietro Sala, Guido Sciavicco
On Begins, Meets and before. Int. J. Found. Comput. Sci. 23 (3) (2012)
Pieter Collins, Davide Bresolin, Luca Geretti, Tiziano Villa
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus. ADHS (2012)
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP (2012)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture GandALF (2012)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. TABLEAUX (2011)
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa
Correct-by-construction code generation from hybrid automata specification. IWCMC (2011)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. TIME (2011)
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. TIME (2011)
Davide Bresolin, Marta Capiluppi
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems GandALF (2011)
Riccardo Muradore, Davide Bresolin, Luca Geretti, Paolo Fiorini, Tiziano Villa
Robotic Surgery. IEEE Robotics Autom. Mag. 18 (3) (2011)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
An Optimal Decision Procedure for MPNL over the Integers GandALF (2011)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. LICS (2011)
Davide Bresolin, Pietro Sala, Guido Sciavicco
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic GANDALF (2010)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. ECAI (2010)
Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco
A Decidable Spatial Generalization of Metric Interval Temporal Logic. TIME (2010)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Tableaux for Logics of Subinterval Structures over Dense Orderings. J. Log. Comput. 20 (1) (2010)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Electron. Notes Theor. Comput. Sci. 262 (2010)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Ann. Pure Appl. Log. 161 (3) (2009)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. SEFM (2009)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX (2009)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Undecidability of Interval Temporal Logics with the Overlap Modality. TIME (2009)
Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa
The impact of EFSM composition on functional ATPG. DDECS (2009)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Electron. Notes Theor. Comput. Sci. 231 (2009)
Davide Bresolin, Angelo Montanari, Gabriele Puppis
A theory of ultimately periodic languages and automata with an application to time granularity. Acta Informatica 46 (5) (2009)
Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA (2008)
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. LPAR (2008)
Davide Bresolin, Angelo Montanari, Pietro Sala
An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME (2008)
Davide Bresolin, Angelo Montanari, Guido Sciavicco
An Optimal Decision Procedure for Right Propositional Neighborhood Logic. J. Autom. Reason. 38 (1-3) (2007)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX (2007)
Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. LFCS (2007)
Davide Bresolin, Angelo Montanari, Pietro Sala
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS (2007)
Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska
Relational dual tableaux for interval temporal logics. J. Appl. Non Class. Logics 16 (3-4) (2006)
Davide Bresolin, Angelo Montanari
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. TABLEAUX (2005)
Davide Bresolin, Angelo Montanari, Gabriele Puppis
Time Granularities and Ultimately Periodic Automata. JELIA (2004)