| A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000 | 402 | 2000 |
| I-Living: An open system architecture for assisted living Q Wang, W Shin, X Liu, Z Zeng, C Oh, BK AlShebli, M Caccamo, ... 2006 IEEE International Conference on Systems, Man and Cybernetics 5, 4268-4275, 2006 | 129 | 2006 |
| The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures TL Crenshaw, E Gunter, CL Robinson, L Sha, PR Kumar 28th IEEE International Real-Time Systems Symposium (RTSS 2007), 400-412, 2007 | 121 | 2007 |
| Compositional message sequence charts EL Gunter, A Muscholl, DA Peled International Conference on Tools and Algorithms for the Construction and …, 2001 | 97 | 2001 |
| Correspondence assertions for process synchronization in concurrent communications E Bonelli, A Compagnoni, E Gunter Journal of Functional Programming 15 (2), 219-247, 2005 | 82 | 2005 |
| Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System R Alur, D Arney, EL Gunter, I Lee, J Lee, W Nam, F Pearce, S Van Albert, ... International Journal on Software Tools for Technology Transfer 5, 308-319, 2004 | 66 | 2004 |
| Interactive software testing system and method EL Gunter, DA Peled US Patent 6,408,430, 2002 | 59 | 2002 |
| Model checking, testing and verification working together E Gunter, D Peled Formal Aspects of Computing 17, 201-221, 2005 | 55 | 2005 |
| Hol-ml M Vanlnwegen, E Gunter Higher Order Logic Theorem Proving and Its Applications: 6th International …, 1994 | 55 | 1994 |
| Pas: A wireless-enabled, sensor-integrated personal assistance system for independent and assisted living JC Hou, Q Wang, BK AlShebli, L Ball, S Birge, M Caccamo, CF Cheah, ... 2007 Joint Workshop on High Confidence Medical Devices, Software, and …, 2007 | 48 | 2007 |
| A framework for formal verification of compiler optimizations W Mansky, E Gunter Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010 | 46 | 2010 |
| Toward a multi-method approach to formalizing human-automation interaction and human-human communications EJ Bass, ML Bolton, K Feigh, D Griffith, E Gunter, W Mansky, J Rushby 2011 IEEE International Conference on Systems, Man, and Cybernetics, 1817-1824, 2011 | 44 | 2011 |
| Path exploration tool EL Gunter, D Peled International Conference on Tools and Algorithms for the Construction and …, 1999 | 43 | 1999 |
| Why we can't have SML style datatype declarations in HOL EL Gunter Higher Order Logic Theorem Proving and its Applications, 561-568, 1993 | 41 | 1993 |
| A broader class of trees for recursive type definitions for HOL EL Gunter HOL Users' Group Workshop, 141-154, 1993 | 40 | 1993 |
| Specifying and analyzing workflows for automated identification and data capture EL Gunter, A Yasmeen, CA Gunter, A Nguyen 2009 42nd Hawaii International Conference on System Sciences, 1-11, 2009 | 39 | 2009 |
| Formal modeling and analysis for interactive hybrid systems E Bass, K Feigh, E Gunter, J Rushby Electronic Communications of the EASST 45, 2011 | 38 | 2011 |
| Temporal debugging for concurrent systems E Gunter, D Peled International Conference on Tools and Algorithms for the Construction and …, 2002 | 33 | 2002 |
| Studying the ML module system in HOL S Maharaj, E Gunter HOL Users' Group Workshop, 346-361, 1994 | 32 | 1994 |
| Doing algebra in simple type theory EL Gunter University of Pennsylvania, School of Engineering and Applied Science …, 1989 | 26 | 1989 |
