Elsa L. Gunter

	2011
46		Andrei Popescu, Elsa L. Gunter: Recursion principles for syntax with bindings and substitution. ICFP 2011: 346-358
45		Ayesha Yasmeen, Elsa L. Gunter: Automated framework for formal operator task analysis. ISSTA 2011: 78-88
44		Ayesha Yasmeen, Elsa L. Gunter: Robustness for protection envelopes with respect to human task variation. SMC 2011: 1809-1816
43		Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby: Toward a multi-method approach to formalizing human-automation interaction and human-human communications. SMC 2011: 1817-1824
42		Ellen J. Bass, Karen M. Feigh, Elsa L. Gunter, John M. Rushby: Formal Modeling and Analysis for Interactive Hybrid Systems. ECEASST 45: (2011)
	2010
41		Andrei Popescu, Elsa L. Gunter: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. FOSSACS 2010: 109-127
40		William Mansky, Elsa L. Gunter: A Framework for Formal Verification of Compiler Optimizations. ITP 2010: 371-386
39		Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn: Strong Normalization for System F by HOAS on Top of FOAS. LICS 2010: 31-40
	2009
38		Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen: Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11
37		Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu: Theory support for weak higher order abstract syntax in Isabelle/HOL. LFMTP 2009: 12-20
	2008
36		Elsa L. Gunter, Ayesha Yasmeen: Secure Broadcast Ambients. Formal Aspects in Security and Trust 2008: 257-271
35		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		Tanya 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
33		Adriana B. Compagnoni, Elsa L. Gunter: Types for Security in a Mobile World. TGC 2005: 75-97
32		Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Typechecking Safe Process Synchronization. Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005)
31		Elsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)
30		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		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		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		Elsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
26		Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)
	2002
25		Elsa L. Gunter, Doron Peled: Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444
24		Elsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): 128-141 (2002)
	2001
23		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		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		Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): 37-43 (2000)
	1999
18		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

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page