| Software model checking takes off SP Miller, MW Whalen, DD Cofer Communications of the ACM 53 (2), 58-64, 2010 | 206 | 2010 |
| 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 | 172 | 2012 |
| Method and apparatus for detecting objects DD Cofer, RM Hamza, M Gierczak US Patent 6,841,780, 2005 | 136 | 2005 |
| Method and apparatus for detecting objects using structured light patterns DD Cofer, RM Hamza US Patent 7,176,440, 2007 | 99 | 2007 |
| 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 | 93 | 2012 |
| 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 | 92 | 2008 |
| 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 | 88 | 2015 |
| 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 | 84 | 1996 |
| 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 | 83 | 2019 |
| 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 | 82 | 2014 |
| Object detection DD Cofer, RM Hamza US Patent 7,200,246, 2007 | 76 | 2007 |
| 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 | 66 | 2013 |
| 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 | 64 | 2009 |
| Machine safety system with mutual exclusion zone DD Cofer US Patent 7,768,549, 2010 | 60 | 2010 |
| Automated configuration of communications for an ordered collection of devices DD Cofer US Patent 6,424,874, 2002 | 52 | 2002 |
| Object detection RM Hamza, DD Cofer US Patent 7,184,585, 2007 | 51 | 2007 |
| Requirements analysis of a quad-redundant flight control system J Backes, D Cofer, S Miller, MW Whalen NASA Formal Methods Symposium, 82-96, 2015 | 44 | 2015 |
| 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 | 44 | 2015 |
| 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 | 43 | 2009 |
| Adaptive scheduler for anytime tasks D Cofer, J Shackleton, M Agrawal, N Birch US Patent App. 10/903,144, 2005 | 43 | 2005 |
