Davide Bresolin

发表

A game-theoretic approach to fault diagnosis and identification of hybrid systems

Davide Bresolin, Marta Capiluppi, 2013, Theor. Comput. Sci..

Application of contract-based verification techniques for hybrid automata to surgical robotic systems

Davide Bresolin, Paolo Fiorini, Marta Capiluppi, 2014, 2014 European Control Conference (ECC).

Most General Property-Preserving Updates

Davide Bresolin, Ivan Lanese, Ivan Lanese, 2017, LATA.

Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne

Davide Bresolin, Luca Geretti, Tiziano Villa, 2019, OVERLAY@AI*IA.

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, Ann. Pure Appl. Log..

Improving HyLTL model checking of hybrid systems

Davide Bresolin, Davide Bresolin, 2013, GandALF.

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2009, M4M.

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Pietro Sala, 2010, GANDALF.

Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2008, LPAR.

Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification: Preface

Davide Bresolin, Jean-François Raskin, 2019 .

Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools

Davide Bresolin, Luca Geretti, Riccardo Muradore, 2014, 2014 17th Euromicro Conference on Digital System Design.

Interval Temporal Logics over Finite Linear Orders: the Complete Picture

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2012, ECAI.

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic

Davide Bresolin, Angelo Montanari, Pietro Sala, 2007, STACS.

Fast(er) Reasoning in Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2017, CSL.

Relational dual tableaux for interval temporal logics ★

Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska, 2006, J. Appl. Non Class. Logics.

Proceedings First Workshop on Logics and Model-checking for Self-* Systems

Davide Bresolin, Manuel Mazzara, Marcello Maria Bersani, 2014 .

Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2011, Software & Systems Modeling.

On the Expressive Power of Sub-Propositional Fragments of Modal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, GandALF.

An optimal tableau for Right Propositional Neighborhood Logic over Trees

Davide Bresolin, Angelo Montanari, Pietro Sala, 2008, 2008 15th International Symposium on Temporal Representation and Reasoning.

Parametric formal verification: the robotic paint spraying case study

Davide Bresolin, Luca Geretti, Riccardo Muradore, 2017 .

A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems

Davide Bresolin, Marta Capiluppi, 2011, GandALF.

The impact of EFSM composition on functional ATPG

Davide Bresolin, Tiziano Villa, Franco Fummi, 2009, 2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.

Undecidability of Interval Temporal Logics with the Overlap Modality

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.

Static and dynamic property-preserving updates

Davide Bresolin, Ivan Lanese, Ivan Lanese, 2020, Inf. Comput..

A Decidable Spatial Generalization of Metric Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2012, GandALF.

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power

Davide Bresolin, Tiziano Villa, Nina Yevtushenko, 2014, GandALF.

Minimizing Deterministic Timed Finite State Machines

Davide Bresolin, Tiziano Villa, Nina Yevtushenko, 2018 .

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2015, LATA.

A Tableau-Based System for Spatial Reasoning about Directional Relations

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2009, TABLEAUX.

Formal Verification of Medical CPS

Davide Bresolin, Luca Geretti, Riccardo Muradore, 2018, ACM Trans. Cyber Phys. Syst..

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2008, JELIA.

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus

Davide Bresolin, Luca Geretti, Tiziano Villa, 2012, ADHS.

A First Study of the Horn Fragment of the Modal Logic of Time Intervals

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2014, CILC.

An Introduction to the Verification of Hybrid Systems Using Ariadne

Davide Bresolin, Luca Geretti, Tiziano Villa, 2015 .

Formal verification of robotic surgery tasks by reachability analysis

Davide Bresolin, Luca Geretti, Riccardo Muradore, 2015, Microprocess. Microsystems.

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2013, Theor. Comput. Sci..

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, TABLEAUX.

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2010, ECAI.

A computable and compositional semantics for hybrid automata

Davide Bresolin, Luca Geretti, Tiziano Villa, 2020, HSCC.

Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2019, Inf. Comput..

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, ACM Trans. Comput. Log..

DL-Lite and Interval Temporal Logics: a Marriage Proposal

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2014, ECAI.

Proceedings First Workshop on Logics and Model-checking for Self-* Systems: Preface

Davide Bresolin, Marcello M. Bersani, Manuel Mazzara, 2014 .

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2007, LFCS.

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2010, Electron. Notes Theor. Comput. Sci..

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2011, TIME.

The dark side of interval temporal logic: marking the undecidability border

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2013, Annals of Mathematics and Artificial Intelligence.

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Davide Bresolin, Luca Geretti, Tiziano Villa, 2015, Proceedings of the IEEE.

Tableaux for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2010, J. Log. Comput..

An Optimal Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2006, Journal of Automated Reasoning.

A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic

Davide Bresolin, Angelo Montanari, 2005, TABLEAUX.

Reachability computation for hybrid systems with Ariadne

Davide Bresolin, Tiziano Villa, Alberto Sangiovanni-Vincentelli, 2008 .

Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification.

Davide Bresolin, Jean-Francois Raskin, 2020 .

Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics

Davide Bresolin, Fernando Jiménez, Gracia Sánchez, 2017, J. Multiple Valued Log. Soft Comput..

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths

Davide Bresolin, Valentin Goranko, Guido Sciavicco, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

On Begins, Meets and before

Davide Bresolin, Guido Sciavicco, Pietro Sala, 2012, Int. J. Found. Comput. Sci..

HyLTL: a temporal logic for model checking hybrid systems

Davide Bresolin, D. Bresolin, 2013, HAS.

A framework for fault diagnosis of hybrid systems based on predicate abstractions

Davide Bresolin, Marta Capiluppi, 2013, 2013 Conference on Control and Fault-Tolerant Systems (SysTol).

An Optimal Decision Procedure for MPNL over the Integers

Davide Bresolin, Guido Sciavicco, Angelo Montanari, 2011, GandALF.

On Sub-Propositional Fragments of Modal Logic

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, Log. Methods Comput. Sci..

Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms

Davide Bresolin, Fernando Jiménez, Gracia Sánchez, 2013, FOGA XII '13.

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)

Davide Bresolin, Guido Sciavicco, 2016, Acta Informatica.

On the Complexity of Fragments of Horn Modal Logics

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2016, 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2014, JELIA.

Assume–guarantee verification of nonlinear hybrid systems with Ariadne

Davide Bresolin, Luca Geretti, Tiziano Villa, 2014 .

A theory of ultimately periodic languages and automata with an application to time granularity

Davide Bresolin, Gabriele Puppis, Angelo Montanari, 2009, Acta Informatica.

Higher Order Method for Differential Inclusions pdf

Davide Bresolin, Luca Geretti, Tiziano Villa, 2020, ArXiv.

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

Davide Bresolin, Luca Geretti, Tiziano Villa, 2017, ICTSS.

Correct-by-construction code generation from hybrid automata specification

Davide Bresolin, Luca Geretti, Tiziano Villa, 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2013, TABLEAUX.

The Logic of Time: from Aristotle to Computer Science

Davide Bresolin, 2017 .

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis

Davide Bresolin, Luca Geretti, Tiziano Villa, 2012, RP.

Extracting Interval Temporal Logic Rules: A First Approach

Davide Bresolin, Guido Sciavicco, Emilio Muñoz-Velasco, 2018, TIME.

Tableau Systems for Logics of Subinterval Structures over Dense Orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2007, TABLEAUX.

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2014, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Open Problems in Verification and Refinement of Autonomous Robotic Systems

Davide Bresolin, Luca Geretti, Riccardo Muradore, 2012, 2012 15th Euromicro Conference on Digital System Design.

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Davide Bresolin, Guido Sciavicco, Dario Della Monica, 2014, Theor. Comput. Sci..

Rigorous Continuous Evolution of Uncertain Systems

Davide Bresolin, Luca Geretti, Tiziano Villa, 2019, NSV@CAV.

Time Granularities and Ultimately Periodic Automata

Davide Bresolin, Gabriele Puppis, Angelo Montanari, 2004, JELIA.

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

Davide Bresolin, Pierre Ganty, 2021, Electronic Proceedings in Theoretical Computer Science.

Equivalence Checking and Intersection of Deterministic Timed Finite State Machines pdf

Davide Bresolin, Tiziano Villa, Nina Yevtushenko, 2021, ArXiv.

Tableau-based decision procedures for the logics of subinterval structures over dense orderings

Davide Bresolin, Valentin Goranko, Angelo Montanari, 2008 .

Proof methods for Interval Temporal Logics

Davide Bresolin, 2007 .