Follow
Elsa L Gunter
Elsa L Gunter
Research Associate Professor, University of Illinois at Urbana - Champaign
Verified email at illinois.edu
Title
Cited by
Cited by
Year
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 2000
3972000
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
1292006
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
1192007
Compositional message sequence charts
EL Gunter, A Muscholl, DA Peled
International Conference on Tools and Algorithms for the Construction and …, 2001
972001
Correspondence assertions for process synchronization in concurrent communications
E Bonelli, A Compagnoni, E Gunter
Journal of Functional Programming 15 (2), 219-247, 2005
812005
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
652004
Interactive software testing system and method
EL Gunter, DA Peled
US Patent 6,408,430, 2002
582002
Hol-ml
M Vanlnwegen, E Gunter
Higher Order Logic Theorem Proving and Its Applications: 6th International …, 1994
551994
Model checking, testing and verification working together
E Gunter, D Peled
Formal Aspects of Computing 17, 201-221, 2005
532005
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
472007
A framework for formal verification of compiler optimizations
W Mansky, E Gunter
Interactive Theorem Proving: First International Conference, ITP 2010 …, 2010
452010
Why we can't have SML style datatype declarations in HOL
EL Gunter
Higher Order Logic Theorem Proving and its Applications, 561-568, 1993
441993
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
432011
Path exploration tool
EL Gunter, D Peled
International Conference on Tools and Algorithms for the Construction and …, 1999
431999
A broader class of trees for recursive type definitions for HOL
EL Gunter
HOL Users' Group Workshop, 141-154, 1993
401993
Formal modeling and analysis for interactive hybrid systems
E Bass, K Feigh, E Gunter, J Rushby
Electronic Communications of the EASST 45, 2011
382011
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
382009
Temporal debugging for concurrent systems
E Gunter, D Peled
International Conference on Tools and Algorithms for the Construction and …, 2002
342002
Studying the ML module system in HOL
S Maharaj, E Gunter
HOL Users' Group Workshop, 346-361, 1994
321994
Compositional message sequence charts
EL Gunter, A Muscholl, D Peled
International Journal on Software Tools for Technology Transfer 5, 78-89, 2003
262003
The system can't perform the operation now. Try again later.
Articles 1–20