Elsa L. Gunter

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 9

Top Topics

Concurrent Programs

Student Learning

Top Venues

Publications

Liyi Li, Elsa L. Gunter
A Complete Semantics of $\mathbb {K}$ and Its Translation to Isabelle. ICTAC (2021)
Susannah Mansky, Elsa L. Gunter
Safety of a Smart Classes-Used Regression Test Selection Algorithm. LSFA (2020)
Liyi Li, Elsa L. Gunter
Per-Location Simulation. NFM (2020)
Liyi Li, Elsa L. Gunter
K-LLVM: A Relatively Complete Semantics of LLVM IR. ECOOP (2020)
Susannah Mansky, Elsa L. Gunter
Dynamic class initialization semantics: a jinja extension. CPP (2019)
Liyi Li, Elsa L. Gunter
IsaK-Static: A Complete Static Semantics of \mathbb K. FACS (2018)
Terence Nip, Elsa L. Gunter, Geoffrey L. Herman, Jason W. Morphew, Matthew West
Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course. SIGCSE (2018)
Liyi Li, Elsa L. Gunter
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. WPTE@FSCD (2017)
William Mansky, Elsa L. Gunter, Dennis Griffith, Michael D. Adams
Specifying and executing optimizations for generalized control flow graphs. Sci. Comput. Program. 130 (2016)
Liyi Li, Elsa L. Gunter, William Mansky
Symbolic Analysis Tools for CSP. ICTAC (2014)
William Mansky, Elsa L. Gunter
Verifying Optimizations for Concurrent Programs. WPTE@RTA/TLCA (2014)
William Mansky, Dennis Griffith, Elsa L. Gunter
Specifying and Executing Optimizations for Parallel Programs. GRAPHITE (2014)
Dennis Griffith, Elsa L. Gunter
LiquidPi: Inferrable Dependent Session Types. NASA Formal Methods (2013)
William Mansky, Elsa L. Gunter
Using Locales to Define a Rely-Guarantee Temporal Logic. ITP (2012)
Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter
Formal analysis of safety-critical system simulations. ATACCS (2012)
Ayesha Yasmeen, Elsa L. Gunter
Robustness for protection envelopes with respect to human task variation. SMC (2011)
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)
Ellen J. Bass, Karen M. Feigh, Elsa L. Gunter, John M. Rushby
Formal Modeling and Analysis for Interactive Hybrid Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)
Ayesha Yasmeen, Elsa L. Gunter
Automated framework for formal operator task analysis. ISSTA (2011)
Andrei Popescu, Elsa L. Gunter
Recursion principles for syntax with bindings and substitution. ICFP (2011)
William Mansky, Elsa L. Gunter
A Framework for Formal Verification of Compiler Optimizations. ITP (2010)
Andrei Popescu, Elsa L. Gunter
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization. FoSSaCS (2010)
Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn
Strong Normalization for System F by HOAS on Top of FOAS. LICS (2010)
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen
Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS (2009)
Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu
Theory support for weak higher order abstract syntax in Isabelle/HOL. LFMTP (2009)
Adriana B. Compagnoni, Elsa L. Gunter, Philippe Bidinger
Role-based access control for boxed ambients. Theor. Comput. Sci. 398 (1-3) (2008)
Elsa L. Gunter, Ayesha Yasmeen
Secure Broadcast Ambients. Formal Aspects in Security and Trust (2008)
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)
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)
Elsa L. Gunter, Doron A. Peled
Model checking, testing and verification working together. Formal Aspects Comput. 17 (2) (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Correspondence assertions for process synchronization in concurrent communications. J. Funct. Program. 15 (2) (2005)
Adriana B. Compagnoni, Elsa L. Gunter
Types for Security in a Mobile World. TGC (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Typechecking Safe Process Synchronization. Electron. Notes Theor. Comput. Sci. 138 (1) (2005)
Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
Correspondence Assertions for Process Synchronization in Concurrent Communications. Electron. Notes Theor. Comput. Sci. 97 (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. Int. J. Softw. Tools Technol. Transf. 5 (4) (2004)
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
Compositional message sequence charts. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Elsa L. Gunter, Doron A. Peled
Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice (2003)
Elsa L. Gunter, Doron A. Peled
Temporal Debugging for Concurrent Systems. TACAS (2002)
Elsa L. Gunter, Doron A. Peled
Tracing the executions of concurrent programs. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
Compositional Message Sequence Charts. TACAS (2001)
Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled
PET: An Interactive Software Testing Tool. CAV (2000)
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
A Reference Model for Requirements and Specifications. IEEE Softw. 17 (3) (2000)
Carl A. Gunter, Elsa L. Gunter, Pamela Zave
Formal software engineering. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Carl A. Gunter, Elsa L. Gunter, Michael Jackson, Pamela Zave
A Reference Model for Requirements and Specifications-Extended Abstract. ICRE (2000)
Elsa L. Gunter, Doron A. Peled
Using a Mix of Languages in Formal Methods: The PET System. PDPTA (2000)
Elsa L. Gunter, Doron A. Peled
Path Exploration Tool. TACAS (1999)
Elsa L. Gunter
Adding External Decision Procedures to HOL90 Securely. TPHOLs (1998)
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)
Elsa L. Gunter, Savi Maharaj
Studying the ML Module System in HOL. Comput. J. 38 (2) (1995)
Elsa L. Gunter, Leonid Libkin
Interfacing HOL90 with a Functional Database Query Language. TPHOLs (1995)
Elsa L. Gunter, Leonid Libkin
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications. DEXA (1994)
Savi Maharaj, Elsa L. Gunter
Studying the ML Module System in Hol. TPHOLs (1994)
Elsa L. Gunter
A Broader Class of Trees for Recursive Type Definitions for HOL. HUG (1993)
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
Computing ML Equality Kinds Using Abstract Interpretation Inf. Comput. 107 (2) (1993)
Myra Van Inwegen, Elsa L. Gunter
HOL-ML. HUG (1993)
Elsa L. Gunter
Why we can't have SML-style datatype Declarations in HOL. TPHOLs (1992)
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
An Abstract Interpretation for ML Equality Kinds. TACS (1991)
Richard Gerber, Elsa L. Gunter, Insup Lee
Implementing a Real-Time Process Algebra in HOL. TPHOLs (1991)
Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning
Tutorial on Lambda-Prolog. CADE (1990)
Elsa L. Gunter
Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. ELP (1989)
Elsa L. Gunter
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. Mathematical Foundations of Programming Semantics (1989)
Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov
Lambda-Prolog: An Extended Logic Programming Language. CADE (1988)