Elsa L. Gunter
Affiliations:- University of Illinois, Urbana-Champaign, IL, USA
According to our database1,
Elsa L. Gunter
authored at least 59 papers
between 1988 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2021
Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021
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
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
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
Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004
2003
Proceedings of FOCLASA 2003, 2003
Proceedings of the Verification: Theory and Practice, 2003
2002
Proceedings of the Runtime Verification 2002, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
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
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