Darren D. Cofer

According to our database, Darren D. Cofer authored at least 51 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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., October, 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, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 2023

Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment.

Dmitrii Kirov, Simone Fulvio Rollini, Luigi Di Guglielmo, Darren D. Cofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Verifying an Aircraft Collision Avoidance Neural Network with Marabou.

Cong Liu, Darren D. Cofer, Denis Osipychev

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

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

Assume-Guarantee Reasoning with Scheduled Components.

Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

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

Composition of Fault Forests.

Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer

Proceedings of the Computer Safety, Reliability, and Security, 2021

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

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Manifold-based Test Generation for Image Classifiers.

Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Input Prioritization for Testing Neural Networks.

Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

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

2017

Qualification of a Model Checker for Avionics Software Verification.

Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Architectural Modeling and Analysis for Safety Engineering.

Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Requirements and Architectures for Secure Vehicles.

Michael W. Whalen, Darren D. Cofer, Andrew Gacek

IEEE Softw., 2016

From Design Contracts to Component Requirements Verification.

Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

You keep using that word.

Darren D. Cofer

ACM SIGLOG News, 2015

Qualification of Formal Methods Tools (Dagstuhl Seminar 15182).

Darren D. Cofer, Gerwin Klein, Konrad Slind, Virginie Wiels

Dagstuhl Reports, 2015

Towards Realizability Checking of Contracts Using Theories.

Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Requirements Analysis of a Quad-Redundant Flight Control System.

John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Resolute: an assurance case language for architecture models.

Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

DO-333 Certification Case Studies.

Darren D. Cofer, Steven P. Miller

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

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

Software Certification: Methods and Tools (Dagstuhl Seminar 13051).

Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford

Dagstuhl Reports, 2013

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

Compositional Verification of Architectural Models.

Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha

Proceedings of the NASA Formal Methods, 2012

Formal Methods in the Aerospace Industry: Follow the Money.

Darren D. Cofer

Proceedings of the Formal Methods and Software Engineering, 2012

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems.

Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011

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

Sci. Comput. Program., 2011

2010

Software model checking takes off.

Steven P. Miller, Michael W. Whalen, Darren D. Cofer

Commun. ACM, 2010

Model Checking: Cleared for Take Off.

Darren D. Cofer

Proceedings of the Model Checking Software, 2010

2009

A Formal Architecture Pattern for Real-Time Distributed Systems.

Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

2008

Model-Checking of Safety-Critical Software for Avionics.

Darren D. Cofer, Michael W. Whalen, Steven P. Miller

ERCIM News, 2008

2007

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

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 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

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Computing Worst-Case Response Times in Real-Time Avionics Applications.

Murali Rangarajan, Darren D. Cofer

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

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

Analysis of Distributed Spin Applied to Industrial-Scale Models.

Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer

Proceedings of the Model Checking Software, 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

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Formal Verification of an Avionics Sensor Voter Using SCADE.

Samar Dajani-Brown, Darren D. Cofer, Amar Bouali

Proceedings of the Formal Techniques, 2004

2003

Simulation and verification II: event-triggered environments for verification of real-time systems.

Darren D. Cofer, Murali Rangarajan

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.

Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt

Proceedings of the Model Checking Software, 2003

2002

Formal Verification of Overhead Accounting in an Avionics RTOS.

Darren D. Cofer, Murali Rangarajan

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Model-Checking Complex Software - A Memory Perspective.

Murali Rangarajan, Darren D. Cofer

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.

Darren D. Cofer, Murali Rangarajan

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Applications of Model Checking at Honeywell Laboratories.

Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal

Proceedings of the Model Checking Software, 2001

Real-time adaptive resource management for multi-model control.

Mukul Agrawal, Darren D. Cofer, Tariq Samad

Proceedings of the American Control Conference, 2001

2000

Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study.

Nicholas Weininger, Darren D. Cofer

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

1996

Supervisory control of real-time discrete-event systems using lattice theory.

Darren D. Cofer, Vijay K. Garg

IEEE Trans. Autom. Control., 1996

Reliable Implementation of Hybrid Control Systems for Advanced Avionics.

Darren D. Cofer

Proceedings of the Hybrid Systems IV, 1996

1995

On Controlling Timed Discrete Event Systems.

Darren D. Cofer, Vijay K. Garg

Proceedings of the Hybrid Systems III: Verification and Control, 1995