| 2009 |
|---|
| 37 | EE | Elsa L. Gunter,
Ayesha Yasmeen,
Carl A. Gunter,
Anh Nguyen:
Specifying and Analyzing Workflows for Automated Identification and Data Capture.
HICSS 2009: 1-11 |
| 2008 |
|---|
| 36 | EE | Elsa L. Gunter,
Ayesha Yasmeen:
Secure Broadcast Ambients.
Formal Aspects in Security and Trust 2008: 257-271 |
| 35 | EE | Adriana B. Compagnoni,
Elsa L. Gunter,
Philippe Bidinger:
Role-based access control for boxed ambients.
Theor. Comput. Sci. 398(1-3): 203-216 (2008) |
| 2007 |
|---|
| 34 | EE | Tanya L. Crenshaw,
Elsa L. Gunter,
C. L. Robinson,
Lui Sha,
P. R. Kumar:
The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures.
RTSS 2007: 400-412 |
| 2005 |
|---|
| 33 | EE | Adriana B. Compagnoni,
Elsa L. Gunter:
Types for Security in a Mobile World.
TGC 2005: 75-97 |
| 32 | EE | Eduardo Bonelli,
Adriana B. Compagnoni,
Elsa L. Gunter:
Typechecking Safe Process Synchronization.
Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005) |
| 31 | EE | Elsa L. Gunter,
Doron Peled:
Model checking, testing and verification working together.
Formal Asp. Comput. 17(2): 201-221 (2005) |
| 30 | EE | Eduardo Bonelli,
Adriana B. Compagnoni,
Elsa L. Gunter:
Correspondence assertions for process synchronization in concurrent communications.
J. Funct. Program. 15(2): 219-247 (2005) |
| 2004 |
|---|
| 29 | EE | Eduardo Bonelli,
Adriana B. Compagnoni,
Elsa L. Gunter:
Correspondence Assertions for Process Synchronization in Concurrent Communications.
Electr. Notes Theor. Comput. Sci. 97: 175-195 (2004) |
| 28 | EE | Rajeev Alur,
David Arney,
Elsa L. Gunter,
Insup Lee,
Jaime Lee,
Wonhong Nam,
Frederick Pearce,
Stephen Van Albert,
Jiaxiang Zhou:
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.
STTT 5(4): 308-319 (2004) |
| 2003 |
|---|
| 27 | EE | Elsa L. Gunter,
Doron Peled:
Unit Checking: Symbolic Model Checking for a Unit of Code.
Verification: Theory and Practice 2003: 548-567 |
| 26 | EE | Elsa L. Gunter,
Anca Muscholl,
Doron Peled:
Compositional message sequence charts.
STTT 5(1): 78-89 (2003) |
| 2002 |
|---|
| 25 | EE | Elsa L. Gunter,
Doron Peled:
Temporal Debugging for Concurrent Systems.
TACAS 2002: 431-444 |
| 24 | EE | Elsa L. Gunter,
Doron Peled:
Tracing the executions of concurrent programs.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
| 2001 |
|---|
| 23 | EE | Elsa L. Gunter,
Anca Muscholl,
Doron Peled:
Compositional Message Sequence Charts.
TACAS 2001: 496-511 |
| 2000 |
|---|
| 22 | | Elsa L. Gunter,
Robert P. Kurshan,
Doron Peled:
PET: An Interactive Software Testing Tool.
CAV 2000: 552-556 |
| 21 | EE | Carl A. Gunter,
Elsa L. Gunter,
Michael Jackson,
Pamela Zave:
A Reference Model for Requirements and Specifications-Extended Abstract.
ICRE 2000: 189 |
| 20 | | Elsa L. Gunter,
Doron Peled:
Using a Mix of Languages in Formal Methods: The PET System.
PDPTA 2000 |
| 19 | EE | Carl A. Gunter,
Elsa L. Gunter,
Michael Jackson,
Pamela Zave:
A Reference Model for Requirements and Specifications.
IEEE Software 17(3): (2000) |
| 1999 |
|---|
| 18 | EE | Elsa L. Gunter,
Doron Peled:
Path Exploration Tool.
TACAS 1999: 405-419 |
| 1998 |
|---|
| 17 | | Elsa L. Gunter:
Adding External Decision Procedures to HOL90 Securely.
TPHOLs 1998: 143-152 |
| 16 | | Karthikeyan Bhargavan,
Carl A. Gunter,
Elsa L. Gunter,
Michael Jackson,
Davor Obradovic,
Pamela Zave:
The Village Telephone System: A Case Study in Formal Software Engineering.
TPHOLs 1998: 49-66 |
| 1997 |
|---|
| 15 | | Elsa L. Gunter,
Amy P. Felty:
Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Springer 1997 |
| 1995 |
|---|
| 14 | | Elsa L. Gunter,
Leonid Libkin:
Interfacing HOL90 with a Functional Database Query Language.
TPHOLs 1995: 170-185 |
| 13 | | Elsa L. Gunter,
Savi Maharaj:
Studying the ML Module System in HOL.
Comput. J. 38(2): 142-151 (1995) |
| 1994 |
|---|
| 12 | | Elsa L. Gunter,
Leonid Libkin:
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.
DEXA 1994: 641-650 |
| 11 | | Savi Maharaj,
Elsa L. Gunter:
Studying the ML Module System in Hol.
TPHOLs 1994: 346-361 |
| 1993 |
|---|
| 10 | | Elsa L. Gunter:
A Broader Class of Trees for Recursive Type Definitions for HOL.
HUG 1993: 141-154 |
| 9 | | Myra Van Inwegen,
Elsa L. Gunter:
HOL-ML.
HUG 1993: 61-74 |
| 8 | | Carl A. Gunter,
Elsa L. Gunter,
David B. MacQueen:
Computing ML Equality Kinds Using Abstract Interpretation
Inf. Comput. 107(2): 303-323 (1993) |
| 1992 |
|---|
| 7 | | Elsa L. Gunter:
Why we can't have SML-style datatype Declarations in HOL.
TPHOLs 1992: 561-568 |
| 1991 |
|---|
| 6 | | Carl A. Gunter,
Elsa L. Gunter,
David B. MacQueen:
An Abstract Interpretation for ML Equality Kinds.
TACS 1991: 112-130 |
| 5 | | Richard Gerber,
Elsa L. Gunter,
Insup Lee:
Implementing a Real-Time Process Algebra in HOL.
TPHOLs 1991: 144-154 |
| 1990 |
|---|
| 4 | | Amy P. Felty,
Elsa L. Gunter,
Dale Miller,
Frank Pfenning:
Tutorial on Lambda-Prolog.
CADE 1990: 682 |
| 1989 |
|---|
| 3 | | Elsa L. Gunter:
Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover.
ELP 1989: 223-244 |
| 2 | | Elsa L. Gunter:
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.
Mathematical Foundations of Programming Semantics 1989: 351-363 |
| 1988 |
|---|
| 1 | | Amy P. Felty,
Elsa L. Gunter,
John Hannan,
Dale Miller,
Gopalan Nadathur,
Andre Scedrov:
Lambda-Prolog: An Extended Logic Programming Language.
CADE 1988: 754-755 |
