On Controlling Timed Discrete Event Systems. - Darren D. Cofer; Vijay K. Garg (Hybrid Systems, 1995)

Reliable Implementation of Hybrid Control Systems for Advanced Avionics. - Darren D. Cofer (Hybrid Systems, 1996)

Supervisory control of real-time discrete-event systems using lattice theory. - Darren D. Cofer; Vijay K. Garg (IEEE Trans. Autom. Control., 1996)

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. - Nicholas Weininger; Darren D. Cofer (SPIN, 2000)

Real-time adaptive resource management for multi-model control. - Mukul Agrawal; Darren D. Cofer; Tariq Samad (ACC, 2001)

Applications of Model Checking at Honeywell Laboratories. - Darren D. Cofer; Eric Engstrom; Robert P. Goldman; David J. Musliner; Steve Vestal (SPIN, 2001)

Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. - Darren D. Cofer; Murali Rangarajan (EMSOFT, 2002)

Model-Checking Complex Software - A Memory Perspective. - Murali Rangarajan; Darren D. Cofer (RISSEF, 2002)

Formal Verification of Overhead Accounting in an Avionics RTOS. - Darren D. Cofer; Murali Rangarajan (RTSS, 2002)

Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. - Samar Dajani-Brown; Darren D. Cofer; Gary Hartmann; Steve Pratt (SPIN, 2003)

Simulation and verification II: event-triggered environments for verification of real-time systems. - Darren D. Cofer; Murali Rangarajan (WSC, 2003)

Formal Verification of an Avionics Sensor Voter Using SCADE. - Samar Dajani-Brown; Darren D. Cofer; Amar Bouali (FORMATS/FTRTFT, 2004)

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 (ICSE, 2004)

Analysis of Distributed Spin Applied to Industrial-Scale Models. - Murali Rangarajan; Samar Dajani-Brown; Kirk Schloegel; Darren D. Cofer (SPIN, 2004)

High-confidence control: Ensuring reliability in high-performance real-time systems. - Tariq Samad; Darren D. Cofer; Vu Ha; Pam Binns (Int. J. Intell. Syst., 2004)

Computing Worst-Case Response Times in Real-Time Avionics Applications. - Murali Rangarajan; Darren D. Cofer (FMICS, 2007)

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 (FMICS, 2007)

A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. - Changyan Zhou; Ratnesh Kumar 001; Devesh Bhatt; Kirk Schloegel; Darren D. Cofer (SEKE, 2007)

Model-Checking of Safety-Critical Software for Avionics. - Darren D. Cofer; Michael W. Whalen; Steven P. Miller (ERCIM News, 2008)

A Formal Architecture Pattern for Real-Time Distributed Systems. - Abdullah Al-Nayeem; Mu Sun; Xiaokang Qiu; Lui Sha; Steven P. Miller; Darren D. Cofer (RTSS, 2009)

Model Checking: Cleared for Take Off. - Darren D. Cofer (SPIN, 2010)

Software model checking takes off. - Steven P. Miller; Michael W. Whalen; Darren D. Cofer (Commun. ACM, 2010)

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). - Darren D. Cofer; Alessandro Fantechi; Stefan Leue; Pedro Merino 001 (Sci. Comput. Program., 2011)

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. - Abdullah Al-Nayeem; Lui Sha; Darren D. Cofer; Steven P. Miller (ICCPS, 2012)

Formal Methods in the Aerospace Industry: Follow the Money. - Darren D. Cofer (ICFEM, 2012)

Compositional Verification of Architectural Models. - Darren D. Cofer; Andrew Gacek; Steven P. Miller; Michael W. Whalen; Brian LaValley; Lui Sha (NASA Formal Methods, 2012)

Study on the Barriers to the Industrial Adoption of Formal Methods. - Jennifer A. Davis; Matthew A. Clark 001; Darren D. Cofer; Aaron Fifarek; Jacob Hinchman; Jonathan A. Hoffman; Brian W. Hulbert; Steven P. Miller; Lucas G. Wagner (FMICS, 2013)

Software Certification: Methods and Tools (Dagstuhl Seminar 13051). - Darren D. Cofer; John Hatcliff; Michaela Huhn; Mark Lawford (Dagstuhl Reports, 2013)

Your "What" Is My "How": Iteration and Hierarchy in System Design. - Michael W. Whalen; Andrew Gacek; Darren D. Cofer; Anitha Murugesan; Mats Per Erik Heimdahl; Sanjai Rayadurgam (IEEE Softw., 2013)

DO-333 Certification Case Studies. - Darren D. Cofer; Steven P. Miller (NASA Formal Methods, 2014)

Resolute: an assurance case language for architecture models. - Andrew Gacek; John Backes; Darren D. Cofer; Konrad Slind; Mike Whalen (HILT, 2014)

Requirements Analysis of a Quad-Redundant Flight Control System. - John Backes; Darren D. Cofer; Steven P. Miller; Michael W. Whalen (NFM, 2015)

Towards Realizability Checking of Contracts Using Theories. - Andrew Gacek; Andreas Katis; Michael W. Whalen; John Backes; Darren D. Cofer (NFM, 2015)

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). - Darren D. Cofer; Gerwin Klein; Konrad Slind; Virginie Wiels (Dagstuhl Reports, 2015)

You keep using that word. - Darren D. Cofer (ACM SIGLOG News, 2015)

From Design Contracts to Component Requirements Verification. - Jing Liu; John D. Backes; Darren D. Cofer; Andrew Gacek (NFM, 2016)

Requirements and Architectures for Secure Vehicles. - Michael W. Whalen; Darren D. Cofer; Andrew Gacek (IEEE Softw., 2016)

Architectural Modeling and Analysis for Safety Engineering. - Danielle Stewart; Michael W. Whalen; Darren D. Cofer; Mats Per Erik Heimdahl (IMBSA, 2017)

Qualification of a Model Checker for Avionics Software Verification. - Lucas G. Wagner; Alain Mebsout; Cesare Tinelli; Darren D. Cofer; Konrad Slind (NFM, 2017)

A Formal Approach to Constructing Secure Air Vehicle Software. - Darren D. Cofer; Andrew Gacek; John Backes; Michael W. Whalen; Lee Pike; Adam Foltzer; Michal Podhradsky; Gerwin Klein; Ihor Kuz; June Andronick; Gernot Heiser; Douglas Stuart (Computer, 2018)

Input Prioritization for Testing Neural Networks. - Taejoon Byun; Vaibhav Sharma 001; Abhishek Vijayakumar; Sanjai Rayadurgam; Darren D. Cofer (AITest, 2019)

Manifold-based Test Generation for Image Classifiers. - Taejoon Byun; Abhishek Vijayakumar; Sanjai Rayadurgam; Darren D. Cofer (AITest, 2020)

Run-Time Assurance for Learning-Enabled Systems. - Darren D. Cofer; Isaac Amundson; Ramachandra Sattigeri; Arjun Passi; Christopher Boggs; Eric Smith; Limei Gilham; Taejoon Byun; Sanjai Rayadurgam (NFM, 2020)

Composition of Fault Forests. - Danielle Stewart; Michael W. Whalen; Mats Per Erik Heimdahl; Jing Liu; Darren D. Cofer (SAFECOMP, 2021)

AADL-Based safety analysis using formal methods applied to aircraft digital systems. - Danielle Stewart; Jing Liu; Darren D. Cofer; Mats Per Erik Heimdahl; Michael W. Whalen; Michael Peterson (Reliab. Eng. Syst. Saf., 2021)

Assume-Guarantee Reasoning with Scheduled Components. - Cong Liu; Junaid Babar; Isaac Amundson; Karl Hoech; Darren D. Cofer; Eric Mercer (NFM, 2022)

Cyberassured Systems Engineering at Scale. - Darren D. Cofer; Isaac Amundson; Junaid Babar; David S. Hardin; Konrad Slind; Perry Alexander; John Hatcliff; Robby; Gerwin Klein; Corey Lewis; Eric Mercer; John Shackleton (IEEE Secur. Priv., 2022)

Verifying an Aircraft Collision Avoidance Neural Network with Marabou. - Cong Liu; Darren D. Cofer; Denis Osipychev (NFM, 2023)

Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. - Dmitrii Kirov; Simone Fulvio Rollini; Luigi Di Guglielmo; Darren D. Cofer (AISoLA, 2023)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)

Synthesizing verified components for cyber assured systems engineering. - Eric Mercer; Konrad Slind; Isaac Amundson; Darren D. Cofer; Junaid Babar; David S. Hardin (Softw. Syst. Model., 2023)

Towards Explainable Compositional Reasoning. - Isaac Amundson; Amer Tahat; David S. Hardin; Darren D. Cofer (ERSA@RTSS, 2024)