| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan-Philipp Steghöfer, Wolfgang Reif |
Die Guten, die Bösen und die Vertrauenswürdigen - Vertrauen im Organic Computing.  |
Informatik Spektrum  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif |
How to Design and Implement Self-organising Resource-Flow Systems. |
Organic Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Philipp Steghöfer, Wolfgang Reif |
OC-Trust: Towards Trustworthy Organic Computing Systems. |
Organic Computing |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
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 | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
Formal Verification of a Lock-Free Stack with Hazard Pointers. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart |
Design of an automation system for preforming processes in aerospace industries. |
CASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Stenzel, Nina Moebius, Wolfgang Reif |
Formal Verification of QVT Transformations for Code Generation. |
MoDELS |
2011 |
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 | Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif |
On reverse-engineering the KUKA Robot Language |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif |
Automated Flaw Detection in Algebraic Specifications. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif |
A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. |
SASO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
Software Metrics in Static Program Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif |
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. |
ARCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif |
The Robotics API: An object-oriented framework for modeling industrial robotics applications. |
IROS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer |
Designing Self-healing in Automotive Systems. |
ATC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
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 | 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 |
DBLP BibTeX RDF |
|
| 1 | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Pitfalls in Formal Reasoning about Security Protocols. |
ARES |
2010 |
DBLP DOI BibTeX RDF |
formal verification, security protocols |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. |
ESSoS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker |
An Abstract Specification Language for Static Program Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Model-Driven Code Generation for Secure Smart Card Applications. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reif, Guojun Wang, Jadwiga Indulska (eds.) |
Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings |
ATC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
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 | Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif |
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif |
A generic software framework for role-based Organic Computing systems. |
SEAMS |
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 | Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif |
A Specification and Construction Paradigm for Organic Computing Systems. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif |
Compositional Proofs with Symbolic Execution. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 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 | Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif |
Implementing Organic Computing Systems with AgentService. |
ENASE |
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 | Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Verification of Java Programs with Generics. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif |
Organic Computing for Health Care Systems - Possible Benefits and Challenges. |
HEALTHINF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
A Refinement Method for Java Programs. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif |
ASN1-light: A Verified Message Encoding for Security Protocols. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hella Seebach, Frank Ortmeier, Wolfgang Reif |
Design and construction of organic computing systems. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
Verifying Smart Card Applications: An ASM Approach. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis |
| 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 | Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck |
WG2: Software engineering for organic computing applications (SE4OC). |
Software Engineering |
2007 |
DBLP BibTeX RDF |
|
| 1 | Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif |
Modeling of self-adaptive systems with SCADE. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt |
Verification of Medical Guidelines by Model Checking - A Case Study. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Asbru, medical guidelines, Model checking, verification, formal methods, abstraction |
| 1 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Formal Modeling and Verification of Systems with Self-x Properties. |
ATC |
2006 |
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 | Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos |
Interactive Verification of Medical Guidelines. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach |
Towards Safe and Secure Organic Computing Applications. |
GI Jahrestagung |
2006 |
DBLP BibTeX RDF |
|
| 1 | Matthias Güdemann, Frank Ortmeier, Wolfgang Reif |
Safety and Dependability Analysis of Self-Adaptive Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
Developing Provable Secure M-Commerce Applications. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
Object Oriented Verification Kernels for Secure Java Applications. |
SEFM |
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 | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
A Construction Kit for Modeling the Security of M-commerce Applications. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
Interactive Verification of UML State Machines. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ortmeier, Wolfgang Reif |
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
optimization, embedded systems, dependability, safety analysis, fault tree analysis |
| 1 | Dominik Haneberg, Kurt Stenzel, Wolfgang Reif |
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. |
Workshop Mobile Commerce |
2004 |
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 | 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 |
SoftSpez Final Report |
2004 |
DBLP 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 | Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel |
Design for Trust: Security im M-Commerce. |
GI Jahrestagung |
2003 |
DBLP BibTeX RDF |
|
| 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 | Dominik Haneberg, Wolfgang Reif, Kurt Stenzel |
A Method for Secure Smartcard Applications. |
AMAST |
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 | 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 | Wolfgang Reif |
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. |
Inform., Forsch. Entwickl. |
1999 |
DBLP DOI BibTeX RDF |
Softwaretechnik, Qualitätssicherung, Sichere und korrekte Systeme, Formale Methoden, Spezifikation, Verifikation, Maschinelles Beweisen |
| 1 | Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif |
J.UCS Special Issue on Integration of Deduction Systems. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Reif |
Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik. |
KI |
1998 |
DBLP 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 | 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 | Wolfgang Reif |
The KIV-Approach to Software Verification. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")