- Aktuell

- Suche

- Kontakt

Publications

An ASCII-like version with all bibentries of the following references can be found here

    2008

  • Embedding CTL* in an Extension to Interval Temporal Logic (ITL)
    Frank Ortmeier, Michael Balser, Andriy Dunets, Simon Bäumler
    Technical Report, Institute of Computer Science, University of Augsburg, October 2008
    abstract;
     
  • Computing Ordered Minimal Critical Sets
    Matthias Guedemann, Frank Ortmeier, Wolfgang Reif
    Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS / FORMAT 2008) (eds. G. Tarnai & E. Schnieder)
    abstract;
     
  • Verification of Medical Guidelines in KIV
    Jonathan Schmitt, Michael Balser, Wolfgang Raif
    Studies in Health Technology and Informatics, Volume 139, IOS Press
    abstract;
     
  • A specification and construction paradigm for Organic Computing systems
    M. Güdemann, F.Nafz, F.Ortmeier, H.Seebach and W.Reif
    To appear in: Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), IEEE Computer Society Press (2008)
    abstract;
     
  • Verification of Java Programs with Generics
    Kurt Stenzel, Holger Grandy, Wolfgang Reif
    J. Meseguer and G. Rosu, editors, Algebraic Methodology and Software Technology (AMAST) 2008, Proceedings. Springer LNCS 5140, 2008. © Springer.
    abstract; Verification of Java Programs with Generics (149 KB); (Springerlink);
     
  • SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications
    N. Moebius, H. Grandy, W. Reif, K. Stenzel
    Technical Report, Institute of Computer Science, University of Augsburg, July 2008
    SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications;
     
  • Automating Algebraic Specifications of Non-freely Generated Data Types
    Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
    Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA 2008), Springer LNCS 5311
    abstract; download PDF version (715 KB); Springerlink;
     
  • ASM Refinement preserving Invariants
    G. Schellhorn
    to appear in JUCS (www.jucs.org)

     
  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    G. Schellhorn, H. Grandy, D. Haneberg, N. Moebius, W. Reif
    Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday. Jean-Raymond Abrial, Uwe Glässer (Editors), LNCS 5115, Springer
    abstract;
     
  • On the Refinement of Atomic Actions
    Richard Banach and Gerhard Schellhorn
    ENTCS, vol. 201, p. 3-30
    link to sciencedirect;
     
  • Completeness of ASM Refinement
    G. Schellhorn
    to appear in ENTCS (www.entcs.org)

     
  • A Concept-Driven Construction of the Mondex Protocol using Three Refinements
    G. Schellhorn and R. Banach
    Proceedings of ABZ 2008, Springer

     
  • Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
    H. Grandy
    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2008 , Logos Verlag Berlin
    abstract; dissertation-grandy (0 KB); Logos; OPUS;
     
  • Electronic ticketing: risks in e-commerce applications
    D. Haneberg
    Digital Excellence: University Meets Economy. Paul J. J. Welfens, Ellen Walther-Klaus (Editors), , Springer
    abstract;
     
  • Simulations-basierte Programmierung von Industrierobotern
    F. Ortmeier, A. Hoffmann, Wolfgang Reif, U. Huggenberger, T. Stumpfegger
    Proceedings of Internationales Forum Mechatronik, September 2008, Stuttgart

     
  • Organic Computing for Health Care Systems
    F. Nafz, F. Ortmeier, H. Seebach, and W. Reif
    Proceedings of International Conference on Health Informatics

     
  • Prototyping Plant Control Software with Microsoft Robotics Studio
    A. Hoffmann, F. Nafz, F. Ortmeier, A. Schierl, and W. Reif
    Proceedings of the Third International Workshop on "Software Development and Integration in Robotics" (SDIR-III), IEEE International Conference on Robotics and Automation, May 2008, Pasadena, USA
    abstract;
     
  • Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code
    H. Grandy, M. Bischof, K. Stenzel, G. Schellhorn, W. Reif
    FM 2008, 15th International Symposium on Formal Methods, Springer LNCS 5018
    SpringerLink;
     
  • Implementing Organic Computing Systems With Agentservice
    Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif
    3rd International Conference on Evaluation of Novel Approaches to Software Engineering
    abstract;
     
  • Developing Safety-Critical Mechatronical Systems
    Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
    7. Internationales Heinz Nixdorf Symposium: Selbstoptimierende mechatronische Systeme, HNI Schriftenreihe
    abstract;
     
  • Bounded Relational Analysis of Free Data Types
    Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
    Proceedings of the International Conference on Tests and Proofs (TAP 2008), Springer LNCS 4966
    abstract; download PDF version (614 KB); Talk (1105 KB); SpringerLink;
     
  • Verification of Mondex electronic purses with KIV: from transactions to a security protocol
    D. Haneberg, G. Schellhorn, H. Grandy, W. Reif
    Formal Aspects of Computing (2008) 20:41-59, Springer
    abstract; SpringerLink;
     

    • 2007

  • Design and Construction of Organic Computing Systems
    Hella Seebach, Frank Ortmeier, Wolfgang Reif
    Proceedings of 2007 IEEE Congress on Evolutionary Computation
    abstract;
     
  • Using Deductive Cause-Consequenc Analysis (DCCA) with SCADE
    Matthias Guedemann, Frank Ortmeier, Wolfgang Reif
    Proceedings of SAFECOMP 2007, LNCS 4680, Springer, LNCS
    abstract;
     
  • A Modeling Framework for the Development of Provably Secure E-Commerce Applications
    Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
    Proceedings of the International Conference on Software Engineering Advances 2007, IEEE Computer Society Press **** Best Paper Award ****
    abstract;
     
  • Verifying Smart Card Applications: An ASM Approach.
    D. Haneberg, H. Grandy, W. Reif, G. Schellhorn
    Proceedings of the conference on integrated Formal Methods 2007 (iFM 2007), Springer LNCS 4591, Springer
    abstract;
     
  • Formal Failure Models
    Frank Ortmeier, Matthias Güdemann, Wolfgang Reif
    Proceedings of the IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07), Elsevier
    abstract;
     
  • Verification of Medical Guidelines using Background Knowledge in Task Networks
    Arjen Hommersom, Perry Groot, Peter J.F. Lucas, Michael Balser, and Jonathan Schmitt
    IEEE Transactions on Knowledge and Data Engineering, Volume 19, Issue 6
    abstract;
     
  • Modeling of self-adaptive systems with SCADE
    Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
    Proceedings of 2007 IEEE International Symposium on Circuits and Systems, IEEE
    abstract;
     
  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif
    Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis, Springer, LNCS
    abstract;
     
  • A Refinement Method for Java Programs
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Proceedings of FMOODS 2007, Springer LNCS 4468, Paphos, Cyprus,
    abstract; SpringerLink;
     
  • ASN1-light: A Verified Message Encoding for Security Protocols
    Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif
    Proceedings of Software Engineering and Formal Methods (SEFM) 2007, IEEE Press, London, England
    abstract; IEEExplore;
     
  • Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol
    Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif
    Formal Aspects of Computing, 2007
    abstract; SpringerLink;
     
  • Experiences in Quality Checking Medical Guidelines using Formal Methods
    Perry Groot, Arjen Hommersom, Peter Lucas, Michael Balser, Jonathan Schmitt
    VVSS, 164-178
    abstract;
     
  • Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines
    Arjen Hommersom, Perry Groot, Peter Lucas, Michael Balser, Jonathan Schmitt
    Knowledge-Based Systems, 20(2):113-119, 2007
    abstract;
     

    • 2006

  • Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol
    D. Haneberg, G. Schellhorn, H. Grandy, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol (284 KB);
     
  • A Refinement Method for Java Programs
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; A Refinement Method for Java Programs (219 KB);
     
  • The Mondex Case Study: From Specifications to Code
    H. Grandy, N. Moebius, M. Bischof, D. Haneberg, G. Schellhorn, K. Stenzel, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; The Mondex Case Study: From Specifications to Code (445 KB);
     
  • Reasoning about Pointer Structures in Java
    Kurt Stenzel, Holger Grandy, Wolfgang Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; Reasoning about Pointer Structures in Java (202 KB);
     
  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    G. Schellhorn, H. Grandy, D. Haneberg, N. Moebius, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg
    abstract; A Systematic Verification Approach for Mondex Electronic Purses using ASMs (279 KB);
     
  • Safety and Dependability Analysis of Self-Adaptive Systems
    M. Güdemann, F. Ortmeier, W. Reif
    Proceedings of ISoLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, IEEE Computer Society Press
    abstract;
     
  • Sicherheit von Smart Card-Anwendungen
    Dominik Haneberg

    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, verfügbar als Buch    , Logos Verlag Berlin
    abstract; Diss-Haneberg-2006 (0 KB);
     
  • Applications and Architectures in Organic Computing (DFG SPP 1183 "Organic Computing")
    Eds.: M. Güdemann, F. Nafz, A. Pietzowski, W. Reif, B. Satzger, H. Seebach, T. Ungerer
    Technischer Bericht 2006-21
    abstract;
     
  • Applications in Organic Computing (DFG SPP 1183 "Organic Computing")
    Eds.: F. Nafz, M. Güdemann, W. Reif, H. Seebach
    Technischer Bericht 2006-22
    abstract;
     
  • Towards Safe and Secure Organic Computing Applications
    Matthias Güdemann, Florian Nafz, Wolfgang Reif and Hella Seebach
    C. Hochberger and R. Liskowsky, editors, INFORMATIK 2006 -- Informatik für Menschen, volume P-93 of GI-Edition -- Lecture Notes in Informatics, Köllen Verlag
    abstract;
     
  • Formal Modeling and Verification of Systems with Self-x Properties
    Matthias Güdemann, Frank Ortmeier and Wolfgang Reif
    Proceedings of the Third International Conference on Autonomic and Trusted Computing (ATC-06), Springer
    abstract;
     
  • The Mondex Challenge: Machine Checked Proofs for an Electronic Purse
    Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
    Proceedings of FM 2006: Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006, Springer LNCS 4085, Springer
    abstract; SpringerLink;
     
  • Interactive Verification of Medical Guidelines
    Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
    Proceedings of FM 2006: Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006, Springer LNCS 4085, Springer
    abstract; SpringerLink;
     
  • Refinement of Security Protocol Data Types to Java
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    PASSWORD at ECOOP 2006, Nantes, France, July 2006
    abstract; 2006-password (0 KB); ;
     
  • Support for Interactive Verification of Asbru in KIV
    Jonathan Schmitt, Michael Balser, Wolfgang Reif
    abstract; Download PS version (2044 KB);
     
  • Formal Semantics of Asbru
    Michael Balser, Christoph Duelli, Wolfgang Reif, Jonathan Schmitt
    abstract; Download PDF version (188 KB);
     
  • Developing Provable Secure M-Commerce Applications
    Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    Emerging Trends in Information and Communication Security, Proceedings. Springer LNCS 3995, 2006.
    abstract;
     
  • Verification of Medical Guidelines using Task Execution with Background Knowledge
    Arjen Hommersom, Perry Groot, Peter Lucas, Michael Balser, Jonathan Schmitt
    4th Prestigous Applications of Intelligent Systems (PAIS 2006)
    abstract;
     
  • Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines
    Arjen Hommersom, Perry Groot, Peter Lucas, Michael Balser, Jonathan Schmitt
    Proceedings of AI-2006, the 26th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
    abstract;
     
  • Verification of Medical Guidelines by Model Checking -- A Case Study
    Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
    Proceedings of the 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, satellite event of ETAPS 2006., Springer LNCS 3925, 219-233
    abstract; download PDF version (365 KB);
     
  • Asbru in KIV, a tutorial
    Jonathan Schmitt, Michael Balser and Wolfgang Reif
    abstract; Download PS version (8702 KB);
     
  • Asbru in KIV v2.1 – A Tutorial
    J. Schmitt, M. Balser, W. Reif
    paper (0 KB);
     
  • Verifying Smart Card Applications: An ASM Approach.
    Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
    Technical Report, Institute of Computer Science, University of Augsburg
    abstract; download PDF version (767 KB);
     
  • The User Interface of the KIV Verification System - A System Description
    Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel
    ENTCS special issue (to appear), Elsevier
    abstract; ENTCS at Elsevier;
     
  • The Mondex Challenge: Machine Checked Proofs for an Electronic Purse
    G. Schellhorn, H. Grandy, D. Haneberg, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg
    abstract; The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (0 KB);
     
  • Formal Fault Tree Analysis - Practical Experiences
    Frank Ortmeier, Gerhard Schellhorn
    In proceedings of AVOCS 2006, Elsevier

     

    • 2005

  • Object Oriented Verification Kernels for Secure Java Applications
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Proceedings of the 3rd International Conference on Software Engineering and Formal Methods - SEFM 2005, September 2005, IEEE Press.
    abstract; 2005-sefm-verification-kernels (0 KB);
     
  • Verifying Concurrent Systems with Symbolic Execution
    Michael Balser
    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2005, Shaker-Verlag
    abstract; download pdf version (1335 KB);
     
  • Verification of Java Card Programs
    Kurt Stenzel
    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2005
    abstract; download pdf version (1110 KB);
     
  • ASM Refinement and Generalizations of Forward Simulation in Data Refinement: A Comparison
    G. Schellhorn
    Theoretical Computer Science, Vol. 336, No. 2-3, pp. 403-436
    abstract; download pdf draft (266 KB); download postscript draft (514 KB);
     
  • The User Interface of the KIV Verification System - A System Description
    Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel
    Proceedings of the User Interfaces for Theorem Provers Workshop (UITP 2005)
    download pdf version (810 KB);
     
  • Verifying Security Protocols: An ASM Approach.
    Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
    Proceedings of the 12th International Workshop on Abstract State Machines (ASM 2005)
    download pdf version (193 KB);
     
  • Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
    F. Ortmeier, W. Reif, and G. Schellhorn
    Proceedings 5th European Dependable Computing Conference, Hungary, April 20-22, 2005, LNCS 3463, Springer
    download pdf version (150 KB); download postscript version (417 KB); bibentry;
     
  • Formale Sicherheitsanalyse: Eine Anwendungsfallstudie - das Höhenkontrollsystem des Elbtunnels in Hamburg
    Frank Ortmeier
    atp - Automatierungstechnische Praxis 2/2005, Oldenbourg Verlag

     
  • Formal Safety Analysis of Transport Control Systems
    Proceedings of TRAIN@SEFM Workshop 2005
    download pdf version (79 KB); download postscript version (217 KB);
     
  • Deductive Cause-Consequence Analysis (DCCA)
    F. Ortmeier, W. Reif, and G. Schellhorn
    Proceedings of the 16th IFAC World Congress Elsevier Jun-2006 ISBN: 978-0-08-045108-4 and 0-08-045108-X
    download pdf version (104 KB); download postscript version (112 KB); bibentry;
     

    • 2004

  • Safety optimization: A combination of fault tree analysis and optimization techniques
    Frank Ortmeier and Wolfgang Reif
    Proceedings of the Conference on Dependable Systems and Networks (DSN'04), IEEE Computer Society 2004, ISBN 0-7695-2052-9
    abstract; download pdf version (203 KB); download postscript version (224 KB); bibentry;
     
  • Failure-sensitive specification: A formal method for finding failure modes
    Frank Ortmeier and Wolfgang Reif
    Technical Report 3, Institut fuer Informatik, University Augsburg
    download pdf version (261 KB); download postscript version (278 KB); bibentry;
     
  • Safety optimization: A combination of fault tree analysis and optimization techniques
    Frank Ortmeier and Wolfgang Reif
    Technical Report 5, Institut fuer Informatik, University Augsburg
    download pdf version (267 KB); download postscript version (277 KB); bibentry;
     
  • Introduction to Subject Area "Verification"
    F. Ortmeier, W. Reif, and G. Schellhorn
    IH. Ehrig, Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147, Springer
    download pdf version (56 KB); download postscript version (77 KB); bibentry;
     
  • Interactive Verification of Statecharts
    A. Thums, G. Schellhorn, F. Ortmeier, and W. Reif
    H. Ehrig, Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147, Springer
    download pdf version (393 KB); download postscript version (120 KB); bibentry;
     
  • Combining Formal Methods and Safety Analysis - the ForMoSA Approach
    F. Ortmeier, A. Thums, G. Schellhorn, and W. Reif
    H. Ehrig, Integration of Software Specification Techniques for Applications in Engineering. LNCS 3147, Springer
    download pdf version (233 KB); bibentry;
     
  • A Formally Verified Calculus for Full Java Card
    K. Stenzel
    C. Rattray, S. Maharaj, and C. Shankland (editors), Algebraic Methodology and Software Technology (AMAST) 2004 Proceedings. Stirling Scotland, July 2004. Springer LNCS 3116
    download pdf version (239 KB); download postscript version (221 KB); bibentry;
     
  • Safety Optimization of a Radio-Based Railroad Crossing
    Frank Ortmeier, Gerhard Schellhorn, Wolfgang Reif
    E. Schnieder, and G. Tarnai, editors: FORMS/FORMAT 2004. Formal Methods for Automation and Safety in Railway and Automotive Systems, Proceedings of Symposium FORMS/FORMAT 2004, Braunschweig, Germany, 2nd and 3rd December 2004. ISBN 3-9803363-8-7.
    download pdf version (152 KB); bibentry;
     
  • A Construction Kit for Modeling the Security of M-Commerce Applications
    Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    Manuel Núñez et al. (Eds.), Applying Formal Methods: Testing, Performance and M/E-Commerce. FORTE 2004 Workshops ITM/EPEW/TheFormEMC Proceedings, LNCS 3236
    download pdf version (249 KB); bibentry;
     
  • Integrated Formal Methods for Safety Analysis of Train Systems
    W. Reif, F. Ortmeier, A. Thums, G. Schellhorn
    Proceedings of the 18th IFIP World Computer Congress, TC Building the Information Society. Kluwer 2004, ISBN 1-4020-8156-1
    download pdf version (71 KB); download postscript version (33 KB); bibentry;
     
  • Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application
    D. Haneberg, W. Reif, K. Stenzel
    K. Pousttchi, K. Turowski (Hrsg.), Mobile Economy - Transaktionen, Prozesse, Anwendungen und Dienste, Proceedings zum 4. Workshop Mobile Commerce, Lecture Notes in Informatics Vol. P-42
    download pdf version (58 KB); bibentry;
     

    • 2003

  • A rediscovered Llull tract and the Augsburg Web Edition of Llull's electoral writings
    M. Drton, G. Hägele, D. Haneberg, F. Pukelsheim, W. Reif
    Le Médiéviste et l'Ordinateur 43 (2003)
    bibentry;
     
  • Safety Analysis of the Height Control System for the Elbtunnel
    Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering and Helmut Trappschuh.
    Journal of Reliability Engineering and System Safety, 81(3), Elsevier
    download pdf version (174 KB); download postscript version (191 KB); bibentry;
     
  • Design for Trust: Security im M-Commerce
    D. Haneberg, A. Kreibich, W. Reif, K. Stenzel
    K. Dittrich, W. König, A. Oberweis, K. Rannenberg, W. Wahlster (Hrsg.), Informatik 2003 - Proceedings der 33. Jahrestagung der Gesellschaft für Informatik Band 1, Lecture Notes in Informatics Vol. P-34
    download second pdf version (163 KB); download pdf version (336 KB); bibentry;
     
  • Model Checking FTA
    A. Thums and G. Schellhorn
    K. Araki and S. Gnesi and D. Mandrioli, FME Formal Methods, Pages 739-757, LNCS 2805, Springer
    download pdf version (245 KB); download postscript version (1378 KB); bibentry;
     
  • Formal Safety Analysis in Transportation Control
    A. Thums, F. Ortmeier
    E. Schnieder, editor, International Workshop on Software Specification of Safety Relevant Transportation Control Tasks, VDI Verlag GmbH
    bibentry;
     
  • Design for Trust: Security im M-Commerce
    D. Haneberg, A. Kreibich, W. Reif, K. Stenzel
    K.P. Jantke, W. S. Wittig, J. Herrmann (Hrsg.), Von e-Learning bis e-Payment 2003 - Tagungsband LIT '03, Akademische Verlagsgesellschaft Aka Berlin
    bibentry;
     

    • 2002

  • electronic Ticketing --- A Smartcard Application Case-Study
    D.Haneberg
    Technical Report, Institute of Computer Science, University of Augsburg, December 2002
    abstract; download pdf version (0 KB); download postscript version (1332 KB); bibentry;
     
  • Formale Methoden und Sicherheitsanalyse
    A. Thums, F. Ortmeier
    Technical Report, University Augsburg, Institut fuer Informatik
    abstract; download pdf version (336 KB); download postscript version (321 KB); bibentry;
     
  • The STATEMATE ReferenceModel of the Reference Case Study `Verkehrsleittechnik'
    J. Klose, A. Thums
    Technical report 2002-1, Institut für Informatik, Universität Augsburg
    abstract; download pdf version (831 KB); download postscript version (487 KB); bibentry;
     
  • Verifying Concurrent Systems with Symbolic Execution
    M. Balser, C. Duelli, W. Reif, and G. Schellhorn
    Journal of Logic and Computation 12
    download pdf version (135 KB); download postscript version (195 KB); bibentry;
     
  • Verified Formal Security Models for Multiapplicative Smart Cards
    G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, D. Toll
    Journal for Computer Security, vol. 10, no. 4, p. 339 - 367, 2002

     
  • Safety Analysis of the Height Control System for the Elbtunnel
    Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering and Helmut Trappschuh
    Proceedings SAFECOMP 2002, Springer Berlin Heidelberg 2002
    download pdf version (178 KB); download postscript version (190 KB); LNCS 2434; bibentry;
     
  • Formal Safety Analysis in Transportation Control
    Andreas Thums, Gerhard Schellhorn
    Proceedings of the Workshop on Software specification for safety relevant transportation control tasks
    download pdf version (102 KB); download postscript version (61 KB); bibentry;
     
  • Formal Fault Tree Semantics
    G. Schellhorn, A. Thums, and W. Reif
    Proceedings of The Sixth World Conference on Integrated Design & Process Technology
    download pdf version (99 KB); download postscript version (71 KB); bibentry;
     
  • A Method for Secure Smartcard Applications
    Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    H. Kirchner, C. Ringeissen, editors, Algebraic Methodology and Software Technology, LNCS 2422, Springer
    download postscript version (1217 KB); Springer LNCS 2422; bibentry;
     
  • Interactive Verification of Statecharts
    A. Thums and M. Balser
    Integration of Software Specification Techniques (INT'02), Technical Report 2002-11, University of Augsburg
    download pdf version (131 KB); download postscript version (150 KB); bibentry;
     

    • 2001

  • electronic Ticketing - a Case-Study
    D.Haneberg
    Technical Report, Institute of Computer Science, University of Augsburg, December 2001
    abstract; download postscript version (480 KB); bibentry;
     
  • Integration formaler Spezifikation und Sicherheitsanalyse
    Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
    Technical report 2001-6, Institut für Informatik, Universität Augsburg
    abstract; download pdf version (300 KB); download postscript version (260 KB); bibentry;
     
  • Verification of JavaCard Programs
    Kurt Stenzel
    Technical report 2001-5, Institut für Informatik, Universität Augsburg
    abstract; download pdf version (796 KB); download postscript version (338 KB); bibentry;
     
  • Verification of ASM Refinements Using Generalized Forward Simulation
    G. Schellhorn
    download pdf version (206 KB); download postscript version (186 KB); available via the J.UCS home page (in volume 7, issue 11); bibentry;
     
  • Ramon Llulls Traktate zu Wahlverfahren: Ziele und Realisierung einer Internet-Edition
    M. Drton, G. Hägele, D. Haneberg, F. Pukelsheim, W. Reif
    Mediävistik und Neue Medien (Hg. I. Bennewitz, K. van Eickels, R. Weichselbaumer), Thorbecke: Stuttgart 2003, 131-140
    Ramon Llull website in math faculty of university Augsburg; bibentry;
     
  • Flaw Detection in Formal Specifications
    W. Reif, G. Schellhorn, and A. Thums
    Proceedings of IJCAR 2001 - Automated Reasoning, Springer Berlin Heidelberg 2001
    download postscript version (194 KB); LNAI 2083; bibentry;
     
  • A rediscovered Llull tract and the Augsburg Web Edition of Llull's electoral writings
    M. Drton, G. Hägele, D. Haneberg, F. Pukelsheim, W. Reif
    Technical report 439, Institut für Mathematik, Universität Augsburg
    Technical report 439;
     

    • 2000

  • Verification of a Formal Security Model for Multiapplicative Smart Cards
    G. Schellhorn, W. Reif, A. Schairer, P. Karger, V. Austel, D.Toll
    Proc. of the 6th European Symposium on Research in Computer Security (ESORICS), Springer LNCS 1895
    download pdf version (176 KB); download postscript version (152 KB); bibentry;
     
  • Formal System Development with KIV
    M. Balser, W. Reif, G. Schellhorn, K. Stenzel, and A. Thums
    T. Maibaum, editor, Fundamental Approaches to Software Engineering, Springer LNCS 1783
    download pdf version (86 KB); download postscript version (35 KB); bibentry;
     
  • Formale Sicherheitsanalyse einer funkbasierten Bahnübergangssteuerung
    W. Reif, G. Schellhorn, and A. Thums
    Fortschritt-Berichte VDI, Reihe 12Forms 2000 -- Formale Techniken für die Eisenbahnsicherung
    bibentry;
     
  • Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
    W. Reif, G. Schellhorn, and A. Thums
    download postscript version (71 KB); bibentry;
     
  • Verifying Concurrent Systems with Symbolic Execution
    M. Balser, C. Duelli, W. Reif, G. Schellhorn
    accepted for ICTL 2000
    bibentry;
     
  • Do You Trust Your Model Checker?
    W. Reif, J. Ruf, G. Schellhorn, T. Vollmer
    Warren A. Hunt, Jr. and Steven D. Johnson, editor, FMCAD 2000: Formal methods in Comuter Aided Design, Springer LNCS 1954
    download pdf version (247 KB); download postscript version (83 KB); bibentry;
     

    • 1999

  • Formal Methods and Tools: Introduction and Overview
    R. Berghammer, Y. Lakhnech, and W. Reif
    R. Berghammer and Y. Lakhnech, editors, Tool Support for System Specification, Development and Verification, Springer Verlag
    bibentry;
     
  • Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz
    W. Reif
    Informatik - Forschung und Entwicklung. 14(3)
    bibentry;
     
  • VSE: Controlling the Complexity in Formal Software Developments
    D. Hutter, H. Mantel, G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif, G. Schellhorn, and K. Stenzel
    Current Trends in Applied Formal Methods, Springer LNCS 1641
    bibentry;
     
  • Structured Formal Development in VSE II: The Robertino Case Study
    G. Rock, W. Stephan, A. Wolpers, M. Balser, W. Reif, and S. Scheer
    Francesca Saglietti and Wolfgang Goerigk, editors, Sicherheit und Zuverlaessigkeit software-basierter Systeme, ITSec
    download postscript version (203 KB); bibentry;
     
  • KIV 3.0 for Provably Correct Systems
    M. Balser, W. Reif, G. Schellhorn, and K. Stenzel
    Current Trends in Applied Formal Methods, Springer LNCS 1641
    download postscript version (102 KB); bibentry;
     
  • Verifikation abstrakter Zustandsmaschinen (Verification of Abstract State Machines)
    G. Schellhorn
    PhD thesis, Universität Ulm, Fakultät für Informatik
    download english pdf version (1133 KB); download english postscript version (438 KB); download german pdf version (1199 KB); download german postscript version (491 KB); bibentry;
     

    • 1998

  • Theorem Proving in Large Theories
    W. Reif and G. Schellhorn
    W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume III: Applications, Chapter 2, Kluwer Academic Publishers
    download postscript version (74 KB); bibentry;
     
  • Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
    W. Reif
    Künstliche Intelligenz 4/98
    bibentry;
     
  • The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV
    G. Schellhorn and W. Ahrendt
    W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume III: Applications, Chapter 3: Automated Theorem Proving in Software Engineering, Kluwer Academic Publishers
    download postscript version (139 KB); bibentry;
     
  • Automated Deduction - A Basis for Applications
    T. Nipkow and W. Reif
    W. Bibel and P. Schmitt, editors, An Introduction to Interactive Theorem Proving, Kluwer Academic Publishers
    bibentry;
     
  • Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
    G. Schellhorn
    Ulmer Informatik-Berichte 98-12
    download postscript version (76 KB); bibentry;
     
  • Formal Support for the Development of Knowledge-based Systems
    D. Fensel, F. v. Hamelen, W. Reif, and A. tenTeije
    Information Technology Management, 2(4)
    bibentry;
     
  • Integrating Automated and Interactive Theorem Proving
    W. Ahrendt, B. Beckert, R. Hähnle, W. Menzel, W.Reif, G. Schellhorn, and P. Schmitt
    W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume II: Systems and Implementation Techniques, Chapter 1: Interactive Theorem Proving, Kluwer Academic Publishers
    download postscript version (79 KB); bibentry;
     
  • Structured specifications and interactive proofs with KIV
    W. Reif, G. Schellhorn, K. Stenzel, and M. Balser
    W. Bibel and P. Schmitt, editors, Automated Deduction - A Basis for Applications, Kluwer Academic Publishers
    download postscript version (158 KB); bibentry;
     
  • Theorems from Compiler Verification: A Problem Set for Automated Theorem Provers
    G. Schellhorn and W. Reif
    Ulmer Informatik-Berichte 98-13
    download postscript version (252 KB); bibentry;
     
  • Software-Sicherheit mit formalen Methoden
    W. Reif
    Softwaretechnik-Trends, 18(3)
    download postscript version (48 KB); bibentry;
     

    • 1997

  • Proving System Correctness with KIV 3.0
    W. Reif, G. Schellhorn, and K. Stenzel
    14th International Conference on Automated Deduction. Proceedings, Springer LNCS 1249
    bibentry;
     
  • Reasoning about Abstract State Machines: The WAM Case Study
    G. Schellhorn and W. Ahrendt
    Journal of Universal Computer Science (J.UCS), 3(4):377-413
    abstract; bibentry;
     
  • Software-Verifikation und ihre Anwendungen
    W. Reif
    it+ti Themenheft Formale Entwurfsmethoden - Software Correctness, Oldenbourg Verlag
    download postscript version (88 KB); bibentry;
     
  • Risikofaktor Software
    W. Reif
    K. Jantke, G. Grieger, and W. Wittig, editors, Impulse für Informatik Innovationen
    bibentry;
     
  • Proving Properties of Finite Enumerations: A Problem Set for Automated Theorem Provers
    G. Schellhorn and W. Reif
    Ulmer Informatik-Berichte 97-12
    download postscript version (71 KB); bibentry;
     
  • Proving System Correctness with KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    M. Bidoit and M. Dauchet, editors, TAPSOFT'97: Theory and Practice of Software Development. Proceedings, Springer LNCS 1214
    bibentry;
     

    • 1996

  • LEX: a case study in development and validation of formal specifications
    A. Heckler, R. Hettler, H. Hußmann, J. Loeckx, W. Reif, G. Schellhorn, and K. Stenzel
    Technical Report A/06/96
    bibentry;
     
  • Pilotanwendungen mit KIV
    K. Stenzel
    Technischer Bericht FI96/06
    bibentry;
     
  • Reuse of Proofs in Software Verification
    W. Reif and K. Stenzel
    SADHANA: Academy Proceedings in Engineering Sciences, 21(2)
    bibentry;
     
  • Kiv 3.0: Concepts and applications
    W. Reif, G. Schellhorn, and K. Stenzel
    Technical report
    download postscript version (288 KB); bibentry;
     
  • Verification of a Prolog Compiler - First Steps with KIV
    G. Schellhorn and W. Ahrendt
    Ulmer Informatik-Berichte 96-05
    download postscript version (449 KB); bibentry;
     
  • Software Verifikation: Stand und Perspektiven
    W. Reif
    Technischer Bericht FI96/06
    bibentry;
     

    • 1995

  • Reuse of Proofs in Software Verification
    W. Reif and K. Stenzel
    J. Köhler, editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs
    bibentry;
     
  • A Method for the Development of Correct Software
    Pepper, Wirsing, Betschko, Broy, Dick, Didrich, Faulhaber, Grieskamp, Hußmann, Mehlich, and Reif
    M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Springer LNCS 1009
    bibentry;
     
  • The VSE Development Method - A Way to Engineer High-Assurance Software Systems
    D. Hutter, B. Langenstein, F. Koob, W. Reif, C. Sengler, W. Stephan, M. Ullmann, M. Wittmann, and A. Wolpers
    Bredereke Gotzheim, editor, GI/ITG Tagung Formale Beschreibungstechniken für verteilte Systeme
    bibentry;
     
  • Three Selected Case Studies in Verification
    T. Fuchß, W. Reif, G. Schellhorn, and K. Stenzel
    M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Springer LNCS 1009
    download postscript version (66 KB); bibentry;
     
  • Tactics in KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    Journal on Information Processing and Cybernetics, 30
    bibentry;
     
  • The KIV-approach to Software Verification
    W. Reif
    M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, Springer LNCS 1009
    download postscript version (101 KB); bibentry;
     
  • Interactive Correctness Proofs for Software Modules Using KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    COMPASS'95 - Tenth Annual Conference on Computer Assurance, Gaithersburg (MD), IEEE press
    download postscript version (80 KB); bibentry;
     

    • 1994

  • Specification and Verification of Distributed Technical Systems with Central Control
    G. Schellhorn and A. Burandt
    C. Lewerentz and T. Lindner, editors, Case Study "Production Cell", A Comparative Study in Formal Software Development. FZI Publication 1/94
    bibentry;
     
  • Tactics in KIV
    W. Reif, G. Schellhorn, and K. Stenzel
    J. Kunze and H. Stoyan, editors, Workshop-Proceedings 18. Deutsche Jahrestagung für Künstliche Intelligenz, KI 94, Gesellschaft für Informatik e. V.
    bibentry;
     
  • A Reflection Mechanism Using Structured Specifications
    W. Reif and A. Schönegge
    J. Kunze and K. Stoyan, editors, Workshop-Proceedings 18. Deutsche Jahrestagung für Künstliche Intelligenz, KI 94, Gesellschaft für Informatik e. V.
    bibentry;
     
  • Specification and Verification of Distributed Technical Systems with Central Control
    G. Schellhorn and A. Burandt
    C. Lewerentz and T. Lindner, editors, Formal Development of Reactive Systems, Springer LNCS 891
    bibentry;
     
  • Specification and Verification of Distributed Technical Systems with Central Control
    G. Schellhorn
    Technical report
    bibentry;
     

    • 1993

  • An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing
    W. Reif
    D. Bjørner, M. Broy, and I. Pottosin, editors, Conference on Formal Methods in Programming and Their Applications, Springer LNCS 735
    bibentry;
     
  • KORSO: Das Verbundprojekt "Korrekte Software"
    H. Hußmann, J. Loeckx, and W. Reif
    Informatik Fachberichte, Springer
    bibentry;
     
  • VSE Verification Support Environment
    M. Ullmann, Hauff, Loevenich, P. Baur, P. Göhner, P. Kejwal, R. Foerster, R. Drexler, W. Reif, W. Stephan, A. Wolpers, D. Hutter, C. Sengler, J. Cleve, and E. Canver
    BSI-Sicherheitskongreß, BSI-Verlag
    bibentry;
     
  • VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien
    M. Ullmann, Hauff, Loevenich, P. Baur, P. Göhner, P. Kejwal, W. Reif, W. Stephan, D. Hutter, C. Sengler, and E. Canver
    3. GI-Fachtagung Verläßliche Informationssysteme VIS. Proceedings
    bibentry;
     
  • A Verified Access Control Model
    K. Stenzel
    Technical Report 26/93
    download postscript version (265 KB); bibentry;
     
  • Reuse of Proofs in Software Verification
    W. Reif and K. Stenzel
    R. Shyamasundar, editor, Foundation of Software Technology and Theoretical Computer Science. Proceedings, Bombay, India, pages 284-293, Springer LNCS 761
    download postscript version (82 KB); bibentry;
     

    • 1992

  • The KIV-System: Systematic Construction of Verified Software
    W. Reif
    D. Kapur, editor, 11th Conference on Automated Deduction. Proceedings, Springer LNAI 607
    bibentry;
     
  • The Verification Support Environment VSE
    P. Baur, T. Plasa, P. Kejwal, R. Drexler, W. Reif, W. Stephan, A. Wolpers, D. Hutter, C. Sengler, and E. Canver
    Conference on Safety, Security and Reliability of Computers, Pergamon Press
    bibentry;
     
  • Verification of Large Software Systems
    W. Reif
    R. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science. Proceedings, Springer LNCS 652
    bibentry;
     
  • Correctness of Generic Modules
    W. Reif
    Nerode and Taitslin, editors, Symposium on Logical Foundations of Computer Science, Logic at Tver, Tver, Russia, Springer LNCS 620
    bibentry;
     
  • Correctness of Full First-Order Specifications
    W. Reif
    4th Conference on Software Engineering and Knowledge Engineering. Proceedings, IEEE press
    bibentry;
     

    • 1991

  • Formal Software Development in the KIV System
    M. Heisel, W. Reif, and W. Stephan
    R. McCartney and M. Lowry, editors, Automating Software Design, AAAI press
    bibentry;
     

    • 1990

  • Tactical Theorem Proving in Program Verification
    M. Heisel, W. Reif, and W. Stephan
    M. Stickel, editor, 10th International Conference on Automated Deduction. Proceedings, Springer LNCS 449
    bibentry;
     
  • Der Karlsruhe Interactive Verifier (KIV). Eine Übersicht
    M. Heisel, W. Menzel, W. Reif, and W. Stephan
    H. Kersten, editor, Sichere Software, Formale Spezifikation und Verifikation vertrauenswürdiger Systeme, Hütig Verlag
    bibentry;
     

    • 1989

  • A Dynamic Logic for Program Verification
    M. Heisel, W. Reif, and W. Stephan
    A. Meyer and M. Taitslin, editors, Logical Foundations of Computer Science, Logic at Botik, Pereslavl-Zalessky, Russia, pages 134-145, Springer LNCS 363
    bibentry;
     
  • Machine-Assisted Program Construction and Verification
    M. Heisel, W. Reif, and W. Stephan
    13th German Workshop on Artifical Intelligence. Proceedings. number 216 in Springer Informatik Fachberichte 216
    bibentry;
     
  • Formal Software Development in the KIV-System
    M. Heisel, W. Reif, and W. Stephan
    IJCAI-89 Workshop on Automating Software Design, Proceedings, International Joint Conference on Artificial Intelligence
    bibentry;
     

    • 1988

  • Program Verification Using Dynamic Logic
    M. Heisel, W. Reif, and W. Stephan
    E. Börger, H. Kleine Büning, and M. Richter, editors, 1st Workshop on Computer Science Logic. Proceedings, Springer LNCS 329
    bibentry;
     
  • Implementing Verification Strategies in the KIV-System
    M. Heisel, W. Reif, and W. Stephan
    E. Lusk and R. Overbeek, editors, 9th International Conference on Automated Deduction. Proceedings, Springer LNCS 310
    bibentry;
     

    • 1987

  • Program Verification by Symbolic Execution and Induction
    M. Heisel, W. Reif, and W. Stephan
    K. Morik, editor, 11th German Workshop on Artifical Intelligence. Proceedings, Springer Informatik Fachberichte 152
    bibentry;
     

    • 1986

  • An Interactive Verification System Based on Dynamic Logic
    R. Hähnle, M. Heisel, W. Reif, and W. Stephan
    J. Siekmann, editor, 8th International Conference on Automated Deduction. Proceedings, Springer LNCS 230
    bibentry;
     

  • Dissertations

     

  • Diplomarbeiten