A formal approach to constructing secure air vehicle software D Cofer, A Gacek, J Backes, MW Whalen, L Pike, A Foltzer, M Podhradsky, ... Computer 51 (11), 14-23, 2018 | 36 | 2018 |
A formal architecture pattern for real-time distributed systems A Al-Nayeem, M Sun, X Qiu, L Sha, SP Miller, DD Cofer 2009 30th IEEE Real-Time Systems Symposium, 161-170, 2009 | 42 | 2009 |
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. C Zhou, R Kumar, D Bhatt, K Schloegel, DD Cofer SEKE, 179-184, 2007 | 2 | 2007 |
A generalized max-algebra model for performance analysis of timed and untimed discrete event systems DD Cofer, VK Garg 1993 American Control Conference, 2288-2292, 1993 | 20 | 1993 |
A max-algebra solution to the supervisory control problem for real-time discrete event systems DD Cofer, VK Garg 11th International Conference on Analysis and Optimization of Systems …, 2005 | 14 | 2005 |
A timed model for the control of discrete event systems involving decisions in the max/plus algebra DD Cofer, VK Garg [1992] Proceedings of the 31st IEEE Conference on Decision and Control, 3363 …, 1992 | 42 | 1992 |
A two-level logic approach to reasoning about computations A Gacek, D Miller, G Nadathur, DD Cofer, A Gacek, SP Miller, A Gacek, ... J. of Automated Reasoning, 2010 | 2 | 2010 |
AADL-Based safety analysis using formal methods applied to aircraft digital systems D Stewart, JJ Liu, D Cofer, M Heimdahl, MW Whalen, M Peterson Reliability Engineering & System Safety 213, 107649, 2021 | 31 | 2021 |
Active multi-models and software enabled control for unmanned aerial vehicles W Koenig, D Cofer, D Godbole, T Samad Proceedings of the Association of Unmanned Vehicle Systems International, 1999 | 7 | 1999 |
Adaptive scheduler for anytime tasks D Cofer, J Shackleton, M Agrawal, N Birch US Patent App. 10/903,144, 2005 | 43 | 2005 |
Affordable implementation of reliable avionics systems DD Cofer Proceedings of the 36th IEEE Conference on Decision and Control 3, 2423-2428, 1997 | 2 | 1997 |
Also in This Issue C Deutschbein, A Meza, F Restuccia, M Gregoire, R Kastner, C Sturton, ... | | 2022 |
An excerpt from ERCIM News# 75 D Cofer, M Whalen, S Miller | | |
Analysis of distributed spin applied to industrial-scale models M Rangarajan, S Dajani-Brown, K Schloegel, D Cofer International SPIN Workshop on Model Checking of Software, 267-285, 2004 | 16 | 2004 |
Anytime scheduling for real-time embedded control applications J Shackleton, D Cofer, S Cooper The 23rd Digital Avionics Systems Conference (IEEE Cat. No. 04CH37576) 2, 10 …, 2004 | 7 | 2004 |
Applications of model checking at Honeywell Laboratories D Cofer, E Engstrom, R Goldman, D Musliner, S Vestal International SPIN Workshop on Model Checking of Software, 296-303, 2001 | 10 | 2001 |
Architectural modeling and analysis for safety engineering D Stewart, MW Whalen, D Cofer, MPE Heimdahl Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017 | 29 | 2017 |
Architectural Modeling and Analysis for Safety Engineering (AMASE) Final Report TO NNL16AB07T, D Cofer, MS Jensen | | 2019 |
Assume-guarantee reasoning with scheduled components C Liu, J Babar, I Amundson, K Hoech, D Cofer, E Mercer NASA Formal Methods Symposium, 355-372, 2022 | 3 | 2022 |
Automated configuration of communications for an ordered collection of devices DD Cofer US Patent 6,424,874, 2002 | 52 | 2002 |