Darren Cofer
Darren Cofer
Rockwell Collins
Verifierad e-postadress på ieee.org
TitelCiteras avÅr
Software model checking takes off
SP Miller, MW Whalen, DD Cofer
Communications of the ACM 53 (2), 58-64, 2010
1642010
Method and apparatus for detecting objects
DD Cofer, RM Hamza, M Gierczak
US Patent 6,841,780, 2005
1142005
Compositional verification of architectural models
D Cofer, A Gacek, S Miller, MW Whalen, B LaValley, L Sha
NASA Formal Methods Symposium, 126-140, 2012
882012
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
831996
Integration of formal analysis into a model-based software development process
M Whalen, D Cofer, S Miller, BH Krogh, W Storm
International Workshop on Formal Methods for Industrial Critical Systems, 68-84, 2007
692007
Object detection
DD Cofer, RM Hamza
US Patent 7,200,246, 2007
652007
Modeling the IT value paradox
ME Thatcher, DE Pingry
Communications of the ACM 50 (8), 41-45, 2007
632007
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
PJ Denning
Communications of the ACM 60 (12), 20-23, 2017
61*2017
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
612012
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
562009
Method and apparatus for detecting objects using structured light patterns
DD Cofer, RM Hamza
US Patent 7,176,440, 2007
542007
Automated configuration of communications for an ordered collection of devices
DD Cofer
US Patent 6,424,874, 2002
522002
Machine safety system with mutual exclusion zone
DD Cofer
US Patent 7,768,549, 2010
482010
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
391992
Object detection
RM Hamza, DD Cofer
US Patent 7,184,585, 2007
382007
Adaptive scheduler for anytime tasks
D Cofer, J Shackleton, M Agrawal, N Birch
US Patent App. 10/903,144, 2005
362005
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
352009
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
322015
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
SP Miller, MW Whalen, DD Cofer
Communications of the ACM 53 (2), 58-64, 2010
302010
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
292014
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20