Elsa Gunter

Available identifiers

zbMath Open gunter.elsa-lMaRDI QIDQ930877

List of research outcomes

Publication	Date of Publication	Type
Pseudo-retract functors for local lattices and bifinte L-domains	2023-04-12	Paper
Extensions to logic programming motivated by the construction of a generic theorem prover	2022-11-26	Paper
An abstract interpretation for ML equality kinds	2022-08-16	Paper
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle	2022-03-31	Paper
Safety of a smart classes-used regression test selection algorithm	2021-02-22	Paper
Verifying Optimizations for Concurrent Programs	2019-10-24	Paper
Recursion principles for syntax with bindings and substitution	2015-03-05	Paper
Symbolic analysis tools for CSP	2015-01-13	Paper
Typechecking safe process synchronization	2013-09-26	Paper
Using Locales to Define a Rely-Guarantee Temporal Logic	2012-09-20	Paper
A Framework for Formal Verification of Compiler Optimizations	2010-09-14	Paper
Incremental pattern-based coinduction for process algebra and its Isabelle formalization	2010-04-27	Paper
Unit checking: symbolic model checking for a unit of code	2010-03-23	Paper
Role-based access control for boxed ambients	2008-06-24	Paper
Trustworthy Global Computing	2006-11-01	Paper
Model checking, testing and verification working together	2005-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q3024871	2005-07-04	Paper
Correspondence assertions for process synchronization in concurrent communications	2005-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q4472258	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2769610	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754119	2001-11-11	Paper
Computing ML equality kinds using abstract interpretation	1994-03-24	Paper
M-Groups with Sylow Towers	1989-01-01	Paper

Research outcomes over time

This page was built for person: Elsa Gunter