dblp.uni-trier.dewww.uni-trier.de

Elsa L. Gunter Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
37EEElsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen: Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
2008
36EEElsa L. Gunter, Ayesha Yasmeen: Secure Broadcast Ambients. Formal Aspects in Security and Trust 2008: 257-271
35EEAdriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger: Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008)
2007
34EETanya L. Crenshaw, Elsa L. Gunter, Craig 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
33EEAdriana B. Compagnoni, Elsa L. Gunter: Types for Security in a Mobile World. TGC 2005: 75-97
32EEEduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Typechecking Safe Process Synchronization. Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005)
31EEElsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)
30EEEduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)
2004
29EEEduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence Assertions for Process Synchronization in Concurrent Communications. Electr. Notes Theor. Comput. Sci. 97: 175-195 (2004)
28EERajeev 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
27EEElsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
26EEElsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)
2002
25EEElsa L. Gunter, Doron Peled: Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444
24EEElsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
23EEElsa 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
21EECarl 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
19EECarl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): (2000)
1999
18EEElsa L. Gunter, Doron Peled: Path Exploration Tool. TACAS 1999: 405-419
1998
17EEElsa L. Gunter: Adding External Decision Procedures to HOL90 Securely. TPHOLs 1998: 143-152
16EEKarthikeyan 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
14EEElsa 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
12EEElsa L. Gunter, Leonid Libkin: OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994: 641-650
11EESavi Maharaj, Elsa L. Gunter: Studying the ML Module System in Hol. TPHOLs 1994: 346-361
1993
10EEElsa L. Gunter: A Broader Class of Trees for Recursive Type Definitions for HOL. HUG 1993: 141-154
9EEMyra 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
4EEAmy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning: Tutorial on Lambda-Prolog. CADE 1990: 682
1989
3EEElsa L. Gunter: Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. ELP 1989: 223-244
2EEElsa L. Gunter: Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Mathematical Foundations of Programming Semantics 1989: 351-363
1988
1EEAmy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov: Lambda-Prolog: An Extended Logic Programming Language. CADE 1988: 754-755

Coauthor Index

1Stephen Van Albert [28]
2Rajeev Alur [28]
3David Arney [28]
4Karthikeyan Bhargavan [16]
5Philippe Bidinger [35]
6Eduardo Bonelli [29] [30] [32]
7Adriana B. Compagnoni [29] [30] [32] [33] [35]
8Tanya L. Crenshaw [34]
9Amy P. Felty [1] [4] [15]
10Richard Gerber [5]
11Carl A. Gunter [6] [8] [16] [19] [21] [37]
12John Hannan [1]
13Myra Van Inwegen [9]
14Michael Jackson [16] [19] [21]
15Panganamala Ramana Kumar (Panganamala R. Kumar, P. R. Kumar) [34]
16Robert P. Kurshan [22]
17Insup Lee [5] [28]
18Jaime Lee [28]
19Leonid Libkin [12] [14]
20David B. MacQueen [6] [8]
21Savi Maharaj [11] [13]
22Dale Miller [1] [4]
23Anca Muscholl [23] [26]
24Gopalan Nadathur [1]
25Wonhong Nam [28]
26Anh Nguyen [37]
27Davor Obradovic [16]
28Frederick Pearce [28]
29Doron Peled [18] [20] [22] [23] [24] [25] [26] [27] [31]
30Frank Pfenning [4]
31Craig L. Robinson [34]
32Andre Scedrov [1]
33Lui Sha [34]
34Ayesha Yasmeen [36] [37]
35Pamela Zave [16] [19] [21]
36Jiaxiang Zhou [28]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)