Jennifer A. Davis

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

Collaborative distances:

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

2023

Assuring Learning-Enabled Increasingly Autonomous Systems^*.

Nandith Narayan, Parth Ganeriwala, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer A. Davis, Hemant Purohit, Simone Fulvio Rollini

Proceedings of the IEEE International Systems Conference, 2023

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

2021

Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study.

Siddhartha Bhattacharyya, Jennifer A. Davis, Anubhav Gupta, Nandith Narayan, Michael Matessa

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

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