Theoretical Computer Science
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Expressive completeness of duration calculus
Information and Computation - Special issue on EXPRESS 1997
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
The Regular Real-Time Languages
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Automata, Circuits, and Hybrids: Facets of Continuous Time
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Expressiveness of metric modalities for continuous time
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
A dose of timed logic, in guarded measure
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
An expressive temporal logic for real time
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Continuous time temporal logic with counting
Information and Computation
Logics for Real Time: Decidability and Complexity
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
| Hi-index | 0.00 |
We propose a framework for defining decidable temporal logics. It is strong enough to define in it all the decidable temporal logics that we found in the literature. We use as semantics the standard model of the positive real line and we use robust logical notions and techniques.