Elsa L. Gunter

According to our database1, Elsa L. Gunter
  • authored at least 54 papers between 1988 and 2016.
  • has a "Dijkstra number"2 of three.

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


  Loading...