Darren D. Cofer

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 20

Top Topics

Systems Engineering

Top Venues

Publications

Cong Liu, Darren D. Cofer, Denis Osipychev
Verifying an Aircraft Collision Avoidance Neural Network with Marabou. NFM (2023)
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. 22 (5) (2023)
Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer
Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment. AISoLA (2023)
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, Konrad Slind, Ihor Kuz, Kent McLeod
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134 (2023)
Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
Assume-Guarantee Reasoning with Scheduled Components. NFM (2022)
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
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20 (3) (2022)
Danielle Stewart, Jing Liu, Darren D. Cofer, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson
AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. 213 (2021)
Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer
Composition of Fault Forests. SAFECOMP (2021)
Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS (2021)
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Manifold-based Test Generation for Image Classifiers. CoRR (2020)
Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam
Run-Time Assurance for Learning-Enabled Systems. NFM (2020)
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Manifold-based Test Generation for Image Classifiers. AITest (2020)
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Input Prioritization for Testing Neural Networks. CoRR (2019)
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Input Prioritization for Testing Neural Networks. AITest (2019)
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
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51 (11) (2018)
Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl
Architectural Modeling and Analysis for Safety Engineering. IMBSA (2017)
Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind
Qualification of a Model Checker for Avionics Software Verification. NFM (2017)
Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek
From Design Contracts to Component Requirements Verification. CoRR (2016)
Michael W. Whalen, Darren D. Cofer, Andrew Gacek
Requirements and Architectures for Secure Vehicles. IEEE Softw. 33 (4) (2016)
Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek
From Design Contracts to Component Requirements Verification. NFM (2016)
John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen
Requirements Analysis of a Quad-Redundant Flight Control System. NFM (2015)
Darren D. Cofer, Gerwin Klein, Konrad Slind, Virginie Wiels
Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). Dagstuhl Reports 5 (4) (2015)
Darren D. Cofer
You keep using that word. ACM SIGLOG News 2 (4) (2015)
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
Towards Realizability Checking of Contracts using Theories. CoRR (2015)
John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen
Requirements Analysis of a Quad-Redundant Flight Control System. CoRR (2015)
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
Towards Realizability Checking of Contracts Using Theories. NFM (2015)
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
Resolute: an assurance case language for architecture models. HILT (2014)
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
Resolute: An Assurance Case Language for Architecture Models. CoRR (2014)
Darren D. Cofer, Steven P. Miller
DO-333 Certification Case Studies. NASA Formal Methods (2014)
Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan, Mats Per Erik Heimdahl, Sanjai Rayadurgam
Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. 30 (2) (2013)
Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3 (1) (2013)
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)
Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. ICCPS (2012)
Darren D. Cofer
Formal Methods in the Aerospace Industry: Follow the Money. ICFEM (2012)
Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha
Compositional Verification of Architectural Models. NASA Formal Methods (2012)
Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. 76 (2) (2011)
Steven P. Miller, Michael W. Whalen, Darren D. Cofer
Software model checking takes off. Commun. ACM 53 (2) (2010)
Darren D. Cofer
Model Checking: Cleared for Take Off. SPIN (2010)
Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS (2009)
Darren D. Cofer, Michael W. Whalen, Steven P. Miller
Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008 (75) (2008)
Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. SEKE (2007)
Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm
Integration of Formal Analysis into a Model-Based Software Development Process. FMICS (2007)
Murali Rangarajan, Darren D. Cofer
Computing Worst-Case Response Times in Real-Time Avionics Applications. FMICS (2007)
Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE (2004)
Samar Dajani-Brown, Darren D. Cofer, Amar Bouali
Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT (2004)
Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer
Analysis of Distributed Spin Applied to Industrial-Scale Models. SPIN (2004)
Tariq Samad, Darren D. Cofer, Vu Ha, Pam Binns
High-confidence control: Ensuring reliability in high-performance real-time systems. Int. J. Intell. Syst. 19 (4) (2004)
Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. SPIN (2003)
Darren D. Cofer, Murali Rangarajan
Simulation and verification II: event-triggered environments for verification of real-time systems. WSC (2003)
Darren D. Cofer, Murali Rangarajan
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. EMSOFT (2002)
Darren D. Cofer, Murali Rangarajan
Formal Verification of Overhead Accounting in an Avionics RTOS. RTSS (2002)
Murali Rangarajan, Darren D. Cofer
Model-Checking Complex Software - A Memory Perspective. RISSEF (2002)
Mukul Agrawal, Darren D. Cofer, Tariq Samad
Real-time adaptive resource management for multi-model control. ACC (2001)
Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
Applications of Model Checking at Honeywell Laboratories. SPIN (2001)
Nicholas Weininger, Darren D. Cofer
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. SPIN (2000)
Darren D. Cofer, Vijay K. Garg
Supervisory control of real-time discrete-event systems using lattice theory. IEEE Trans. Autom. Control. 41 (2) (1996)
Darren D. Cofer
Reliable Implementation of Hybrid Control Systems for Advanced Avionics. Hybrid Systems (1996)
Darren D. Cofer, Vijay K. Garg
On Controlling Timed Discrete Event Systems. Hybrid Systems (1995)