Gerhard Schellhorn

From MaRDI portal
Person:539220

Available identifiers

zbMath Open schellhorn.gerhardMaRDI QIDQ539220

List of research outcomes





PublicationDate of PublicationType
Weak progressive forward simulation is necessary and sufficient for strong observational refinement2024-08-13Paper
Verifying correctness of persistent concurrent data structures2024-03-14Paper
https://portal.mardi4nfdi.de/entity/Q60834402023-12-08Paper
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory2022-10-13Paper
https://portal.mardi4nfdi.de/entity/Q51013402022-08-30Paper
Flashix: modular verification of a concurrent and crash-safe flash file system2022-03-22Paper
Verifying correctness of persistent concurrent data structures: a sound and complete method2021-09-14Paper
Verifying Opacity of a Transactional Mutex Lock2019-12-19Paper
Mechanized proofs of opacity: a comparison of two techniques2018-09-12Paper
Proving Opacity of a Pessimistic {STM}2018-07-18Paper
Towards a Thread-Local Proof Technique for Starvation Freedom2016-06-17Paper
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures2015-09-17Paper
Formal Fault Tree Analysis - Practical Experiences2015-03-18Paper
RGITL: a temporal logic framework for compositional reasoning about interleaved programs2014-07-11Paper
Completeness of ASM Refinement2014-03-26Paper
Formal Verification of a Lock-Free Stack with Hazard Pointers2012-01-06Paper
Completeness of fair ASM refinement2011-06-06Paper
Proving linearizability with temporal logic2011-05-27Paper
Automated flaw detection in algebraic specifications2011-01-12Paper
Temporal Logic Verification of Lock-Freedom2010-07-26Paper
Interactive verification of concurrent systems using symbolic execution2010-06-17Paper
Atomic actions, and their refinements to isolated protocols2010-03-08Paper
Relational concurrent refinement. II: Internal operations and outputs2009-05-27Paper
Proving Linearizability Via Non-atomic Refinement2009-03-06Paper
Automating Algebraic Specifications of Non-freely Generated Data Types2008-11-20Paper
https://portal.mardi4nfdi.de/entity/Q35399462008-11-19Paper
Bounded Relational Analysis of Free Data Types2008-04-24Paper
ASM refinement and generalizations of forward simulation in data refinement: a comparison2005-06-10Paper
Verifying Concurrent Systems with Symbolic Execution2002-09-11Paper
https://portal.mardi4nfdi.de/entity/Q45396472002-07-10Paper
The WAM case study: Verifying compiler correctness for Prolog with KIV2002-01-21Paper
Theorem proving in large theories2001-11-06Paper
Correctness of efficient real-time model checking2001-08-13Paper
https://portal.mardi4nfdi.de/entity/Q45204932001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45247642001-01-15Paper
https://portal.mardi4nfdi.de/entity/Q45247692001-01-15Paper
https://portal.mardi4nfdi.de/entity/Q48589511995-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42815731995-11-23Paper

Research outcomes over time

This page was built for person: Gerhard Schellhorn