| Publication | Date of Publication | Type |
|---|
A computable and compositional semantics for hybrid systems
Information and Computation | 2024-10-08 | Paper |
Equivalence checking and intersection of deterministic timed finite state machines
Formal Methods in System Design | 2023-06-29 | Paper |
A higher order method for input-affine uncertain systems
Nonlinear Analysis. Hybrid Systems | 2023-01-13 | Paper |
| Extracting interval temporal logic rules: a first approach | 2022-05-28 | Paper |
| scientific article; zbMATH DE number 7439733 (Why is no real title available?) | 2021-12-07 | Paper |
scientific article; zbMATH DE number 7439733 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-07 | Paper |
Static and dynamic property-preserving updates
Information and Computation | 2021-07-21 | Paper |
| Deterministic timed finite state machines: equivalence checking and expressive power | 2021-06-24 | Paper |
Deterministic timed finite state machines: equivalence checking and expressive power
(available as arXiv preprint) | 2021-06-24 | Paper |
| Improving HyLTL model checking of hybrid systems | 2021-06-09 | Paper |
Improving HyLTL model checking of hybrid systems
(available as arXiv preprint) | 2021-06-09 | Paper |
| Interval temporal logics over strongly discrete linear orders: the complete picture | 2021-04-27 | Paper |
Interval temporal logics over strongly discrete linear orders: the complete picture
(available as arXiv preprint) | 2021-04-27 | Paper |
| A game-theoretic approach to fault diagnosis of hybrid systems | 2021-03-03 | Paper |
A game-theoretic approach to fault diagnosis of hybrid systems
(available as arXiv preprint) | 2021-03-03 | Paper |
| An optimal decision procedure for MPNL over the integers | 2021-03-03 | Paper |
An optimal decision procedure for MPNL over the integers
(available as arXiv preprint) | 2021-03-03 | Paper |
| Begin, after, and later: a maximal decidable interval temporal logic | 2021-02-16 | Paper |
A computable and compositional semantics for hybrid automata
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Fast(er) reasoning in interval temporal logic | 2020-05-26 | Paper |
Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals
Information and Computation | 2019-05-02 | Paper |
Formal Verification Applied to Robotic Surgery
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
An introduction to the verification of hybrid systems using \textsc{Ariadne}
Coordination Control of Distributed Systems | 2018-12-12 | Paper |
| Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics | 2018-11-06 | Paper |
scientific article; zbMATH DE number 6917935 (Why is no real title available?)
(available as arXiv preprint) | 2018-08-15 | Paper |
Horn fragments of the Halpern-Shoham interval temporal logic
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
Horn fragments of the Halpern-Shoham interval temporal logic
ACM Transactions on Computational Logic | 2017-10-16 | Paper |
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
Proceedings of the twelfth workshop on Foundations of genetic algorithms XII | 2017-07-14 | Paper |
Most General Property-Preserving Updates
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Undecidability of the logic of overlap relation over discrete linear orderings
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
On the complexity of fragments of the modal logic of Allen's relations over dense structures
Language and Automata Theory and Applications | 2016-04-08 | Paper |
| Interval temporal logics over finite linear orders: the complete picture | 2015-12-11 | Paper |
Complete and terminating tableau for the logic of proper subinterval structures over dense orderings
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Sub-propositional fragments of the interval temporal logic of Allen's relations
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
Theoretical Computer Science | 2014-12-02 | Paper |
The dark side of interval temporal logic: marking the undecidability border
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
International Journal of Robust and Nonlinear Control | 2014-04-08 | Paper |
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
Theoretical Computer Science | 2014-01-10 | Paper |
A game-theoretic approach to fault diagnosis and identification of hybrid systems
Theoretical Computer Science | 2014-01-10 | Paper |
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
Lecture Notes in Computer Science | 2013-01-07 | Paper |
On begins, meets and before
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders
Lecture Notes in Computer Science | 2011-07-01 | Paper |
| Metric propositional neighborhood logics: expressiveness, decidability, and undecidability | 2011-05-11 | Paper |
Tableaux for logics of subinterval structures over dense orderings
Journal Of Logic And Computation | 2010-02-19 | Paper |
A tableau-based system for spatial reasoning about directional relations
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Relational dual tableaux for interval temporal logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
A theory of ultimately periodic languages and automata with an application to time granularity
Acta Informatica | 2009-10-02 | Paper |
Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
Lecture Notes in Computer Science | 2008-01-04 | Paper |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
Logical Foundations of Computer Science | 2008-01-04 | Paper |
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
STACS 2007 | 2007-09-03 | Paper |
An optimal decision procedure for right propositional neighborhood logic
Journal of Automated Reasoning | 2007-05-04 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
