Darren Cofer

Software model checking takes off

Steven P. Miller, Michael W. Whalen, Darren Cofer · Communications of the ACM · 2010 · 154 citations · Full text

Computing, Computer Engineering, Computer Science +12

Your "What" Is My "How": Iteration and Hierarchy in System Design

Michael W. Whalen, Andrew Gacek, Darren Cofer et al. · IEEE Software · 2012 · 73 citations · Full text

Engineering, Design, Systems Engineering +16

Certification considerations for adaptive systems

Siddhartha Bhattacharyya, Darren Cofer, David J. Musliner et al. · 2015 · 61 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +17

Implementing logical synchrony in integrated modular avionics

Steven P. Miller, Darren Cofer, Lui Sha et al. · 2009 · 56 citations

Computing, Computer Science, Systems Engineering +17

Supervisory control of real-time discrete-event systems using lattice theory

Darren Cofer, Vijay K. Garg · IEEE Transactions on Automatic Control · 1996 · 49 citations

Engineering, Computer Science, Systems Engineering +16