# Elsa L. Gunter

According to our database

Collaborative distances:

^{1}, Elsa L. Gunter authored at least 58 papers between 1988 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2020

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course.

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017

2016

Sci. Comput. Program., 2016

2014

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

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

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

2013

Proceedings of the NASA Formal Methods, 2013

2012

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

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

2011

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

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

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

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

2010

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

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

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

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

2008

Theor. Comput. Sci., 2008

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

Proceedings of the IEEE International Conference on Systems, 2006

2005

Formal Aspects Comput., 2005

Electron. Notes Theor. Comput. Sci., 2005

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.

Int. J. Softw. Tools Technol. Transf., 2004

Correspondence Assertions for Process Synchronization in Concurrent Communications.

Electron. Notes Theor. Comput. Sci., 2004

2003

Int. J. Softw. Tools Technol. Transf., 2003

Proceedings of the Verification: Theory and Practice, 2003

2002

Electron. Notes Theor. Comput. Sci., 2002

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

2000

IEEE Softw., 2000

ACM SIGSOFT Softw. Eng. 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

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

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

1999

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

1998

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

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

1995

Comput. J., 1995

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

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

Inf. Comput., December, 1993

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

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

Proceedings of the Theoretical Aspects of Computer Software, 1991

1990

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

1989

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

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