Gerhard Schellhorn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
23
Active years
1993–2025
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | Model Checking Buffered Durable Linearizability in CSP. | Chelsea Edmonds, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2024 | IFM | VeriCode: Correct Translation of Abstract Specifications to C Code. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2024 | VMCAI | A Fully Verified Persistency Library. | Stefan Bodenmller, John Derrick, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2023 | IFM | Refinement and Separation: Modular Verification of Wandering Trees. | Gerhard Schellhorn, Stefan Bodenmller, Wolfgang Reif |
| 2022 | CONCUR | Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. | Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2020 | FORTE | Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. | Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2020 | IFM | Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. | Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |
| 2019 | FM | Verifying Correctness of Persistent Concurrent Data Structures. | John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim |
| 2018 | SEFM | FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. | Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jrgen Knig, Heike Wehrheim |
| 2017 | IFM | Modular Verification of Order-Preserving Write-Back Caches. | Jrg Pfhler, Gidon Ernst, Stefan Bodenmller, Gerhard Schellhorn, Wolfgang Reif |
| 2016 | IFM | Towards a Thread-Local Proof Technique for Starvation Freedom. | Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2016 | OPODIS | Proving Opacity of a Pessimistic STM. | Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2015 | FM | Verifying Opacity of a Transactional Mutex Lock. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2014 | FM | Quiescent Consistency: Defining and Verifying Relaxed Linearizability. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim |
| 2014 | IFM | A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2012 | CAV | How to Prove Algorithms Linearisable. | Gerhard Schellhorn, Heike Wehrheim, John Derrick |
| 2011 | FM | Verifying Linearisability with Potential Linearisation Points. | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2011 | GI | Simulating a Flash File System with CoreASM and Eclipse. | Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst |
| 2011 | ICTAC | Formal Verification of a Lock-Free Stack with Hazard Pointers. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | SEFM | Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. | Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | TIME | Extending ITL with Interleaved Programs for Interactive Verification. | Gerhard Schellhorn |
| 2011 | TIME | Interleaved Programs and Rely-Guarantee Reasoning with ITL. | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif |
| 2010 | MPC | Temporal Logic Verification of Lock-Freedom. | Bogdan Tofan, Simon Bumler, Gerhard Schellhorn, Wolfgang Reif |
| 2009 | FM | Abstract Specification of the UBIFS File System for Flash Memory. | Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
| 2008 | ATVA | Automating Algebraic Specifications of Non-freely Generated Data Types. | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | FM | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | LPAR | Interactive Verification of Concurrent Systems using Symbolic Execution. | Michael Balser, Simon Bumler, Wolfgang Reif, Gerhard Schellhorn |
| 2008 | TAP | Bounded Relational Analysis of Free Data Types. | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
| 2007 | ICSEA | A Modeling Framework for the Development of Provably Secure E-Commerce Applications. | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |
| 2007 | IFM | Proving Linearizability Via Non-atomic Refinement. | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2007 | IFM | Verifying Smart Card Applications: An ASM Approach. | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
| 2006 | FM | The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
| 2005 | EDCC | Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn |
| 2003 | FM | Model Checking FTA. | Andreas Thums, Gerhard Schellhorn |
| 2002 | SAFECOMP | Safety Analysis of the Height Control System for the Elbtunnel. | Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh |
| 2001 | CADE | Flaw Detection in Formal Specifications. | Wolfgang Reif, Gerhard Schellhorn, Andreas Thums |
| 2000 | ESORICS | Verification of a Formal Security Model for Multiapplicative Smart Cards. | Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll |
| 2000 | FASE | Formal System Development with KIV. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |
| 2000 | FMCAD | Do You Trust Your Model Checker? | Wolfgang Reif, Jrgen Ruf, Gerhard Schellhorn, Tobias Vollmer |
| 1998 | FM | KIV 3.0 for Provably Correct Systems. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1997 | CADE | Proving System Correctness with KIV 3.0. | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1993 | STACS | The KIV System: A Tool for Formal Program Development. | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |