| Software model checking takes off SP Miller, MW Whalen, DD Cofer Communications of the ACM 53 (2), 58-64, 2010 | 200 | 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 | 148 | 2012 |
| Method and apparatus for detecting objects DD Cofer, RM Hamza, M Gierczak US Patent 6,841,780, 2005 | 130 | 2005 |
| 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 | 87 | 2008 |
| 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 | 87 | 1996 |
| 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 | 84 | 2012 |
| Method and apparatus for detecting objects using structured light patterns DD Cofer, RM Hamza US Patent 7,176,440, 2007 | 83 | 2007 |
| 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 | 75 | 2015 |
| Object detection DD Cofer, RM Hamza US Patent 7,200,246, 2007 | 75 | 2007 |
| 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 | 66 | 2014 |
| 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 | 61 | 2009 |
| Machine safety system with mutual exclusion zone DD Cofer US Patent 7,768,549, 2010 | 57 | 2010 |
| 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 | 52 | 2013 |
| Automated configuration of communications for an ordered collection of devices DD Cofer US Patent 6,424,874, 2002 | 52 | 2002 |
| 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 | 48 | 2019 |
| Object detection RM Hamza, DD Cofer US Patent 7,184,585, 2007 | 47 | 2007 |
| Adaptive scheduler for anytime tasks D Cofer, J Shackleton, M Agrawal, N Birch US Patent App. 10/903,144, 2005 | 42 | 2005 |
| 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 | 42 | 1992 |
| 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 | 41 | 2009 |
| Requirements analysis of a quad-redundant flight control system J Backes, D Cofer, S Miller, MW Whalen NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 36 | 2015 |
