Davide Bresolin
Orcid: 0000-0003-2253-9878
According to our database1,
Davide Bresolin
authored at least 81 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
Supervisory control of business processes with resources, parallel and mutually exclusive branches, loops, and uncertainty.
Inf. Syst., October, 2023
Proceedings of the Business Process Management Workshops, 2023
2022
Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020).
Inf. Comput., 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
2021
Formal Methods Syst. Des., 2021
2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
2019
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.
Inf. Comput., 2019
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2018
ACM Trans. Cyber Phys. Syst., 2018
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
2017
ACM Trans. Comput. Log., 2017
Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.
J. Multiple Valued Log. Soft Comput., 2017
Proceedings of the Testing Software and Systems, 2017
Proceedings of the Language and Automata Theory and Applications, 2017
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
2016
Proceedings of the Seventh International Symposium on Games, 2016
CoRR, 2016
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014).
Acta Informatica, 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
2015
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.
Proc. IEEE, 2015
Microprocess. Microsystems, 2015
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Proceedings of the Language and Automata Theory and Applications, 2015
2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014
Ann. Math. Artif. Intell., 2014
Ann. Math. Artif. Intell., 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Application of contract-based verification techniques for hybrid automata to surgical robotic systems.
Proceedings of the 13th European Control Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools.
Proceedings of the 17th Euromicro Conference on Digital System Design, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Theor. Comput. Sci., 2013
Theor. Comput. Sci., 2013
Softw. Syst. Model., 2013
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013
Proceedings of the Proceedings Fourth International Symposium on Games, 2013
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.
Proceedings of the Foundations of Genetic Algorithms XII, 2013
2012
Proceedings of the Proceedings Third International Symposium on Games, 2012
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.
Proceedings of the Reachability Problems - 6th International Workshop, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Proceedings of Second International Symposium on Games, 2011
Proceedings of Second International Symposium on Games, 2011
The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011
2010
J. Log. Comput., 2010
Proceedings of the Proceedings First Symposium on Games, 2010
Proceedings of the TIME 2010, 2010
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010
2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Log., 2009
A theory of ultimately periodic languages and automata with an application to time granularity.
Acta Informatica, 2009
Proceedings of the TIME 2009, 2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009
2008
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Proceedings of the Logic for Programming, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
2007
J. Autom. Reason., 2007
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007
Proceedings of the STACS 2007, 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
2006
J. Appl. Non Class. Logics, 2006
2005
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005
2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004