Jennifer A. Davis

11 papers C 1Misc 1Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Design and Validation of Learning Aware HMI For Learning-Enabled Increasingly Autonomous Systems.
CoRR
Parth Ganeriwala, Michael Matessa, Siddhartha Bhattacharyya, Randolph M. Jones, Jennifer A. Davis, Parneet Kaur, Simone Fulvio Rollini, Natasha A. Neogi
2025 — conf
Design and Validation of Learning Aware HMI for Learning-Enabled Increasingly Autonomous Systems.
SysCon
Parth Ganeriwala, Michael Matessa, Siddhartha Bhattacharyya, Randolph M. Jones, Jennifer A. Davis, Parneet Kaur, Simone Fulvio Rollini, Natasha A. Neogi
2025 J jnl
Systems Engineering With Architecture Modeling, Formal Verification, and Human Interactions for Learning-Enabled Autonomous Agent.
Syst. Eng.
Parth Ganeriwala, Nandith Narayan, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer A. Davis, Simone Fulvio Rollini, Hemant Purohit, Natasha A. Neogi
2023 — conf
Assuring Learning-Enabled Increasingly Autonomous Systems
SysCon
Nandith Narayan, Parth Ganeriwala, Randolph M. Jones, Michael Matessa, Siddhartha Bhattacharyya, Jennifer A. Davis, Hemant Purohit, Simone Fulvio Rollini
2022 — conf
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A.
ACL2
David A. Greve, Jennifer A. Davis, Laura R. Humphrey
2021 — conf
Assuring Increasingly Autonomous Systems in Human-Machine Teams: An Urban Air Mobility Case Study.
FMAS
Siddhartha Bhattacharyya, Jennifer A. Davis, Anubhav Gupta, Nandith Narayan, Michael Matessa
2019 — conf
When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-agent Protocol.
CAV (1)
Jennifer A. Davis, Laura R. Humphrey, Derek B. Kingston
2017 — conf
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.
NFM
Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, Jennifer A. Davis
2014 — conf
Development of a Translator from LLVM to ACL2.
ACL2
David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg
2013 C conf
Study on the Barriers to the Industrial Adoption of Formal Methods.
FMICS
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
1999 Misc conf
Determination of operating room requirements using simulation.
WSC
Julie C. Lowery, Jennifer A. Davis