Davide Bresolin

93 papers A* 1A 6B 13C 13Misc 1Journal 33Unranked 22

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