Search the dblp DataBase
Gerhard Schellhorn :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Proving System Correctness with KIV 3.0. [Citation Graph (0, 0)][DBLP ] CADE, 1997, pp:69-72 [Conf ] Wolfgang Reif , Gerhard Schellhorn , Andreas Thums Flaw Detection in Formal Specifications. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:642-657 [Conf ] Andreas Thums , Gerhard Schellhorn , Frank Ortmeier , Wolfgang Reif Interactive Verification of Statecharts. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:355-373 [Conf ] Frank Ortmeier , Wolfgang Reif , Gerhard Schellhorn Introduction to Subject Area "Verification". [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:419-422 [Conf ] Frank Ortmeier , Andreas Thums , Gerhard Schellhorn , Wolfgang Reif Combining Formal Methods and Safety Analysis - The ForMoSA Approach. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:474-493 [Conf ] Frank Ortmeier , Wolfgang Reif , Gerhard Schellhorn Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). [Citation Graph (0, 0)][DBLP ] EDCC, 2005, pp:210-224 [Conf ] Gerhard Schellhorn , Wolfgang Reif , Axel Schairer , Paul A. Karger , Vernon Austel , David C. Toll Verification of a Formal Security Model for Multiapplicative Smart Cards. [Citation Graph (0, 0)][DBLP ] ESORICS, 2000, pp:17-36 [Conf ] Michael Balser , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel , Andreas Thums Formal System Development with KIV. [Citation Graph (0, 0)][DBLP ] FASE, 2000, pp:363-366 [Conf ] Michael Balser , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel KIV 3.0 for Provably Correct Systems. [Citation Graph (0, 0)][DBLP ] FM-Trends, 1998, pp:330-337 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FM-Trends, 1998, pp:351-358 [Conf ] Gerhard Schellhorn , Holger Grandy , Dominik Haneberg , Wolfgang Reif The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:16-31 [Conf ] Andreas Thums , Gerhard Schellhorn Model Checking FTA. [Citation Graph (0, 0)][DBLP ] FME, 2003, pp:739-757 [Conf ] Wolfgang Reif , Jürgen Ruf , Gerhard Schellhorn , Tobias Vollmer Do You Trust Your Model Checker? [Citation Graph (0, 0)][DBLP ] FMCAD, 2000, pp:179-196 [Conf ] Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Formal Specification and Verification Using KIV. [Citation Graph (0, 0)][DBLP ] FTRTFT, 1994, pp:787-787 [Conf ] Wolfgang Reif , Frank Ortmeier , Andreas Thums , Gerhard Schellhorn Integrated formal methods for safety analysis of train systems. [Citation Graph (0, 0)][DBLP ] IFIP Congress Topical Sessions, 2004, pp:637-642 [Conf ] Thomas Fuchß , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Three Selected Case Studies in Verification. [Citation Graph (0, 0)][DBLP ] KORSO Book, 1995, pp:371-387 [Conf ] Gerhard Schellhorn , Axel Burandt KIV. [Citation Graph (0, 0)][DBLP ] Formal Development of Reactive Systems, 1995, pp:229-245 [Conf ] Frank Ortmeier , Gerhard Schellhorn , Andreas Thums , Wolfgang Reif , Bernhard Hering , Helmut Trappschuh Safety Analysis of the Height Control System for the Elbtunnel. [Citation Graph (0, 0)][DBLP ] SAFECOMP, 2002, pp:296-308 [Conf ] Rainer Drexler , Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel , Werner Stephan , Andreas Wolpers The KIV System: A Tool for Formal Program Development. [Citation Graph (0, 0)][DBLP ] STACS, 1993, pp:704-705 [Conf ] Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Proving System Correctness with KIV. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1997, pp:859-862 [Conf ] Wolfgang Reif , Gerhard Schellhorn , Kurt Stenzel Tactics in KIV. [Citation Graph (0, 0)][DBLP ] Elektronische Informationsverarbeitung und Kybernetik, 1994, v:30, n:5/6, pp:293-310 [Journal ] Gerhard Schellhorn , Wolfgang Reif , Axel Schairer , Paul A. Karger , Vernon Austel , David C. Toll Verified Formal Security Models for Multiapplicative Smart Cards. [Citation Graph (0, 0)][DBLP ] Journal of Computer Security, 2002, v:10, n:4, pp:339-368 [Journal ] Rudolf Berghammer , Dominik Haneberg , Wolfgang Reif , Gerhard Schellhorn Special Issue on Tools for System Design and Verification. [Citation Graph (0, 0)][DBLP ] J. UCS, 2003, v:9, n:2, pp:86-87 [Journal ] Wolfgang Reif , Gerhard Schellhorn J.UCS Special Issue on Tools for System Design and Verification - Part 1. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:1, pp:1-2 [Journal ] Wolfgang Reif , Gerhard Schellhorn J.UCS Special Issue on Tools for System Design and Verification - Part 2. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:2, pp:105-106 [Journal ] Wolfgang Reif , Gerhard Schellhorn , Tobias Vollmer , Jürgen Ruf Correctness of Efficient Real-Time Model Checking. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:2, pp:194-209 [Journal ] Gerhard Schellhorn Verification of ASM Refinements Using Generalized Forward Simulation. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:11, pp:952-979 [Journal ] Gerhard Schellhorn , Wolfgang Ahrendt Reasoning about Abstract State Machines: The WAM Case Study. [Citation Graph (0, 0)][DBLP ] J. UCS, 1997, v:3, n:4, pp:377-413 [Journal ] Michael Balser , Christoph Duelli , Wolfgang Reif , Gerhard Schellhorn Verifying Concurrent Systems with Symbolic Execution. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2002, v:12, n:4, pp:549-560 [Journal ] Gerhard Schellhorn ASM refinement and generalizations of forward simulation in data refinement: a comparison. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:336, n:2-3, pp:403-435 [Journal ] Dominik Haneberg , Holger Grandy , Wolfgang Reif , Gerhard Schellhorn Verifying Security Protocols: An ASM Approach. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:247-262 [Conf ] Gerhard Schellhorn ASMs and Refinement of State-based Systems. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2005, pp:74-75 [Conf ] John Derrick , Gerhard Schellhorn , Heike Wehrheim Proving Linearizability Via Non-atomic Refinement. [Citation Graph (0, 0)][DBLP ] IFM, 2007, pp:195-214 [Conf ] Dominik Haneberg , Holger Grandy , Wolfgang Reif , Gerhard Schellhorn Verifying Smart Card Applications: An ASM Approach. [Citation Graph (0, 0)][DBLP ] IFM, 2007, pp:313-332 [Conf ] Frank Ortmeier , Gerhard Schellhorn Formal Fault Tree Analysis - Practical Experiences. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:139-151 [Journal ] Formal Verification of Lock-Free Algorithms. [Citation Graph (, )][DBLP ] A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. [Citation Graph (, )][DBLP ] Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract). [Citation Graph (, )][DBLP ] Automating Algebraic Specifications of Non-freely Generated Data Types. [Citation Graph (, )][DBLP ] A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. [Citation Graph (, )][DBLP ] Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. [Citation Graph (, )][DBLP ] Abstract Specification of the UBIFS File System for Flash Memory. [Citation Graph (, )][DBLP ] Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. [Citation Graph (, )][DBLP ] Interactive Verification of Concurrent Systems using Symbolic Execution. [Citation Graph (, )][DBLP ] Temporal Logic Verification of Lock-Freedom. [Citation Graph (, )][DBLP ] A Modeling Framework for the Development of Provably Secure E-Commerce Applications. [Citation Graph (, )][DBLP ] Bounded Relational Analysis of Free Data Types. [Citation Graph (, )][DBLP ] Interactive verification of concurrent systems using symbolic execution. [Citation Graph (, )][DBLP ] On the Refinement of Atomic Actions. [Citation Graph (, )][DBLP ] Completeness of ASM Refinement. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.307secs