D. Cofer
发表
V. Garg,
D. Cofer,
1996,
IEEE Trans. Autom. Control..
Radu Marculescu,
Lui Sha,
Kang G. Shin,
2012,
ICCPS.
Mats Per Erik Heimdahl,
Darren D. Cofer,
Michael W. Whalen,
2021,
SAFECOMP.
Michael W. Whalen,
Darren Cofer,
Steven P. Miller,
2011
.
Darren D. Cofer,
Michael W. Whalen,
Steven P. Miller,
2008,
ERCIM News.
Robby,
J. Hatcliff,
D. Cofer,
2022,
J. Syst. Archit..
S. Bhattacharyya,
D. Cofer,
D. Musliner,
2015,
2015 International Conference on Unmanned Aircraft Systems (ICUAS).
Konrad Slind,
Darren D. Cofer,
John D. Backes,
2014,
HILT '14.
Gernot Heiser,
Michael W. Whalen,
Gerwin Klein,
2017
.
D. Cofer,
M. Whalen,
S. Miller,
2010,
Commun. ACM.
Darren D. Cofer,
D. Cofer,
2010,
SPIN.
Darren D. Cofer,
Amar Bouali,
Samar Dajani-Brown,
2004,
FORMATS/FTRTFT.
Darren D. Cofer,
Samar Dajani-Brown,
Gary Hartmann,
2003,
SPIN.
Murali Rangarajan,
Darren D. Cofer,
D. Cofer,
2002,
EMSOFT.
Sanjai Rayadurgam,
Darren D. Cofer,
Vaibhav Sharma,
2019,
2019 IEEE International Conference On Artificial Intelligence Testing (AITest).
Gernot Heiser,
Darren D. Cofer,
Michael W. Whalen,
2018,
Computer.
Darren Cofer,
Steven P. Miller,
D. Cofer,
2014
.
Darren D. Cofer,
Michael W. Whalen,
John D. Backes,
2015,
NFM.
Sanjai Rayadurgam,
Michael W. Whalen,
Mats P. E. Heimdahl,
2013,
IEEE Software.
Sanjai Rayadurgam,
Darren D. Cofer,
Eric Smith,
2020,
NFM.
Sanjai Rayadurgam,
Taejoon Byun,
Isaac Amundson,
2020,
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC).
Darren D. Cofer,
Mark Lawford,
John Hatcliff,
2013,
Dagstuhl Reports.
Jing Liu,
Darren D. Cofer,
John D. Backes,
2016,
NFM.
Mats Per Erik Heimdahl,
Darren D. Cofer,
Michael W. Whalen,
2021,
Reliab. Eng. Syst. Saf..
Darren D. Cofer,
Matthew A. Clark,
Steven P. Miller,
2013,
FMICS.
Xiaokang Qiu,
Steven P. Miller,
Lui Sha,
2009,
2009 30th IEEE Real-Time Systems Symposium.
Darren D. Cofer,
Michael W. Whalen,
Steven P. Miller,
2010,
Commun. ACM.
D. Cofer,
Junaid Babar,
Eric Mercer,
2022,
NFM.