| Publication | Date of Publication | Type |
|---|
From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers
Formal Aspects of Computing | 2024-09-25 | Paper |
| Some extensions to propositional mean-value calculus: expressiveness and decidability | 2024-06-21 | Paper |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers | 2023-04-21 | Paper |
Specification and optimal reactive synthesis of run-time enforcement shields
Information and Computation | 2022-06-08 | Paper |
| scientific article; zbMATH DE number 7533353 (Why is no real title available?) | 2022-05-28 | Paper |
| Specification and optimal reactive synthesis of run-time enforcement shields | 2022-01-06 | Paper |
| Logics meet 1-clock alternating timed automata | 2021-08-04 | Paper |
scientific article; zbMATH DE number 7269244 (Why is no real title available?)
(available as arXiv preprint) | 2020-11-03 | Paper |
| scientific article; zbMATH DE number 7269244 (Why is no real title available?) | 2020-11-03 | Paper |
Making Metric Temporal Logic Rational
(available as arXiv preprint) | 2020-05-26 | Paper |
Formalizing timing diagram requirements in discrete duration calculus
Software Engineering and Formal Methods | 2019-09-16 | Paper |
Two-variable logic with a between relation
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Metric temporal logic with counting
Lecture Notes in Computer Science | 2016-06-10 | Paper |
On Unary Fragments of MTL and TPTL over Timed Words
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Deterministic logics for UL
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
| Finding extremal models of discrete duration calculus formulae using symbolic search | 2013-09-26 | Paper |
Interval duration logic: expressiveness and decidability
Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
Chop expressions and discrete duration calculus
Modern Applications of Automata Theory | 2013-02-26 | Paper |
An introduction to timed automata
Modern Applications of Automata Theory | 2013-02-26 | Paper |
The unary fragments of metric interval temporal logic: bounded versus lower bound constraints
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}\) using temporal projections]
Lecture Notes in Computer Science | 2011-10-07 | Paper |
On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Unambiguity in Timed Regular Languages: Automata and Logics
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Around dot depth two
Developments in Language Theory | 2010-08-31 | Paper |
All those duration calculi: an integrated approach
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems | 2010-06-02 | Paper |
Digitizing interval duration logic.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
| A sampling approach to the analysis of metric temporal logic | 2009-07-27 | Paper |
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
Lecture Notes in Computer Science | 2008-12-02 | Paper |
A Dose of Timed Logic, in Guarded Measure
Lecture Notes in Computer Science | 2008-07-08 | Paper |
On Sampling Abstraction of Continuous Time Logic with Durations
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 2077124 (Why is no real title available?) | 2004-07-01 | Paper |
| scientific article; zbMATH DE number 1705170 (Why is no real title available?) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 1302029 (Why is no real title available?) | 2000-01-12 | Paper |
Finite divergence
Theoretical Computer Science | 1997-02-28 | Paper |
Infinitary parallelism without unbounded nondeterminism in CSP
Acta Informatica | 1994-06-02 | Paper |
P-A logic - a compositional proof system for distributed programs
Distributed Computing | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4041318 (Why is no real title available?) | 1986-01-01 | Paper |
