| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif |
Proving linearizability with temporal logic.  |
Formal Asp. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Mondex: Engineering a Provable Secure Electronic Purse. |
Int. J. Software and Informatics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Selected papers of the Refinement Workshop Turku (2008). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
Completeness of fair ASM refinement. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanically verified proof obligations for linearizability. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif |
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif |
Interleaved Programs and Rely-Guarantee Reasoning with ITL. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
Extending ITL with Interleaved Programs for Interactive Verification. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
Formal Verification of a Lock-Free Stack with Hazard Pointers. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Verifying Linearisability with Potential Linearisation Points. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach, Gerhard Schellhorn |
Atomic actions, and their refinements to isolated protocols. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn |
Interactive verification of concurrent systems using symbolic execution. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automated Flaw Detection in Algebraic Specifications. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif |
Temporal Logic Verification of Lock-Freedom. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Relational concurrent refinement part II: Internal operations and outputs. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs |
| 1 | Gerhard Schellhorn, Simon Bäumler |
Formal Verification of Lock-Free Algorithms. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
Abstract Specification of the UBIFS File System for Flash Memory. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif |
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif |
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Refinement, Security protocol, Z, ASM, Mondex |
| 1 | Gerhard Schellhorn |
ASM Refinement Preserving Invariants. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Richard Banach, Gerhard Schellhorn |
On the Refinement of Atomic Actions. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick, Gerhard Schellhorn |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
Completeness of ASM Refinement. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access |
| 1 | Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn |
Interactive Verification of Concurrent Systems using Symbolic Execution. |
LPAR Workshops |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Bounded Relational Analysis of Free Data Types. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, model checking, verification, formal methods, theorem proving, First-order logic, abstract data types |
| 1 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automating Algebraic Specifications of Non-freely Generated Data Types. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
SAT checking, theorem proving, first-order logic, abstract data types, Algebraic specifications, finite models |
| 1 | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Richard Banach |
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ortmeier, Gerhard Schellhorn |
Formal Fault Tree Analysis - Practical Experiences. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Linearizability Via Non-atomic Refinement. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
refinement, CSP, Object-Z, linearizability, concurrent access |
| 1 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Smart Card Applications: An ASM Approach. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |
A Modeling Framework for the Development of Provably Secure E-Commerce Applications. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
ASM refinement and generalizations of forward simulation in data refinement: a comparison. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn |
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). |
EDCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Security Protocols: An ASM Approach. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
ASMs and Refinement of State-based Systems. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn |
Integrated formal methods for safety analysis of train systems. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif |
Combining Formal Methods and Safety Analysis - The ForMoSA Approach. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn |
Introduction to Subject Area "Verification". |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif |
Interactive Verification of Statecharts. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |
Special Issue on Tools for System Design and Verification. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Thums, Gerhard Schellhorn |
Model Checking FTA. |
FME |
2003 |
DBLP DOI BibTeX RDF |
model checking, safety analysis, fault tree analysis |
| 1 | Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll |
Verified Formal Security Models for Multiapplicative Smart Cards. |
Journal of Computer Security |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn |
Verifying Concurrent Systems with Symbolic Execution. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh |
Safety Analysis of the Height Control System for the Elbtunnel. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn |
J.UCS Special Issue on Tools for System Design and Verification - Part 2. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf |
Correctness of Efficient Real-Time Model Checking. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn |
J.UCS Special Issue on Tools for System Design and Verification - Part 1. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Schellhorn |
Verification of ASM Refinements Using Generalized Forward Simulation. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Andreas Thums |
Flaw Detection in Formal Specifications. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer |
Do You Trust Your Model Checker? |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |
Formal System Development with KIV. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll |
Verification of a Formal Security Model for Multiapplicative Smart Cards. |
ESORICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
VSE: Controlling the Complexity in Formal Software Developments. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
KIV 3.0 for Provably Correct Systems. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Wolfgang Ahrendt |
Reasoning about Abstract State Machines: The WAM Case Study. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Proving System Correctness with KIV 3.0. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Proving System Correctness with KIV. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Three Selected Case Studies in Verification. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schellhorn, Axel Burandt |
KIV. |
Formal Development of Reactive Systems |
1995 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Tactics in KIV. |
Elektronische Informationsverarbeitung und Kybernetik |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Formal Specification and Verification Using KIV. |
FTRTFT |
1994 |
DBLP BibTeX RDF |
|
| 1 | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers |
The KIV System: A Tool for Formal Program Development. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")