Peter C. Fontana

According to our database1, Peter C. Fontana authored at least 11 papers between 2011 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Timed Automata Benchmark Description.
CoRR, 2020

2017
Corrections to "A Menagerie of Timed Automata".
ACM Comput. Surv., 2017

2016
A new data science research program: evaluation, metrology, standards, and community outreach.
Int. J. Data Sci. Anal., 2016

Evaluation-driven research in data science: Leveraging cross-field methodologies.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016

2015
The NIST data science initiative.
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.
Proceedings of the 2015 IEEE International Conference on Big Data, 2015

2014
Towards a Unified Theory of Timed Automata.
PhD thesis, 2014

A menagerie of timed automata.
ACM Comput. Surv., 2014

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

The Power of Proofs: New Algorithms for Timed Automata Model Checking.
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.
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011


  Loading...