- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j26 |      | Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn: Proving Linearizability of Multiset with Local Proof Obligations. ECEASST 53 (2012) |
| c44 | | Gerhard Schellhorn, Heike Wehrheim, John Derrick: How to Prove Algorithms Linearisable. CAV 2012: 243-259 |
| c43 | | Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif: A Formal Model of a Virtual Filesystem Switch. SSV 2012: 33-45 |
| 2011 | ||
| j25 | | Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif: Proving linearizability with temporal logic. Formal Asp. Comput. 23(1): 91-112 (2011) |
| j24 | | Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Software and Informatics 5(1-2): 159-184 (2011) |
| j23 | | Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Selected papers of the Refinement Workshop Turku (2008). Sci. Comput. Program. 76(9): 737-738 (2011) |
| j22 | | Gerhard Schellhorn: Completeness of fair ASM refinement. Sci. Comput. Program. 76(9): 756-773 (2011) |
| j21 | | John Derrick, Gerhard Schellhorn, Heike Wehrheim: Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst. 33(1): 4 (2011) |
| c42 | | John Derrick, Gerhard Schellhorn, Heike Wehrheim: Verifying Linearisability with Potential Linearisation Points. FM 2011: 323-337 |
| c41 | | Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich: The COST IC0701 Verification Competition 2011. FoVeOOS 2011: 3-21 |
| c40 | | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif: Formal Verification of a Lock-Free Stack with Hazard Pointers. ICTAC 2011: 239-255 |
| c39 | | Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif: Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. SEFM 2011: 188-203 |
| c38 | | Gerhard Schellhorn: Extending ITL with Interleaved Programs for Interactive Verification. TIME 2011: 7 |
| c37 | | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif: Interleaved Programs and Rely-Guarantee Reasoning with ITL. TIME 2011: 99-106 |
| 2010 | ||
| j20 | | Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn: Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2-3): 285-307 (2010) |
| j19 | | Richard Banach, Gerhard Schellhorn: Atomic actions, and their refinements to isolated protocols. Formal Asp. Comput. 22(1): 33-61 (2010) |
| j18 | | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automated Flaw Detection in Algebraic Specifications. J. Autom. Reasoning 45(4): 359-395 (2010) |
| c36 | | Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif: Temporal Logic Verification of Lock-Freedom. MPC 2010: 377-396 |
| 2009 | ||
| j17 | | Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Relational concurrent refinement part II: Internal operations and outputs. Formal Asp. Comput. 21(1-2): 65-102 (2009) |
| c35 | | |
| c34 | | 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: 93-110 |
| c33 | | Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif: Abstract Specification of the UBIFS File System for Flash Memory. FM 2009: 190-206 |
| 2008 | ||
| j16 | | Richard Banach, Gerhard Schellhorn: On the Refinement of Atomic Actions. Electr. Notes Theor. Comput. Sci. 201: 3-30 (2008) |
| j15 | | Eerke A. Boiten, John Derrick, Gerhard Schellhorn: Preface. Electr. Notes Theor. Comput. Sci. 214: 1 (2008) |
| j14 | | Gerhard Schellhorn: Completeness of ASM Refinement. Electr. Notes Theor. Comput. Sci. 214: 25-49 (2008) |
| j13 | | Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif: Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Asp. Comput. 20(1): 41-59 (2008) |
| j12 |  | |
| c32 | | Gerhard Schellhorn: Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). ABZ 2008: 39-41 |
| c31 | | Gerhard Schellhorn, Richard Banach: A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ABZ 2008: 57-70 |
| c30 | | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA 2008: 141-155 |
| c29 | | 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: 165-180 |
| c28 | | John Derrick, Gerhard Schellhorn, Heike Wehrheim: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. FMOODS 2008: 78-95 |
| c27 | | Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn: Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops 2008 |
| c26 | | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Bounded Relational Analysis of Free Data Types. TAP 2008: 99-115 |
| 2007 | ||
| j11 | | Frank Ortmeier, Gerhard Schellhorn: Formal Fault Tree Analysis - Practical Experiences. Electr. Notes Theor. Comput. Sci. 185: 139-151 (2007) |
| c25 | | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn: A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ICSEA 2007: 8 |
| c24 | | John Derrick, Gerhard Schellhorn, Heike Wehrheim: Proving Linearizability Via Non-atomic Refinement. IFM 2007: 195-214 |
| c23 | | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn: Verifying Smart Card Applications: An ASM Approach. IFM 2007: 313-332 |
| 2006 | ||
| c22 | | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif: The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. FM 2006: 16-31 |
| 2005 | ||
| j10 | | Gerhard Schellhorn: ASM refinement and generalizations of forward simulation in data refinement: a comparison. Theor. Comput. Sci. 336(2-3): 403-435 (2005) |
| c21 | | |
| c20 | | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn: Verifying Security Protocols: An ASM Approach. Abstract State Machines 2005: 247-262 |
| c19 | | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC 2005: 210-224 |
| 2004 | ||
| c18 | | Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif: Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373 |
| c17 | | Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422 |
| c16 | | Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493 |
| c15 | | Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn: Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642 |
| 2003 | ||
| j9 | | Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn: Special Issue on Tools for System Design and Verification. J. UCS 9(2): 86-87 (2003) |
| c14 | | |
| 2002 | ||
| j8 | | 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 10(4): 339-368 (2002) |
| j7 | | Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn: Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002) |
| c13 | | Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh: Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP 2002: 296-308 |
| 2001 | ||
| j6 | | Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Tools for System Design and Verification - Part 1. J. UCS 7(1): 1-2 (2001) |
| j5 | | Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Tools for System Design and Verification - Part 2. J. UCS 7(2): 105-106 (2001) |
| j4 | | Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf: Correctness of Efficient Real-Time Model Checking. J. UCS 7(2): 194-209 (2001) |
| j3 | | Gerhard Schellhorn: Verification of ASM Refinements Using Generalized Forward Simulation. J. UCS 7(11): 952-979 (2001) |
| c12 | | Wolfgang Reif, Gerhard Schellhorn, Andreas Thums: Flaw Detection in Formal Specifications. IJCAR 2001: 642-657 |
| 2000 | ||
| c11 | | 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: 17-36 |
| c10 | | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums: Formal System Development with KIV. FASE 2000: 363-366 |
| c9 | | Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer: Do You Trust Your Model Checker? FMCAD 2000: 179-196 |
| 1998 | ||
| c8 | | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: KIV 3.0 for Provably Correct Systems. FM-Trends 1998: 330-337 |
| c7 | | 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: 351-358 |
| 1997 | ||
| j2 | | Gerhard Schellhorn, Wolfgang Ahrendt: Reasoning about Abstract State Machines: The WAM Case Study. J. UCS 3(4): 377-413 (1997) |
| c6 | | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV 3.0. CADE 1997: 69-72 |
| c5 | | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV. TAPSOFT 1997: 859-862 |
| 1995 | ||
| c4 | | |
| c3 | | Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Three Selected Case Studies in Verification. KORSO Book 1995: 371-387 |
| 1994 | ||
| j1 | | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Tactics in KIV. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 293-310 (1994) |
| c2 | | Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Formal Specification and Verification Using KIV. FTRTFT 1994: 787-787 |
| 1993 | ||
| c1 | | Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers: The KIV System: A Tool for Formal Program Development. STACS 1993: 704-705 |
Colors in the list of coauthors
Last update Sat May 25 07:39:33 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page