Elsa L Gunter
Elsa L Gunter
Research Associate Professor, University of Illinois at Urbana - Champaign
Verified email at
Cited by
Cited by
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 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
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
Compositional message sequence charts
EL Gunter, A Muscholl, DA Peled
International Conference on Tools and Algorithms for the Construction and …, 2001
Correspondence assertions for process synchronization in concurrent communications
E Bonelli, A Compagnoni, E Gunter
Journal of Functional Programming 15 (2), 219-247, 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 (4), 308-319, 2004
Interactive software testing system and method
EL Gunter, DA Peled
US Patent 6,408,430, 2002
M Vanlnwegen, E Gunter
HOL Users' Group Workshop, 61-74, 1993
Model checking, testing and verification working together
E Gunter, D Peled
Formal Aspects of Computing 17 (2), 201-221, 2005
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
Path exploration tool
EL Gunter, D Peled
International Conference on Tools and Algorithms for the Construction and …, 1999
A framework for formal verification of compiler optimizations
W Mansky, E Gunter
International Conference on Interactive Theorem Proving, 371-386, 2010
Why we can't have SML style datatype declarations in HOL
EL Gunter
Higher Order Logic Theorem Proving and its Applications, 561-568, 1993
Formal modeling and analysis for interactive hybrid systems
EJ Bass, KM Feigh, E Gunter, JM Rushby
Electronic Communications of the EASST 45, 2011
A broader class of trees for recursive type definitions for HOL
EL Gunter
HOL Users' Group Workshop, 141-154, 1993
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
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
Studying the ML module system in HOL
S Maharaj, E Gunter
HOL Users' Group Workshop, 346-361, 1994
Temporal debugging for concurrent systems
E Gunter, D Peled
International Conference on Tools and Algorithms for the Construction and …, 2002
Role-based access control for boxed ambients
A Compagnoni, EL Gunter, P Bidinger
Theoretical Computer Science 398 (1-3), 203-216, 2008
The system can't perform the operation now. Try again later.
Articles 1–20