default search action
Darren D. Cofer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j12]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: 102789 (2023) - [j11]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): 1451-1471 (2023) - [c37]Cong Liu, Darren D. Cofer, Denis Osipychev:
Verifying an Aircraft Collision Avoidance Neural Network with Marabou. NFM 2023: 79-85 - [c36]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: 225-240 - 2022
- [j10]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): 52-64 (2022) - [c35]Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer:
Assume-Guarantee Reasoning with Scheduled Components. NFM 2022: 355-372 - 2021
- [j9]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: 107649 (2021) - [c34]Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin:
Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS 2021: 205-215 - [c33]Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer:
Composition of Fault Forests. SAFECOMP 2021: 258-275 - 2020
- [c32]Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Manifold-based Test Generation for Image Classifiers. AITest 2020: 15-22 - [c31]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: 361-368 - [i9]Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Manifold-based Test Generation for Image Classifiers. CoRR abs/2002.06337 (2020)
2010 – 2019
- 2019
- [c30]Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. AITest 2019: 63-70 - [i8]Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer:
Input Prioritization for Testing Neural Networks. CoRR abs/1901.03768 (2019) - 2018
- [j8]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): 14-23 (2018) - 2017
- [c29]Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
Architectural Modeling and Analysis for Safety Engineering. IMBSA 2017: 97-111 - [c28]Lucas G. Wagner, Alain Mebsout, Cesare Tinelli, Darren D. Cofer, Konrad Slind:
Qualification of a Model Checker for Avionics Software Verification. NFM 2017: 404-419 - 2016
- [j7]Michael W. Whalen, Darren D. Cofer, Andrew Gacek:
Requirements and Architectures for Secure Vehicles. IEEE Softw. 33(4): 22-25 (2016) - [c27]Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek:
From Design Contracts to Component Requirements Verification. NFM 2016: 373-387 - [i7]Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek:
From Design Contracts to Component Requirements Verification. CoRR abs/1603.02130 (2016) - 2015
- [j6]Darren D. Cofer:
You keep using that word. ACM SIGLOG News 2(4): 17-25 (2015) - [c26]John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen:
Requirements Analysis of a Quad-Redundant Flight Control System. NFM 2015: 82-96 - [c25]Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer:
Towards Realizability Checking of Contracts Using Theories. NFM 2015: 173-187 - [i6]Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer:
Towards Realizability Checking of Contracts using Theories. CoRR abs/1502.03005 (2015) - [i5]John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen:
Requirements Analysis of a Quad-Redundant Flight Control System. CoRR abs/1502.03343 (2015) - [i4]Darren D. Cofer, Gerwin Klein, Konrad Slind, Virginie Wiels:
Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). Dagstuhl Reports 5(4): 142-159 (2015) - 2014
- [c24]Darren D. Cofer, Steven P. Miller:
DO-333 Certification Case Studies. NASA Formal Methods 2014: 1-15 - [c23]Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: an assurance case language for architecture models. HILT 2014: 19-28 - [i3]Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: An Assurance Case Language for Architecture Models. CoRR abs/1409.4629 (2014) - 2013
- [j5]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): 54-60 (2013) - [c22]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: 63-77 - [i2]Darren D. Cofer, John Hatcliff, Michaela Huhn, Mark Lawford:
Software Certification: Methods and Tools (Dagstuhl Seminar 13051). Dagstuhl Reports 3(1): 111-148 (2013) - 2012
- [c21]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: 65-74 - [c20]Darren D. Cofer:
Formal Methods in the Aerospace Industry: Follow the Money. ICFEM 2012: 2-3 - [c19]Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha:
Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140 - 2011
- [j4]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): 63-64 (2011) - 2010
- [j3]Steven P. Miller, Michael W. Whalen, Darren D. Cofer:
Software model checking takes off. Commun. ACM 53(2): 58-64 (2010) - [c18]Darren D. Cofer:
Model Checking: Cleared for Take Off. SPIN 2010: 76-87
2000 – 2009
- 2009
- [c17]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: 161-170 - [e1]Darren D. Cofer, Alessandro Fantechi:
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5596, Springer 2009, ISBN 978-3-642-03239-4 [contents] - 2008
- [i1]Darren D. Cofer, Michael W. Whalen, Steven P. Miller:
Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008(75) (2008) - 2007
- [c16]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: 68-84 - [c15]Murali Rangarajan, Darren D. Cofer:
Computing Worst-Case Response Times in Real-Time Avionics Applications. FMICS 2007: 101-114 - [c14]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: 179-184 - 2004
- [j2]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): 315-326 (2004) - [c13]Samar Dajani-Brown, Darren D. Cofer, Amar Bouali:
Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT 2004: 5-20 - [c12]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: 304-313 - [c11]Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer:
Analysis of Distributed Spin Applied to Industrial-Scale Models. SPIN 2004: 267-285 - 2003
- [c10]Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt:
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. SPIN 2003: 34-48 - [c9]Darren D. Cofer, Murali Rangarajan:
Simulation and verification II: event-triggered environments for verification of real-time systems. WSC 2003: 915-922 - 2002
- [c8]Darren D. Cofer, Murali Rangarajan:
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. EMSOFT 2002: 138-152 - [c7]Murali Rangarajan, Darren D. Cofer:
Model-Checking Complex Software - A Memory Perspective. RISSEF 2002: 283-296 - [c6]Darren D. Cofer, Murali Rangarajan:
Formal Verification of Overhead Accounting in an Avionics RTOS. RTSS 2002: 181-190 - 2001
- [c5]Mukul Agrawal, Darren D. Cofer, Tariq Samad:
Real-time adaptive resource management for multi-model control. ACC 2001: 3451-3456 - [c4]Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal:
Applications of Model Checking at Honeywell Laboratories. SPIN 2001: 296-303 - 2000
- [c3]Nicholas Weininger, Darren D. Cofer:
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. SPIN 2000: 93-112
1990 – 1999
- 1996
- [j1]Darren D. Cofer, Vijay K. Garg:
Supervisory control of real-time discrete-event systems using lattice theory. IEEE Trans. Autom. Control. 41(2): 199-209 (1996) - [c2]Darren D. Cofer:
Reliable Implementation of Hybrid Control Systems for Advanced Avionics. Hybrid Systems 1996: 93-112 - 1995
- [c1]Darren D. Cofer, Vijay K. Garg:
On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349
Coauthor Index
aka: Mike Whalen
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint