# Elsa L. Gunter

According to our database

^{1}, Elsa L. Gunter## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2016

Specifying and executing optimizations for generalized control flow graphs.

Sci. Comput. Program., 2016

2014

Specifying and Executing Optimizations for Parallel Programs.

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Verifying Optimizations for Concurrent Programs.

Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014

Symbolic Analysis Tools for CSP.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

LiquidPi: Inferrable Dependent Session Types.

Proceedings of the NASA Formal Methods, 2013

2012

Using Locales to Define a Rely-Guarantee Temporal Logic.

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Formal analysis of safety-critical system simulations.

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012

2011

Formal Modeling and Analysis for Interactive Hybrid Systems.

ECEASST, 2011

Robustness for protection envelopes with respect to human task variation.

Proceedings of the IEEE International Conference on Systems, 2011

Toward a multi-method approach to formalizing human-automation interaction and human-human communications.

Proceedings of the IEEE International Conference on Systems, 2011

Automated framework for formal operator task analysis.

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Recursion principles for syntax with bindings and substitution.

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Strong Normalization for System F by HOAS on Top of FOAS.

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

A Framework for Formal Verification of Compiler Optimizations.

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization.

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Theory support for weak higher order abstract syntax in Isabelle/HOL.

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

Specifying and Analyzing Workflows for Automated Identification and Data Capture.

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

Role-based access control for boxed ambients.

Theor. Comput. Sci., 2008

Secure Broadcast Ambients.

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures.

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

2006

I-Living: An Open System Architecture for Assisted Living.

Proceedings of the IEEE International Conference on Systems, 2006

2005

Correspondence assertions for process synchronization in concurrent communications.

J. Funct. Program., 2005

Model checking, testing and verification working together.

Formal Asp. Comput., 2005

Typechecking Safe Process Synchronization.

Electr. Notes Theor. Comput. Sci., 2005

Types for Security in a Mobile World.

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

2004

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.

STTT, 2004

Correspondence Assertions for Process Synchronization in Concurrent Communications.

Electr. Notes Theor. Comput. Sci., 2004

2003

Compositional message sequence charts.

STTT, 2003

Unit Checking: Symbolic Model Checking for a Unit of Code.

Proceedings of the Verification: Theory and Practice, 2003

2002

Tracing the executions of concurrent programs.

Electr. Notes Theor. Comput. Sci., 2002

Temporal Debugging for Concurrent Systems.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2001

Compositional Message Sequence Charts.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

A Reference Model for Requirements and Specifications.

IEEE Software, 2000

Formal software engineering.

ACM SIGSOFT Software Engineering Notes, 2000

Using a Mix of Languages in Formal Methods: The PET System.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

A Reference Model for Requirements and Specifications-Extended Abstract.

Proceedings of the 4th International Conference on Requirements Engineering, 2000

PET: An Interactive Software Testing Tool.

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Path Exploration Tool.

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Adding External Decision Procedures to HOL90 Securely.

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

The Village Telephone System: A Case Study in Formal Software Engineering.

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995

Studying the ML Module System in HOL.

Comput. J., 1995

Interfacing HOL90 with a Functional Database Query Language.

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Studying the ML Module System in Hol.

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications.

Proceedings of the Database and Expert Systems Applications, 5th International Conference, 1994

1993

Computing ML Equality Kinds Using Abstract Interpretation

Inf. Comput., December, 1993

HOL-ML.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

A Broader Class of Trees for Recursive Type Definitions for HOL.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

Why we can't have SML-style datatype Declarations in HOL.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

Implementing a Real-Time Process Algebra in HOL.

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

An Abstract Interpretation for ML Equality Kinds.

Proceedings of the Theoretical Aspects of Computer Software, 1991

1990

Tutorial on Lambda-Prolog.

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover.

Proceedings of the Extensions of Logic Programming, 1989

1988

Lambda-Prolog: An Extended Logic Programming Language.

Proceedings of the 9th International Conference on Automated Deduction, 1988