Folgen
Darren Cofer
Darren Cofer
Rockwell Collins
Bestätigte E-Mail-Adresse bei ieee.org
Titel
Zitiert von
Zitiert von
Jahr
Software model checking takes off
SP Miller, MW Whalen, DD Cofer
Communications of the ACM 53 (2), 58-64, 2010
2062010
Compositional verification of architectural models
D Cofer, A Gacek, S Miller, MW Whalen, B LaValley, L Sha
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012
1682012
Method and apparatus for detecting objects
DD Cofer, RM Hamza, M Gierczak
US Patent 6,841,780, 2005
1342005
Method and apparatus for detecting objects using structured light patterns
DD Cofer, RM Hamza
US Patent 7,176,440, 2007
922007
Your" what" is my" how": Iteration and hierarchy in system design
MW Whalen, A Gacek, D Cofer, A Murugesan, MPE Heimdahl, ...
IEEE software 30 (2), 54-60, 2012
902012
Integration of formal analysis into a model-based software development process
M Whalen, D Cofer, S Miller, BH Krogh, W Storm
Formal Methods for Industrial Critical Systems: 12th International Workshop …, 2008
892008
Certification considerations for adaptive systems
S Bhattacharyya, D Cofer, D Musliner, J Mueller, E Engstrom
2015 International Conference on Unmanned Aircraft Systems (ICUAS), 270-279, 2015
842015
Supervisory control of real-time discrete-event systems using lattice theory
DD Cofer, VK Garg
IEEE Transactions on Automatic Control 41 (2), 199-209, 1996
841996
Object detection
DD Cofer, RM Hamza
US Patent 7,200,246, 2007
762007
Resolute: an assurance case language for architecture models
A Gacek, J Backes, D Cofer, K Slind, M Whalen
ACM SIGAda Ada Letters 34 (3), 19-28, 2014
752014
Input prioritization for testing neural networks
T Byun, V Sharma, A Vijayakumar, S Rayadurgam, D Cofer
2019 IEEE International Conference On Artificial Intelligence Testing …, 2019
692019
Implementing logical synchrony in integrated modular avionics
SP Miller, DD Cofer, L Sha, J Meseguer, A Al-Nayeem
2009 IEEE/AIAA 28th Digital Avionics Systems Conference, 1. A. 3-1-1. A. 3-12, 2009
642009
Machine safety system with mutual exclusion zone
DD Cofer
US Patent 7,768,549, 2010
602010
Study on the barriers to the industrial adoption of formal methods
JA Davis, M Clark, D Cofer, A Fifarek, J Hinchman, J Hoffman, B Hulbert, ...
Formal Methods for Industrial Critical Systems: 18th International Workshop …, 2013
592013
Automated configuration of communications for an ordered collection of devices
DD Cofer
US Patent 6,424,874, 2002
522002
Object detection
RM Hamza, DD Cofer
US Patent 7,184,585, 2007
502007
Requirements analysis of a quad-redundant flight control system
J Backes, D Cofer, S Miller, MW Whalen
NASA Formal Methods Symposium, 82-96, 2015
442015
Adaptive scheduler for anytime tasks
D Cofer, J Shackleton, M Agrawal, N Birch
US Patent App. 10/903,144, 2005
432005
Towards realizability checking of contracts using theories
A Gacek, A Katis, MW Whalen, J Backes, D Cofer
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
412015
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
412009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20