| 2025 | VECoS | AGREE-Dog Copilot: A Neuro-Symbolic Approach to Enhanced Model-Based Systems Engineering. | Amer Tahat, Isaac Amundson, David S. Hardin, Darren D. Cofer |
| 2023 | VECoS | Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. | Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer |
| 2021 | MODELS | Synthesizing Verified Components for Cyber Assured Systems Engineering. | Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin |
| 2021 | SAFECOMP | Composition of Fault Forests. | Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer |
| 2013 | FMICS | 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 |
| 2012 | ICFEM | Formal Methods in the Aerospace Industry: Follow the Money. | Darren D. Cofer |
| 2009 | RTSS | A Formal Architecture Pattern for Real-Time Distributed Systems. | Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer |
| 2007 | FMICS | Computing Worst-Case Response Times in Real-Time Avionics Applications. | Murali Rangarajan, Darren D. Cofer |
| 2007 | FMICS | Integration of Formal Analysis into a Model-Based Software Development Process. | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm |
| 2007 | SEKE | A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. | Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer |
| 2004 | ICSE | Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. | Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rue, Bruno Dutertre |
| 2003 | WSC | Simulation and verification II: event-triggered environments for verification of real-time systems. | Darren D. Cofer, Murali Rangarajan |
| 2002 | EMSOFT | Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. | Darren D. Cofer, Murali Rangarajan |
| 2002 | RTSS | Formal Verification of Overhead Accounting in an Avionics RTOS. | Darren D. Cofer, Murali Rangarajan |