Jennifer A. Davis

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 3

Top Topics

Development Environment

Surveillance System

Formal Specification

Top Venues

Publications

David A. Greve, Jennifer A. Davis, Laura R. Humphrey
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A. ACL2 (2022)
Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston
When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol. CAV (1) (2019)
Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. NFM (2017)
David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg
Development of a Translator from LLVM to ACL2. ACL2 (2014)
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
Study on the Barriers to the Industrial Adoption of Formal Methods. FMICS (2013)
Julie C. Lowery, Jennifer A. Davis
Determination of operating room requirements using simulation. WSC (1999)