Peter C. Fontana

According to our database, Peter C. Fontana authored at least 13 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Expressive Timed Modal Mu-Calculus for Timed Automata.

Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023

Expressiveness Results for Timed Modal Mu-Calculi.

Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana

CoRR, 2023

2020

Timed Automata Benchmark Description.

Peter Fontana, Rance Cleaveland

CoRR, 2020

2017

Corrections to "A Menagerie of Timed Automata".

Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland

ACM Comput. Surv., 2017

2016

A new data science research program: evaluation, metrology, standards, and community outreach.

Bonnie J. Dorr, Craig S. Greenberg, Peter C. Fontana, Mark A. Przybocki, Marion Le Bras, Cathryn A. Ploehn, Oleg Aulov, Martial Michel, E. Jim Golden, Wo Chang

Int. J. Data Sci. Anal., 2016

Evaluation-driven research in data science: Leveraging cross-field methodologies.

Bonnie J. Dorr, Peter C. Fontana, Craig S. Greenberg, Marion Le Bras, Mark A. Przybocki

Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015

The NIST data science initiative.

Bonnie J. Dorr, Craig S. Greenberg, Peter C. Fontana, Mark A. Przybocki, Marion Le Bras, Cathryn A. Ploehn, Oleg Aulov, Martial Michel, E. Jim Golden, Wo Chang

Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

The NIST data science evaluation series: Part of the NIST information access division data science initiative.

Bonnie J. Dorr, Craig S. Greenberg, Peter C. Fontana, Mark A. Przybocki, Marion Le Bras, Cathryn A. Ploehn, Oleg Aulov, Wo Chang

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2014

Towards a Unified Theory of Timed Automata.

Peter Christopher Fontana

PhD thesis, 2014

A menagerie of timed automata.

Peter Fontana, Rance Cleaveland

ACM Comput. Surv., 2014

The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix).

Peter Fontana, Rance Cleaveland

CoRR, 2014

The Power of Proofs: New Algorithms for Timed Automata Model Checking.

Peter Fontana, Rance Cleaveland

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2011

Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems.

Peter Fontana, Rance Cleaveland

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011