4 citations · 7 across the 4 of their papers we have counts for
4 papers
Expressiveness Results for Timed Modal Mu-Calculi
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (…
Timed Automata Benchmark Description
Peter Fontana, Rance Cleaveland
This report contains the descriptions of the timed automata (models) and the properties (specifications) that are used as the "benchmark examples in Data structure choices for on-t…
Corrections to A Menagerie of Timed Automata
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent location…
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix)
Peter Fontana, Rance Cleaveland
This paper presents the first model-checking algorithm for an expressive modal mu-calculus over timed automata, , and reports performance resul…