Darren D. Cofer

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