Segui
Elsa L Gunter
Elsa L Gunter
Research Associate Professor, University of Illinois at Urbana - Champaign
Email verificata su illinois.edu
Titolo
Citata da
Citata da
Anno
A reference model for requirements and specifications
CA Gunter, EL Gunter, M Jackson, P Zave
IEEE Software 17 (3), 37-43, 2000
4032000
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
1302006
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
1212007
Compositional message sequence charts
EL Gunter, A Muscholl, DA Peled
International Conference on Tools and Algorithms for the Construction andá…, 2001
992001
Correspondence assertions for process synchronization in concurrent communications
E Bonelli, A Compagnoni, E Gunter
Journal of Functional Programming 15 (2), 219-247, 2005
822005
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
452007
A framework for formal verification of compiler optimizations
W Mansky, E Gunter
Interactive Theorem Proving: First International Conference, ITP 2010á…, 2010
442010
Path exploration tool
EL Gunter, D Peled
International Conference on Tools and Algorithms for the Construction andá…, 1999
431999
Why we can't have SML style datatype declarations in HOL
EL Gunter
Higher Order Logic Theorem Proving and its Applications, 561-568, 1993
431993
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
412011
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
EJ Bass, KM Feigh, E Gunter, JM 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
331994
Compositional message sequence charts
EL Gunter, A Muscholl, D Peled
International Journal on Software Tools for Technology Transfer 5, 78-89, 2003
272003
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20