Jennifer A. Davis

According to our database, Jennifer A. Davis authored at least 6 papers between 1999 and 2022.

Collaborative distances:

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

2022

A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A.

David A. Greve, Jennifer A. Davis, Laura R. Humphrey

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2019

When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol.

Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.

Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2014

Development of a Translator from LLVM to ACL2.

David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2013

Study on the Barriers to the Industrial Adoption of Formal Methods.

Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

1999

Determination of operating room requirements using simulation.

Julie C. Lowery, Jennifer A. Davis

Proceedings of the 31st conference on Winter simulation: Simulation, 1999