4 citations · 7 across the 4 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2020
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…
cs.FL2016★ 2 cited
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…
cs.FL2014★ 4 cited
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…