| Software model checking takes off SP Miller, MW Whalen, DD Cofer Communications of the ACM 53 (2), 58-64, 2010 | 178 | 2010 |
| Method and apparatus for detecting objects DD Cofer, RM Hamza, M Gierczak US Patent 6,841,780, 2005 | 120 | 2005 |
| Compositional verification of architectural models D Cofer, A Gacek, S Miller, MW Whalen, B LaValley, L Sha NASA Formal Methods Symposium, 126-140, 2012 | 114 | 2012 |
| 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 | 86 | 1996 |
| The Web services debate: . NET vs. J2EE G Miller Communications of the ACM 46 (6), 64-67, 2003 | 83* | 2003 |
| 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 | 77 | 2007 |
| 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 | 73* | 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 | 72 | 2012 |
| Modeling the IT value paradox ME Thatcher, DE Pingry Communications of the ACM 50 (8), 41-45, 2007 | 69* | 2007 |
| Object detection DD Cofer, RM Hamza US Patent 7,200,246, 2007 | 69 | 2007 |
| Method and apparatus for detecting objects using structured light patterns DD Cofer, RM Hamza US Patent 7,176,440, 2007 | 66 | 2007 |
| 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 | 56 | 2009 |
| 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 | 52 | 2015 |
| Machine safety system with mutual exclusion zone DD Cofer US Patent 7,768,549, 2010 | 52 | 2010 |
| Automated configuration of communications for an ordered collection of devices DD Cofer US Patent 6,424,874, 2002 | 52 | 2002 |
| 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 | 44 | 2014 |
| Object detection RM Hamza, DD Cofer US Patent 7,184,585, 2007 | 42 | 2007 |
| Adaptive scheduler for anytime tasks D Cofer, J Shackleton, M Agrawal, N Birch US Patent App. 10/903,144, 2005 | 40 | 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 | 39 | 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 | 36 | 2009 |
