Wolfgang Reif

Andreas Angerer, Remi Smirra, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif: A Graphical Language for Real-Time Critical Robot Commands. CoRR abs/1303.6777 (2013)

Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, Peter Salchow: On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems. Information & Software Technology 54(6): 593-607 (2012)

Jan-Philipp Steghöfer, Wolfgang Reif: Die Guten, die Bösen und die Vertrauenswürdigen - Vertrauen im Organic Computing. Informatik Spektrum 35(2): 119-131 (2012)

Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif: Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. DPM/SETOP 2012: 174-186

Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif: From Robot Commands to Real-time Robot Control - Transforming High-level Robot Commands into Real-time Dataflow Graphs. ICINCO (2) 2012: 150-158

Andreas Angerer, Andreas Bareth, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif: Two-arm Robot Teleoperation using a Multi-touch Tangible User Interface. ICINCO (2) 2012: 327-332

Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif: Incremental development of large, secure smart card applications. MDsec 2012: 9

Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif: Model-Driven Testing of Security Protocols with SecureMDD. NTMS 2012: 1-5

Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif: A Decentralized Multi-agent Algorithm for the Set Partitioning Problem. PRIMA 2012: 107-121

Christian Müller-Schloer, Wolfgang Reif, Jan-Philipp Steghöfer: 3rd edition of the workshop on trustworthy self-organizing systems (TSOS 2012). PST 2012: 235

Gerrit Anders, Christian Hinrichs, Florian Siefert, Pascal Behrmann, Wolfgang Reif, Michael Sonnenschein: On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty. SASO 2012: 29-38

Rolf Kiefhaber, Gerrit Anders, Florian Siefert, Theo Ungerer, Wolfgang Reif: Confidence as a Means to Assess the Accuracy of Trust Values. TrustCom 2012: 690-697

Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif: A Formal Model of a Virtual Filesystem Switch. SSV 2012: 33-45

Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif: Proving linearizability with temporal logic. Formal Asp. Comput. 23(1): 91-112 (2011)

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)

Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif: Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. Organic Computing 2011: 79-93

Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif: How to Design and Implement Self-organising Resource-Flow Systems. Organic Computing 2011: 145-161

Jan-Philipp Steghöfer, Wolfgang Reif: OC-Trust: Towards Trustworthy Organic Computing Systems. Organic Computing 2011: 593-595

Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart: Design of an automation system for preforming processes in aerospace industries. CASE 2011: 557-562

Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif: Formal Verification of a Lock-Free Stack with Hazard Pointers. ICTAC 2011: 239-255

Kurt Stenzel, Nina Moebius, Wolfgang Reif: Formal Verification of QVT Transformations for Code Generation. MoDELS 2011: 533-547

Christian Müller-Schloer, Wolfgang Reif, Audun Jøsang, Jan-Philipp Steghöfer: Workshop Message. SASO Workshops 2011: 17

Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif: Patterns to Measure and Utilize Trust in Multi-agent Systems. SASO Workshops 2011: 35-40

Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif: Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. SEFM 2011: 188-203

Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif: Interleaved Programs and Rely-Guarantee Reasoning with ITL. TIME 2011: 99-106

Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif: Developing Self-Organizing Robotic Cells Using Organic Computing Principles. Bio-Inspired Self-Organizing Robotic Systems 2011: 253-273

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)

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automated Flaw Detection in Algebraic Specifications. J. Autom. Reasoning 45(4): 359-395 (2010)

Nina Moebius, Kurt Stenzel, Wolfgang Reif: Pitfalls in Formal Reasoning about Security Protocols. ARES 2010: 248-253

Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif: On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. ARCS 2010: 87-100

Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif: A Formal Framework for Compositional Verification of Organic Computing Systems. ATC 2010: 17-31

Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer: Designing Self-healing in Automotive Systems. ATC 2010: 47-61

Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer: Trustworthy Organic Computing Systems: Challenges and Perspectives. ATC 2010: 62-76

Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart, Gerhard Strasser: Automated cutting and handling of carbon fiber fabrics in aerospace industries. CASE 2010: 861-866

Nina Moebius, Kurt Stenzel, Wolfgang Reif: Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ESSoS 2010: 166-181

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif: Software Metrics in Static Program Analysis. ICFEM 2010: 485-500

Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif: Towards Object-oriented Software Development for Industrial Robots - Facilitating the Use of Industrial Robots by Modern Software Engineering. ICINCO (2) 2010: 437-440

Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif: The Robotics API: An object-oriented framework for modeling industrial robotics applications. IROS 2010: 4036-4041

Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, Peter Salchow: Design and Simulation of a Wave-like Self-Organization Strategy for Resource-Flow Systems. MALLOW 2010

Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif: Temporal Logic Verification of Lock-Freedom. MPC 2010: 377-396

Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer: Formal Specification and Analysis of Trusted Communities. SASO Workshops 2010: 190-195

Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif: A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. SASO 2010: 194-203

Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz-Josef Rammig, Wolfgang Reif, Ansgar Trächtler: Engineering self-coordinating software intensive systems. FoSER 2010: 321-324

Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif: On reverse-engineering the KUKA Robot Language. CoRR abs/1009.5004 (2010)

Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker: An Abstract Specification Language for Static Program Analysis. Electr. Notes Theor. Comput. Sci. 254: 181-197 (2009)

Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif: SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES 2009: 841-846

Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif: Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference 2009: 44-53

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC 2009: 17-31

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

Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif: Abstract Specification of the UBIFS File System for Flash Memory. FM 2009: 190-206

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: A generic software framework for role-based Organic Computing systems. SEAMS 2009: 96-105

Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif: Hiding real-time: A new approach for the software development of industrial robots. IROS 2009: 2108-2113

Wolfgang Reif, Guojun Wang, Jadwiga Indulska (Eds.): Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings. Lecture Notes in Computer Science 5586, Springer 2009, isbn 978-3-642-02703-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. 20(1): 41-59 (2008)

Kurt Stenzel, Holger Grandy, Wolfgang Reif: Verification of Java Programs with Generics. AMAST 2008: 315-329

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA 2008: 141-155

Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290

Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution. VERIFY 2008

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif: Implementing Organic Computing Systems with AgentService. ENASE 2008: 64-71

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

Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn: Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops 2008

Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif: A Specification and Construction Paradigm for Organic Computing Systems. SASO 2008: 233-242

Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Bounded Relational Analysis of Free Data Types. TAP 2008: 99-115

Hella Seebach, Frank Ortmeier, Wolfgang Reif: Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation 2007: 4215-4221

Holger Grandy, Kurt Stenzel, Wolfgang Reif: A Refinement Method for Java Programs. FMOODS 2007: 221-235

Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn: A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ICSEA 2007: 8

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn: Verifying Smart Card Applications: An ASM Approach. IFM 2007: 313-332

Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif: Modeling of self-adaptive systems with SCADE. ISCAS 2007: 2922-2925

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP 2007: 465-478

Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck: WG2: Software engineering for organic computing applications (SE4OC). Software Engineering 2007: 275-276

Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif: ASN1-light: A Verified Message Encoding for Security Protocols. SEFM 2007: 195-204

Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter J. F. Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang: Improving medical protocols by formal methods. Artificial Intelligence in Medicine 36(3): 193-209 (2006)

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Formal Modeling and Verification of Systems with Self-x Properties. ATC 2006: 38-47

Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel: Developing Provable Secure M-Commerce Applications. ETRICS 2006: 115-129

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif: The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. FM 2006: 16-31

Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos: Interactive Verification of Medical Guidelines. FM 2006: 32-47

Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach: Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) 2006: 153-160

Matthias Güdemann, Frank Ortmeier, Wolfgang Reif: Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA 2006: 177-184

Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt: Verification of Medical Guidelines by Model Checking - A Case Study. SPIN 2006: 219-233

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn: Verifying Security Protocols: An ASM Approach. Abstract State Machines 2005: 247-262

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

Holger Grandy, Kurt Stenzel, Wolfgang Reif: Object Oriented Verification Kernels for Secure Java Applications. SEFM 2005: 170-179

Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif: Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373

Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422

Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493

Frank Ortmeier, Wolfgang Reif: Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. DSN 2004: 651-658

Dominik Haneberg, Wolfgang Reif, Kurt Stenzel: A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops 2004: 72-85

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448

Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn: Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642

Dominik Haneberg, Kurt Stenzel, Wolfgang Reif: Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. Workshop Mobile Commerce 2004: 103-113

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (Eds.): Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, isbn 3-540-23135-8

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn: Special Issue on Tools for System Design and Verification. J. UCS 9(2): 86-87 (2003)

Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel: Design for Trust: Security im M-Commerce. GI Jahrestagung (1) 2003: 91-94

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)

Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn: Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002)

Dominik Haneberg, Wolfgang Reif, Kurt Stenzel: A Method for Secure Smartcard Applications. AMAST 2002: 319-333

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

Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Tools for System Design and Verification - Part 1. J. UCS 7(1): 1-2 (2001)

Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Tools for System Design and Verification - Part 2. J. UCS 7(2): 105-106 (2001)

Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf: Correctness of Efficient Real-Time Model Checking. J. UCS 7(2): 194-209 (2001)

Wolfgang Reif, Gerhard Schellhorn, Andreas Thums: Flaw Detection in Formal Specifications. IJCAR 2001: 642-657

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

Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums: Formal System Development with KIV. FASE 2000: 363-366

Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer: Do You Trust Your Model Checker? FMCAD 2000: 179-196

Wolfgang Reif: Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Inform., Forsch. Entwickl. 14(4): 193-202 (1999)

Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif: J.UCS Special Issue on Integration of Deduction Systems. J. UCS 5(3) (1999)

Wolfgang Reif: Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik. KI 12(4): 42-48 (1998)

Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: KIV 3.0 for Provably Correct Systems. FM-Trends 1998: 330-337

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

Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV 3.0. CADE 1997: 69-72

Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV. TAPSOFT 1997: 859-862

Wolfgang Reif: The KIV-Approach to Software Verification. KORSO Book 1995: 339-370

Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Three Selected Case Studies in Verification. KORSO Book 1995: 371-387

Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Tactics in KIV. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 293-310 (1994)

Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Formal Specification and Verification Using KIV. FTRTFT 1994: 787-787

Wolfgang Reif: An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. Formal Methods in Programming and Their Applications 1993: 67-80

Wolfgang Reif, Kurt Stenzel: Reuse of Proofs in Software Verification. FSTTCS 1993: 284-293

Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif: KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271

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

Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver: VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS 1993: 175-190

Wolfgang Reif: The KIV System: Systematic Construction of Verified Software. CADE 1992: 753-757

Wolfgang Reif: Verification of Large Software Systems. FSTTCS 1992: 241-252

Wolfgang Reif: Correctness of Generic Modules. LFCS 1992: 406-417

Wolfgang Reif: Correctness of Full First-Order Specifications. SEKE 1992: 276-283

Maritta Heisel, Wolfgang Reif, Werner Stephan: Tactical Theorem Proving in Program Verification. CADE 1990: 117-131

Maritta Heisel, Wolfgang Reif, Werner Stephan: A Dynamic Logic for Program Verification. Logic at Botik 1989: 134-145

Maritta Heisel, Wolfgang Reif, Werner Stephan: Machine-Assisted Program Construction and Modification. GWAI 1989: 338-347

Maritta Heisel, Wolfgang Reif: Bericht über den Workshop ``Logik und Wissensrepräsentation''. KI 2(3): 15-17 (1988)

Maritta Heisel, Wolfgang Reif, Werner Stephan: Implementing Verification Strategies in the KIV-System. CADE 1988: 131-140

Maritta Heisel, Wolfgang Reif, Werner Stephan: Program Verification Using Dynamic Logic. CSL 1987: 102-117

Maritta Heisel, Wolfgang Reif, Werner Stephan: Program Verification by Symbolic Execution and Induction. GWAI 1987: 201-210

Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan: An Interactive Verification System Based on Dynamic Logic. CADE 1986: 306-315