Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Characteristic Formulae for Timed Automata

Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen

RAIRO-Theor. Inf. Appl., 34 6 (2000) 565-584

Published online: 2002-04-15

DOI: https://doi.org/10.1051/ita:2000131

This article has been cited by the following article(s):

Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice

Johan Arcile and Étienne André
ACM Computing Surveys 55 (6) 1 (2023)
https://doi.org/10.1145/3534967

Models, Algorithms, Logics and Tools

Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine and James Worrell
Lecture Notes in Computer Science, Models, Algorithms, Logics and Tools 10460 211 (2017)
https://doi.org/10.1007/978-3-319-63121-9_11

On characteristic formulae for Event-Recording Automata

Omer Landry Nguena Timo and Pierre-Alain Reynier
RAIRO - Theoretical Informatics and Applications 47 (1) 69 (2013)
https://doi.org/10.1051/ita/2012029

Characteristic formulae for fixed-point semantics: a general framework

LUCA ACETO, ANNA INGOLFSDOTTIR, PAUL BLAIN LEVY and JOSHUA SACK
Mathematical Structures in Computer Science 22 (2) 125 (2012)
https://doi.org/10.1017/S0960129511000375

Timed Modal Logics for Real-Time Systems

Patricia Bouyer, Franck Cassez and François Laroussinie
Journal of Logic, Language and Information 20 (2) 169 (2011)
https://doi.org/10.1007/s10849-010-9127-4

Characteristic Formulae for Fixed-Point Semantics: A General Framework

Luca Aceto, Anna Ingolfsdottir and Joshua Sack
Electronic Proceedings in Theoretical Computer Science 8 1 (2009)
https://doi.org/10.4204/EPTCS.8.1

Non-Interference Control Synthesis for Security Timed Automata

Guillaume Gardey, John Mullins and Olivier H. Roux
Electronic Notes in Theoretical Computer Science 180 (1) 35 (2007)
https://doi.org/10.1016/j.entcs.2005.05.046

Formal Modeling and Analysis of Timed Systems

Farn Wang
Lecture Notes in Computer Science, Formal Modeling and Analysis of Timed Systems 4763 352 (2007)
https://doi.org/10.1007/978-3-540-75454-1_25

Bisimulation on speed: Lower time bounds

Gerald Lüttgen and Walter Vogler
RAIRO - Theoretical Informatics and Applications 39 (3) 587 (2005)
https://doi.org/10.1051/ita:2005030

Foundations of Software Science and Computation Structures

Gerald Lüttgen and Walter Vogler
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 2987 333 (2004)
https://doi.org/10.1007/978-3-540-24727-2_24

Is your model checker on time? On the complexity of model checking for timed modal logics

Luca Aceto and François Laroussinie
The Journal of Logic and Algebraic Programming 52-53 7 (2002)
https://doi.org/10.1016/S1567-8326(02)00022-X