Davide Bresolin

According to our database1, Davide Bresolin
  • authored at least 63 papers between 2004 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
ACM Trans. Comput. Log., 2017

Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.
Multiple-Valued Logic and Soft Computing, 2017

Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.
Proceedings of the Testing Software and Systems, 2017

Most General Property-Preserving Updates.
Proceedings of the Language and Automata Theory and Applications, 2017

Fast(er) Reasoning in Interval Temporal Logic.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016
On Sub-Propositional Fragments of Modal Logic.
CoRR, 2016

On the Expressive Power of Sub-Propositional Fragments of Modal Logic.
Proceedings of the Seventh International Symposium on Games, 2016

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
CoRR, 2016

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

On the Complexity of Fragments of Horn Modal Logics.
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.
Proceedings of the IEEE, 2015

Formal verification of robotic surgery tasks by reachability analysis.
Microprocessors and Microsystems - Embedded Hardware Design, 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

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.
Ann. Math. Artif. Intell., 2014

The dark side of interval temporal logic: marking the undecidability border.
Ann. Math. Artif. Intell., 2014

Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations.
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 European Control Conference, 2014

DL-Lite and Interval Temporal Logics: a Marriage Proposal.
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

A First Study of the Horn Fragment of the Modal Logic of Time Intervals.
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

A game-theoretic approach to fault diagnosis and identification of hybrid systems.
Theor. Comput. Sci., 2013

Metric propositional neighborhood logics on natural numbers.
Software and System Modeling, 2013

HyLTL: a temporal logic for model checking hybrid systems.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Improving HyLTL model checking of hybrid systems.
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
On Begins, Meets and before.
Int. J. Found. Comput. Sci., 2012

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
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

Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
Proceedings of the ECAI 2012, 2012

Open Problems in Verification and Refinement of Autonomous Robotic Systems.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2011
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
Proceedings of Second International Symposium on Games, 2011

An Optimal Decision Procedure for MPNL over the Integers
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

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
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

Correct-by-construction code generation from hybrid automata specification.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

2010
Tableaux for Logics of Subinterval Structures over Dense Orderings.
J. Log. Comput., 2010

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
Electr. Notes Theor. Comput. Sci., 2010

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Proceedings of the Proceedings First Symposium on Games, 2010

A Decidable Spatial Generalization of Metric Interval Temporal Logic.
Proceedings of the TIME 2010, 2010

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010

2009
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.
Electr. Notes Theor. Comput. Sci., 2009

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Logic, 2009

A theory of ultimately periodic languages and automata with an application to time granularity.
Acta Inf., 2009

Undecidability of Interval Temporal Logics with the Overlap Modality.
Proceedings of the TIME 2009, 2009

A Tableau-Based System for Spatial Reasoning about Directional Relations.
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

The impact of EFSM composition on functional ATPG.
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

2008
An optimal tableau for Right Propositional Neighborhood Logic over Trees.
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

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
J. Autom. Reasoning, 2007

Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
Proceedings of the STACS 2007, 2007

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

2006
Relational dual tableaux for interval temporal logics.
Journal of Applied Non-Classical Logics, 2006

2005
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004
Time Granularities and Ultimately Periodic Automata.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004


  Loading...