- Universit at Augsburg KABCROMUNGSHO0
- Universit at Augsburg KABCROMUNGSHO0
- Universitat Augsburg electronic Ticketing
- Universitat Augsburg Verification of Mondex Electronic
- receive send
- Universitat Augsburg A Refinement Method for Java
- Automatische Fehlersuche in Algebraischen Spezifikationen
- Universitat Augsburg Synchronous Parallelism in the Asbru
- Compositional Proofs with Symbolic Execution Simon Baumler, Florian Nafz, Michael Balser, and Wolfgang Reif
- Verification of Java Programs with Generics Kurt Stenzel, Holger Grandy, and Wolfgang Reif
- Automating Algebraic Specifications of Non-freely Generated Data Types
- Bounded Relational Analysis of Free Data Types Andriy Dunets, Gerhard Schellhorn, and Wolfgang Reif
- Introduction Finite Models Bounded Analysis Summary Bounded Relational Analysis
- Universitat Augsburg A Systematic Verification Approach for
- Sicherheit von Smart Card-Anwendungen
- Refinement of Security Protocol Data Types to Java
- Universitat Augsburg The Mondex Challenge: Machine
- Object Oriented Verification Kernels for Secure Java Applications Holger Grandy, Kurt Stenzel, Wolfgang Reif
- Verification of Java Card Programs Dissertation
- DEDUCTIVE CAUSE-CONSEQUENCE ANALYSIS Lehrstuhl fur Softwaretechnik und Programmiersprachen,
- Interactive Verification of UML State Machines Michael Balser1
- Safety Optimization: A combination of fault tree analysis and optimization techniques
- Universitat Augsburg Failure-Sensitive Specification
- Combining Formal Methods and Safety Analysis -The ForMoSA Approach
- A Formally Verified Calculus for Full Java Card Kurt Stenzel
- SAFETY OPTIMIZATION OF A RADIO-BASED RAILROAD CROSSING F. Ortmeier, W. Reif, G.Schellhorn
- Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
- Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
- Safety Analysis of the Height Control System for the Elbtunnel
- Formal Safety Analysis in Transportation Control A. Thums, G. Schellhorn
- Universitat Augsburg The Statemate Reference Model of the
- Universitat Augsburg Verification of JavaCard Programs
- Verification of a Formal Security Model for Multiapplicative Smart Cards
- Formal System Development with KIV Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, and Andreas
- Verified Formal Security Models for Multiapplicative Smart Cards
- Theorems from Compiler Veri cation: A Problem Set for Automated Theorem Provers
- Structured Formal Development in VSE II: The Robertino Case Study
- Interactive Correctness Proofs for Software Modules Using KIV Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel \Lambda
- Interactive Verification of Concurrent Systems using Symbolic Michael Balser, Simon Baumler, Wolfgang Reif, and Gerhard Schellhorn
- INTEGRATED FORMAL METHODS FOR SAFETY ANALYSIS OF TRAIN SYSTEMS
- Formal Safety Analysis in Transportation Control A. Thums, G. Schellhorn
- Verifying Security Protocols: An ASM Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
- Integrated Design and Process Technology, IDPT2002 Printed in the United States of America, June, 2002
- Universit at Augsburg KABCROMUNGSHO0
- Theorem Proving in Large Theories Wolfgang Reif and Gerhard Schellhorn
- Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002
- Universit at Augsburg electronic Ticketing | a Case-Study
- Safety Optimization: A combination of fault tree analysis and optimization techniques
- Veri ed Formal Security Models for Multiapplicative Smart Cards ?
- ASM Refinement and Generalizations of Forward Simulation in Data Refinement
- Structured Speci cations and Interactive Proofs Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel and Michael Balser
- Formal Safety Analysis of Transportation Control Frank Ortmeier, Wolfgang Reif
- KIV 3.0 for Provably Correct Systems Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
- Reuse of Proofs in Software Veri cation Wolfgang Reif and Kurt Stenzel ?
- Flaw Detection in Formal Specifications W. Reif, G. Schellhorn, and A. Thums
- Interactive Veri cation of Statecharts Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, and Wolfgang Reif
- DEDUCTIVE CAUSECONSEQUENCE ANALYSIS Lehrstuhl fur Softwaretechnik und Programmiersprachen,
- Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers ? ??
- Introduction to Subject Area ``Verification'' Frank Ortmeier, Wolfgang Reif, and Gerhard Schellhorn
- The KivApproach to Software Verification ? Wolfgang Reif
- Verifying Concurrent Systems with Symbolic Michael Balser Christoph Duelli Wolfgang Reif
- Formal Safety analysis of a radio-based railroad crossing using Deductive Cause-Consequence
- Verifying Concurrent Systems Symbolic Execution
- SoftwareSicherheit mit formalen Methoden Wolfgang Reif
- Interactive Verification of Statecharts Andreas Thums and Michael Balser
- Verifying Concurrent Systems with Symbolic Michael Balser Christoph Duelli Wolfgang Reif
- Three Selected Case Studies in Verification Thomas Fuch 1 , Wolfgang Reif 2 , Gerhard Schellhorn 2 , Kurt Stenzel 2?
- KIV 3.0 --Concepts and Applications Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
- Universitat Augsburg Embedding CTL
- ELECTRONIC-ONBOARD-TICKETING: SOFTWARE CHALLENGES OF AN STATE-OF-THE-ART
- Formal Safety analysis of a radiobased railroad crossing using Deductive CauseConsequence
- ASM Refinement and Generalizations of Forward Simulation in Data Refinement
- Formal Safety Analysis of Transportation Control Frank Ortmeier, Wolfgang Reif
- Universitat Augsburg Model Checking of Asbru
- Verification of ASM Refinements Using Generalized Forward Simulation
- Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers ?
- Verification of ASM Refinements Using Generalized Forward Simulation
- Universit at Augsburg KABCROMUNGSHO0
- Verification of a Formal Security Model for Multiapplicative Smart Cards #
- A Construction Kit for Modeling the Security of M-Commerce Applications
- A Formally Veri ed Calculus for Full Java Card Kurt Stenzel
- Model Checking FTA A. Thums and G. Schellhorn
- Veri cation of a Prolog Compiler { First Steps with KIV Gerhard Schellhorn
- SAFETY ANALYSIS OF A RADIO-BASED CROSSING CONTROL SYSTEM USING FORMAL
- Verification of Medical Guidelines by Model Checking A Case Study
- Interactive Verification of Statecharts Andreas Thums and Michael Balser
- Safety Analysis of the Height Control System for the Elbtunnel
- Integrating Automated and Interactive Theorem Proving
- A Verified Access Control Model Kurt Stenzel 1
- Universitat Augsburg Verifying Smart Card Applications: An
- Universitat Augsburg Reasoning about Pointer Structures in
- Universit at Augsburg Veri cation of JavaCard Programs
- Safety Analysis of the Height Control System for the Elbtunnel
- INTEGRATEDFORMALMETHODSFORSAFETY ANALYSIS OF TRAIN SYSTEMS
- Formal System Development with KIV Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, and Andreas
- SoftwareVerifikation und ihre Anwendungen \Lambda Wolfgang Reif
- Universitat Augsburg Proving Linearizability with Temporal
- Universit at Augsburg KABCROMUNGSHO0
- Universitat Augsburg The Mondex Case Study
- UITP 2005 Preliminary Version The User Interface of the KIV Verification
- Do you trust your model checker? ? Wolfgang Reif 1 and Jurgen Ruf 2 and Gerhard Schellhorn 1 and Tobias Vollmer 1
- Safety Analysis of the Height Control System for the Elbtunnel
- A Method for Secure Smartcard Applications Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
- Universitat Augsburg Safety Optimization: A combination of
- Introduction to Subject Area "Verification" Frank Ortmeier, Wolfgang Reif, and Gerhard Schellhorn
- UNIVERSIT AT AUGSBURG Formal Semantics of Asbru V2.12
- Model Checking FTA A. Thums and G. Schellhorn
- UNIVERSIT AT AUGSBURG Verifying a Stack with Hazard Pointers
- Universitat Augsburg Verifying Linearizability and
- Local Rely-Guarantee Conditions for Linearizability and Lock-Freedom
- Formal Verification of a Lock-Free Stack with Hazard Pointers
- Interleaved Programs and Rely-Guarantee Reasoning with ITL Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst and Wolfgang Reif
- Temporal Logic Verification of Lock-Freedom Bogdan Tofan, Simon Baumler, Gerhard Schellhorn, and Wolfgang Reif
- Konstruktion selbst-organisierender
