29 citations · 40 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
Better Automata through Process Algebra
Rance Cleaveland
This paper shows how the use of Structural Operational Semantics (SOS) in the style popularized by the process-algebra community can lead to a more succinct and useful construction…
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…