Elsa L. Gunter

Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter: Formal analysis of safety-critical system simulations. ATACSS 2012: 71-81

William Mansky, Elsa L. Gunter: Using Locales to Define a Rely-Guarantee Temporal Logic. ITP 2012: 299-314

Ellen J. Bass, Karen M. Feigh, Elsa L. Gunter, John M. Rushby: Formal Modeling and Analysis for Interactive Hybrid Systems. ECEASST 45 (2011)

Andrei Popescu, Elsa L. Gunter: Recursion principles for syntax with bindings and substitution. ICFP 2011: 346-358

Ayesha Yasmeen, Elsa L. Gunter: Automated framework for formal operator task analysis. ISSTA 2011: 78-88

Ayesha Yasmeen, Elsa L. Gunter: Robustness for protection envelopes with respect to human task variation. SMC 2011: 1809-1816

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

Andrei Popescu, Elsa L. Gunter: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. FOSSACS 2010: 109-127

William Mansky, Elsa L. Gunter: A Framework for Formal Verification of Compiler Optimizations. ITP 2010: 371-386

Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn: Strong Normalization for System F by HOAS on Top of FOAS. LICS 2010: 31-40

Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen: Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS 2009: 1-11

Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu: Theory support for weak higher order abstract syntax in Isabelle/HOL. LFMTP 2009: 12-20

Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger: Role-based access control for boxed ambients. Theor. Comput. Sci. 398(1-3): 203-216 (2008)

Elsa L. Gunter, Ayesha Yasmeen: Secure Broadcast Ambients. Formal Aspects in Security and Trust 2008: 257-271

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

Qixin Wang, Wook Shin, Xue Liu, Zheng Zeng, Cham Oh, Bedoor K. AlShebli, Marco Caccamo, Carl A. Gunter, Elsa L. Gunter, Jennifer C. Hou, Karrie Karahalios, Lui Sha: I-Living: An Open System Architecture for Assisted Living. SMC 2006: 4268-4275

Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Typechecking Safe Process Synchronization. Electr. Notes Theor. Comput. Sci. 138(1): 3-22 (2005)

Elsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)

Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter: Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15(2): 219-247 (2005)

Adriana B. Compagnoni, Elsa L. Gunter: Types for Security in a Mobile World. TGC 2005: 75-97

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)

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)

Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)

Elsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567

Elsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): 128-141 (2002)

Elsa L. Gunter, Doron Peled: Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444

Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional Message Sequence Charts. TACAS 2001: 496-511

Carl A. Gunter, Elsa L. Gunter, Pamela Zave: Formal software engineering. ACM SIGSOFT Software Engineering Notes 25(1): 54 (2000)

Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications. IEEE Software 17(3): 37-43 (2000)

Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556

Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave: A Reference Model for Requirements and Specifications-Extended Abstract. ICRE 2000: 189

Elsa L. Gunter, Doron Peled: Using a Mix of Languages in Formal Methods: The PET System. PDPTA 2000

Elsa L. Gunter, Doron Peled: Path Exploration Tool. TACAS 1999: 405-419

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

Elsa L. Gunter: Adding External Decision Procedures to HOL90 Securely. TPHOLs 1998: 143-152

Elsa L. Gunter, Amy P. Felty (Eds.): Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Lecture Notes in Computer Science 1275, Springer 1997, isbn 3-540-63379-0

Elsa L. Gunter, Savi Maharaj: Studying the ML Module System in HOL. Comput. J. 38(2): 142-151 (1995)

Elsa L. Gunter, Leonid Libkin: Interfacing HOL90 with a Functional Database Query Language. TPHOLs 1995: 170-185

Elsa L. Gunter, Leonid Libkin: OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA 1994: 641-650

Savi Maharaj, Elsa L. Gunter: Studying the ML Module System in Hol. TPHOLs 1994: 346-361

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: Computing ML Equality Kinds Using Abstract Interpretation. Inf. Comput. 107(2): 303-323 (1993)

Myra Van Inwegen, Elsa L. Gunter: HOL-ML. HUG 1993: 61-74

Elsa L. Gunter: A Broader Class of Trees for Recursive Type Definitions for HOL. HUG 1993: 141-154

Elsa L. Gunter: Why we can't have SML-style datatype Declarations in HOL. TPHOLs 1992: 561-568

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen: An Abstract Interpretation for ML Equality Kinds. TACS 1991: 112-130

Richard Gerber, Elsa L. Gunter, Insup Lee: Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991: 144-154

Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning: Tutorial on Lambda-Prolog. CADE 1990: 682

Elsa L. Gunter: Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. ELP 1989: 223-244

Elsa L. Gunter: Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Mathematical Foundations of Programming Semantics 1989: 351-363

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