Peter Fontana

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 4

Top Topics

Pspace Complete

Reachability Analysis

Top Venues

ACM Comput. Surv.

Publications

Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
Expressiveness Results for Timed Modal Mu-Calculi. CoRR (2023)
Peter Fontana, Rance Cleaveland
Timed Automata Benchmark Description. CoRR (2020)
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
Corrections to "A Menagerie of Timed Automata". ACM Comput. Surv. 50 (3) (2017)
Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland
Corrections to A Menagerie of Timed Automata. CoRR (2016)
Peter Fontana, Rance Cleaveland
The Power of Proofs: New Algorithms for Timed Automata Model Checking. FORMATS (2014)
Peter Fontana, Rance Cleaveland
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix). CoRR (2014)
Peter Fontana, Rance Cleaveland
A menagerie of timed automata. ACM Comput. Surv. 46 (3) (2014)
Peter Fontana, Rance Cleaveland
Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems. DIFTS@FMCAD (2011)