Suche

Sitemap

Kontakt

E-Mail

Publications

2013

RGITL: A Temporal Logic Framework for Compositional Reasoning about Interleaved Programs
G. Schellhorn, B. Tofan, G. Ernst, J. Pfähler, and W. Reif
Journal Annals of Mathematics and Artificial Intelligence (AMAI), Springer, accepted
abstract;

Model-based, Adaptive Testing of Organic Computing Systems
Benedikt Eberhardinger
Proceedings of the First Organic Computing Doctoral Dissertation Colloquium, Technical Report 2013-05
abstract; Article available on the publication server of the University of Augsburg;

Synthesis of Observers for Autonomic Evolutionary Systems from Requirements Models
Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif
Proceedings of the IFIP/IEEE IM 2013 Workshop: 6th Intl. Workshop on Distributed Autonomous Network Management Systems (DANMS 2013)
abstract;

Verification of a Virtual Filesystem Switch
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, and Wolfgang Reif
In Proc. of Fifth Working Conference on Verified Software: Theories, Tools and Experiments (to appear)
abstract; Verification of a Virtual Filesystem Switch (475 KB);

Trust-Based Scenarios – Predicting Future Agent Behavior in Open Self-Organizing Systems
Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif
Proceedings of the 7th International Workshop on Self-Organizing Systems (IWSOS 2013)

Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen
Nina Moebius
Dissertation, Fakultät für Angewandte Informatik,Universität Augsburg, 2013
abstract; OPUS Universität Augsburg;

TEMAS - A Trust-Enabling Multi-Agent System for Open Environments
Gerrit Anders, Florian Siefert, Nizar Msadek, Rolf Kiefhaber, Oliver Kosak, Wolfgang Reif, Theo Ungerer
Technical Report 2013-04
Article available on the publication server of the University of Augsburg;

Reference Architectures for Trustworthy Energy Management, Desktop Grid Computing Applications, and Ubiquitous Display Environments
Gerrit Anders, Jan-Philipp Steghöfer, Lukas Klejnowski, Michael Wißner, Stephan Hammer, Florian Siefert, Hella Seebach, Yvonne Bernard, Wolfgang Reif, Elisabeth André, Christian Müller-Schloer
Technical Report 2013-05
Article available on the publication server of the University of Augsburg;

HiSPADA: Self-Organising Hierarchies for Large-Scale Multi-Agent Systems
Jan-Philipp Steghöfer, Pascal Behrmann, Gerrit Anders, Florian Siefert, Wolfgang Reif
Proceedings of the Ninth International Conference on Autonomic and Autonomous Systems (ICAS), IARIA

Trusted Community - A Trust-Based Multi-Agent Organisation for Open Systems
Lukas Klejnowski, Yvonne Bernard, Gerrit Anders, Christian Müller-Schloer, Wolfgang Reif
Proceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART)

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures
Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif
Assurances for Self-Adaptive Systems, Lecture Notes in Computer Science, Vol. 7740, Springer-Verlag Berlin Heidelberg
abstract; Springer Link;

2012

A Formal Model of a Virtual Filesystem Switch
Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif
In Proc. of Systems Software Verification, pp 33-45, EPTCS Vol. 102
abstract; A Formal Model of a Virtual Filesystem Switch (233 KB);

Model-Driven Development of Secure Service Applications
Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif
Proceedings of the 35th IEEE Software Engineering Workshop (SEW-35), IEEE CS Press
abstract;

Incremental Development of large, secure Smart Card Applications
Nina Moebius, Kurt Stenzel, Marian Borek and Wolfgang Reif
Proceedings of Model-Driven Security Workshop 2012, ACM Digital Library
abstract;

On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty
Gerrit Anders, Christian Hinrichs, Florian Siefert, Pascal Behrmann, Wolfgang Reif, and Michael Sonnenschein
Proceedings of the 2012 Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO)

A Decentralized Multi-Agent Algorithm for the Set Partitioning Problem
Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, and Wolfgang Reif
Proceedings of the 15th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2012)

Konstruktion selbst-organisierender Softwaresysteme
Hella Seebach
Lecture Notes in Informatics, Steffen Hölldobler et al. (Hrsg.): "Ausgezeichnete Informatikdissertationen 2011", GI-Edition, Volume D-12, pp. 201-210, Köllen Druck+Verlag GmbH, Bonn
abstract;

Instantaneous Switching between Real-Time Commands for Continous Execution of Complex Robotic Tasks
Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif
Proc. IEEE International Conference on Mechatronics and Automation (ICMA) 2012, Chengdu, China, August 5 - 8, 2012

Two-arm robot teleoperation using a multi-touch tangible user interface
Andreas Angerer, Andreas Bareth, Alwin Hoffmann, Andreas Schierl, Michael Vistein and Wolfgang Reif
Proc. 9th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2012), Rome, Italy, July 28-31, 2012

From Robot Command to Real-Time Robot Control
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif
Proc. 9th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2012), Rome, Italy, July 28-31, 2012

How to prove algorithms linearizable
G. Schellhorn, J.Derrick, and H. Wehrheim
In Proc. of Computer Aided Verification (CAV), Springer, LNCS, vol 7358, pp. 243-259, 2012
abstract;

Proving linearizability of multiset with local proof obligations
O. Travkin, H. Wehrheim, G. Schellhorn
In Proc. of Automated Verification of Critical Systems (AVoCS) , ECEASST, Vol. 53, ISSN 1863-2122, 2012
abstract;

Confidence as a Means to Assess the Accuracy of Trust Values
Rolf Kiefhaber, Gerrit Anders, Florian Siefert, Theo Ungerer, and Wolfgang Reif
Proceedings of the 2012 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
Axel Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
Railway Safety, Reliability, and Security: Technologies and Systems Engineering, IGI Global, 2012
Book Website;

Using Java for Real-Time Critical Industrial Robot Programming
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, and Wolfgang Reif
Workshop on Software Development and Integration in Robotics (SDIR VII), 2012 IEEE International Conference on Robotics and Automation (ICRA 2012), St. Paul, Minnesota, USA, May 14, 2012
extended abstract (281 KB); slides (2241 KB); Workshop;

The COST IC0701 Verification Competition 2011
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen and Mattias Ulbrich
In Proc. of Formal Verification of Object-Oriented Software (FoVeOOS), pp 3-21, Springer (LNCS)

Formal Verification of Information Flow Secure Systems with IFlow
Peter Fischer, Kuzman Katkalov, Kurt Stenzel, and Wolfgang Reif
Technical Report 2012-05, Institute of Computer Science, University of Augsburg
Article available on the publication server of the University of Augsburg;

SecureMDD: Transformation of a UML application model to executable code
Nina Moebius, Marian Borek, Kurt Stenzel, Wolfgang Reif
Technical Report 2012-11, Technical Report 2012-11, Institute of Computer Science, University of Augsburg
abstract; Article available on the publication server of the University of Augsburg;

Model-Driven Development of Secure Service Applications introduced by a Banking System Example
Marian Borek, Kurt Stenzel, Nina Moebius, Wolfgang Reif
Technical Report 2012-03, Universität Augsburg

Model-Driven Code Generation for Information Flow Secure Systems with IFlow
Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Wolfgang Reif
Technical Report 2012-04, Institute of Computer Science, University of Augsburg
Article available on the publication server of the University of Augsburg;

SecureMDD: Transformation of a UML application model to a formal specification
Nina Moebius, Marian Borek, Kurt Stenzel, Wolfgang Reif
Technical Report 2012-10, Technical Report 2012-10, Institute of Computer Science, University of Augsburg
abstract; Article available on the publication server of the University of Augsburg;

Die Guten, die Bösen und die Vertrauenswürdigen – Vertrauen im Organic Computing
Jan-Philipp Steghöfer, Wolfgang Reif
Informatik-Spektrum, Volume 35, Number 2 (2012), pp. 119-131, Springer Berlin / Heidelberg
Springer Link;

On the Correctness of the SIMT Execution Model of GPUs (ESOP'12 Paper)
Axel Habermaier, Alexander Knapp
LNCS 7211, Springer

Towards Model-based Evolution for Robot-based Automation
Dominik Haneberg, Alwin Hoffmann, Hella Seebach, Michael Vistein, and Wolfgang Reif
Modellierung in der Automatisierungstechnik (MAT 2012), Workshop im Rahmen der Modellierung 2012, Bamberg, Germany, March 15, 2012
Workshop;

Report on the RS3 Topic Workshop "Security Properties in Software Engineering"
Martin Ochoa, Sebastian Pape, Thomas Ruhroth, Barbara Sprick, Kurt Stenzel, Henning Sudbrock
Technical Report 2012-02, Institute of Computer Science, University of Augsburg
Article available on the publication server of the University of Augsburg;

A Generic Framework for Simulating the EEX Power Market in Agent-Based Energy Management Applications
Florian Siefert, Gerrit Anders, Matthias Sommer, Wolfgang Reif
Proceedings of the Power and Energy Student Summit 2012

On the Correctness of the SIMT Execution Model of GPUs (Technical Report)
Axel Habermaier, Alexander Knapp
Technical Report 2012-01, Institute of Computer Science, University of Augsburg
abstract; Article available on the publication server of the University of Augsburg;

2011

Konstruktion selbst-organisierender Softwaresysteme
Hella Seebach
Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2011 , Logos Verlag Berlin
abstract; Dissertation Hella Seebach (6493 KB); Logos Verlag;

Verification of B+ Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving
Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif
In Proc. of Software Engineering and Formal Methods (SEFM), pp 188-203, Springer (LNCS)
abstract; Verification of B+ Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving (530 KB);

Formal Verification of QVT Transformations for Code Generation
Kurt Stenzel, Nina Moebius, Wolfgang Reif
Proceedings of MODELS 2011 - 14th International Conference on Model Driven Engineering Languages and Systems, Springer LNCS 6981
abstract; Springer link;

The Model of Computation of CUDA and its Formal Semantics
Axel Habermaier
Technical Report 2011-14, Institute of Computer Science, University of Augsburg
abstract; Article available on the publication server of the University of Augsburg;

Simulating a Flash File System with CoreASM and Eclipse
Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst
GI Lecture Notes in Informatics 192: Informatik 2011, Gesellschaft für Informatik
abstract;

Patterns to Measure and Utilize Trust in Multi-Agent Systems
Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, and Wolfgang Reif
Proceedings of the 2011 Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (SASOW)

On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems
J. Sudeikat, J.-P. Steghöfer, H. Seebach, W. Reif, W. Renz, T. Preisler, P. Salchow
Journal: "Information and Software Technology", Elsevier
abstract; ElsevierLink;

Service-orientierte Modellierung einer Robotermontagezelle
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif
Internationales Forum Mechatronik 2011, Cham, Germany, September 21-22, 2011
abstract;

Formal Verification of a Lock-Free Stack with Hazard Pointers
B. Tofan, G. Schellhorn, and W. Reif
In Proc. of International Colloquium on Theoretical Aspects of Computing (ICTAC), Springer, LNCS, vol. 6916, pp. 239 - 255
abstract;

Local Rely-Guarantee Conditions for Linearizability and Lock-Freedom
B.Tofan, G. Schellhorn, and W. Reif
In Pre-Proceedings of Conference on Formal Verification of Object Oriented Software (FoVeOOS), Karlsruhe Reports in Informatics, vol. 26, pp. 342 - 359
abstract;

Interleaved Programs and Rely-Guarantee Reasoning with ITL
G. Schellhorn, B.Tofan, G. Ernst, and W. Reif
In Proc. of International Symposium on Temporal Representation and Reasoning in AI (TIME), IEEE (CPS), P4508, pp. 99 - 106
abstract;

The COST IC0701 Verification Competition 2011
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
In Proc. of Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Springer, LNCS
abstract; Springer Link;

Mondex: Engineering a Provable Secure Electronic Purse
Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
International Journal of Software and Informatics, 5(1):159-184, 2011. http://www.ijsi.org
abstract;

Design of an Automation System for Preforming Processes in Aerospace Industries
Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif and Gunther Reinhart
Proc. 7th IEEE Conference on Automation Science and Engineering (CASE 2011), Trieste, Italy, August 24-27, 2011
Nominated for IEEE CASE Spansion Best Conference Paper Award
abstract; IEEE Xplore;

Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.
Peter Fischer, Florian Nafz, Hella Seebach und Wolfgang Reif
OC '11 Proceedings of the 2011 workshop on Organic computing, ACM New York
abstract; ACMLink;

Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, and H. Wehrheim
Journal ACM Transactions on Programming Languages and Systems (TOPLAS) , ACM New York, Volume 33 Issue 1, Article No. 4, January 2011
abstract;

Verifying linearisability with potential linearisation points
J. Derrick, G. Schellhorn, and H. Wehrheim
In Proc. of Formal Methods (FM), Springer, LNCS, vol. 6664, pp. 323 - 337
abstract;

How to Design and Implement Self-organising Resource-Flow Systems
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer und Wolfgang Reif
Christian Müller-Schloer, Hartmut Schmeck und Theo Ungerer (Ed.): Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Birkhäuser, Springer
abstract; Springer Link;

Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, und Wolfgang Reif
Christian Müller-Schloer, Hartmut Schmeck und Theo Ungerer (Ed.): Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Birkhäuser, Springer
abstract; Springer Link;

Developing Self-Organizing Robotic Cells using Organic Computing Principles
Alwin Hoffmann, Florian Nafz, Hella Seebach, Andreas Schierl, and Wolfgang Reif
Yan Meng and Yaochu Jin (Ed.): Bio-Inspired Self-Organizing Robotic Systems, Studies in Computational Intelligence, Volume 355, Springer-Verlag, Berlin/Heidelberg
abstract; Springer Link;

Decentralized Reconfiguration for Self-Organizing Resource-Flow Systems Based on Local Knowledge
Gerrit Anders, Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, and Wolfgang Reif
Proceedings of the 8th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011)
abstract;

A Genetic Algorithm for Self-Optimization in Safety-Critical Resource-Flow Systems
Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif
IEEE Symposium Series in Computational Intelligence 2011 (SSCI 2011)

Reference Architectures for Trustworthy Energy Management and Desktop Grid Computing Applications
Gerrit Anders, Lukas Klejnowski, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif
Technical Report 2011-11
Article available on the publication server of the University of Augsburg;

The Trust-Enabling Middleware: Introduction and Application
Rolf Kiefhaber, Florian Siefert, Gerrit Anders, Theo Ungerer, Wolfgang Reif
Technical Report 2011-10
Article available on the publication server of the University of Augsburg;

Verifying a Stack with Hazard Pointers in Temporal Logic
B. Tofan, G. Schellhorn, and W. Reif
Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2011-08
abstract;

Self-Organized Middle-Out Abstraction
Sebastian von Mammen, Jan-Philipp Steghöfer, Jörg Denzinger, Christian Jacob
Proceedings of the Fifth International Workshop on Self-Organizing Systems (IWSOS 2011)
abstract; Springer Link;

Proving Linearizability with Temporal Logic
S. Bäumler, G. Schellhorn, B. Tofan and W. Reif
Journal of Formal Aspects of Computing (FAC), Springer, 23(1), pp. 91 - 112
abstract;

2010

Software Metrics in Static Program Analysis
Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif
ICFEM 2010 - 12th International Conference on Formal Engineering Methods, Springer LNCS 6447

Engineering Self-Coordinating Software Intensive Systems
W. Schäfer, M. Birattari, J. Blsmer, M. Dorigo, G. Engels, R. O'Grady, M. Platzner, F. Rammig, W. Reif, A. Trächtler
International Symposium on the Foundations of Software Engineering 2010, Workshop on the Future of Software Engineering Research, Santa Fe, New Mexico, USA, ACM Sigsoft

Objektorientierte Programmierung von Industrierobotern
Andreas Angerer, Markus Bischof, Alexander Chekler, Alwin Hoffmann, Wolfgang Reif, Andreas Schierl, Christian Tarragona, Michael Vistein
Internationales Forum Mechatronik 2010, Winterthur, Switzerland, November 3-4, 2010
abstract;

Designing Self-Healing in Automotive Systems
Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer
Proceedings of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Springer
abstract;

A Formal Framework for Compositional Verification of Organic Computing Systems
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, and Wolfgang Reif
Proceedings of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Springer
abstract;

Trustworthy Organic Computing Systems: Challenges and Perspectives
Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth André, Jörg Hähner, and Christian Müller-Schloer
Proceedings of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Springer
abstract; Springer Link;

The Robotics API: An Object-Oriented Framework for Modeling Industrial Robotics Applications
Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010), October 18 - 22, 2010, Taipeh, Taiwan
abstract; IEEE Xplore;

On reverse-engineering the KUKA Robot Language
Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif
Proceedings of the 1st International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob’10), 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010), October 18 - 22, 2010, Taipeh, Taiwan
abstract; Workshop;

Structuring and Controlling Distributed Power Sources by Autonomous Virtual Power Plants
Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Hella Seebach, Florian Nafz, Wolfgang Reif
Proceedings of the IEEE Power and Energy Student Summit (PESS) 2010, IEEE

Formal Specification and Analysis of Trusted Communities
Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer
Proceedings of the Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems, IEEE
abstract; IEEE Xplore;

A Software Engineering Guideline for Self-organizing Resource-Flow Systems
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, and Wolfgang Reif
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010)
abstract;

Design and Simulation of a Wave-like Self-Organization Strategy for Resource-Flow Systems
Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, and Peter Salchow
Proceedings of the 4th International Workshop on Multi-Agent Systems and Simulation (MAS&S 2010)
abstract;

Embedding Rely-Guarantee Reasoning in Temporal Logic
B. Tofan, G. Schellhorn, S. Bäumler, and W. Reif
Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2010-07
abstract;

Automated Cutting and Handling of Carbon Fiber Fabrics in Aerospace Industries
Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart, and Gerhard Strasser
6th IEEE Conference on Automation Science and Engineering (CASE 2010), Toronto, Canada, August 21-24, 2010
abstract; IEEE Xplore;

Interfacing Industrial Robots using Realtime Primitives
Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif
2010 IEEE International Conference on Automation and Logistics (ICAL), August 16 - 20, 2010, Hong Kong
abstract;

Temporal Logic Verification of Lock-Freedom
B. Tofan, S. Bäumler, G. Schellhorn, and W. Reif
In Proc. of Mathematics of Program Construction (MPC), Springer, LNCS, vol. 6120, pp. 377 - 396
abstract;

Towards Object-Oriented Software Development for Industrial Robots
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, and Wolfgang Reif
Proc. 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010), Funchal, Madeira, Portugal, June 15-18, 2010
abstract;

A Wave-like Decentralized Reconfiguration Strategy for Self-organizing Resource-Flow Systems (Extended Abstract)
Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, and Peter Salchow
Proceedings of the First International Workshop on Decentralized Coordination of Distributed Processes (DCDP)
abstract; Proceedings (PDF);

Software Engineering in der Industrierobotik: der SoftRobot-Ansatz
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif
Entwurf komplexer Automatisierungssysteme (EKA) 2010, May 25-27, 2010, Magdeburg, Germany
abstract;

Developing Self-Organizing Robotic Cells using Organic Computing Principles
Alwin Hoffmann, Florian Nafz, Hella Seebach, Andreas Schierl, and Wolfgang Reif
Workshop on Bio-Inspired Self-Organizing Robotic Systems, 2010 IEEE International Conference on Robotics and Automation (ICRA 2010), Anchorage, Alaska, USA, May 3-8, 2010
abstract; Workshop;

Improving the Efficiency of Self-Organizing Emergent Systems by an Advisor
Jan-Philipp Steghöfer, Jörg Denzinger, Holger Kasinger, Bernhard Bauer
Proceedings of the 7th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2010)
abstract;

Interactive verification of concurrent systems using symbolic execution
S. Bäumler, M. Balser, F. Nafz, W. Reif and G. Schellhorn
European Journal on Artificial Intelligence (AI Communications), Vol. 23, Number 2-3 / 2010, p. 285-307, DOI 10.3233/AIC-2010-0458, IOS Press
abstract;

On Deadlocks and Fairness in Self-organizing Resource-Flow Systems
Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif
Proceedings of ARCS 2010 - Architecture of Computing Systems, Springer
abstract;

Pitfalls in Formal Reasoning about Security Protocols
Nina Moebius, Kurt Stenzel, Wolfgang Reif
Proceedings of ARES 2010 - Fifth International Conference on Availability, Reliability and Security, IEEE Press
abstract;

Automatische Fehlersuche in Algebraischen Spezifikationen
Andriy Dunets

Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, 2010.
abstract; dissertation (2364 KB);

Formal Verification of Application-Specific Security Properties in a Model-Driven Approach
N. Moebius, K. Stenzel, W. Reif
International Symposium on Engineering Secure Software and Systems 2010 (ESSoS), Springer LNCS 5965
abstract; Springer link;

Automated Flaw Detection in Algebraic Specifications
A. Dunets, G. Schellhorn, W. Reif
Journal of Automated Reasoning (2010), JARS-D-08-00041R3, Springer
abstract;

2009

Verifying Linearizability and Lock-Freedom with Temporal Logic
B. Tofan, S. Bäumler, G. Schellhorn, and W. Reif
Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2009-20
abstract;

Abstract Specification of the UBIFS File System for Flash Memory
Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
Proceedings of FM 2009: Formal Methods, pages 190-206, Springer Berlin / Heidelberg
abstract;

A Cryptographically t-Private Auction System
Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert
Proceedings of 3rd International Conference on Network and System Security (NSS) 2009, IEEE/ACM Digital Libary
abstract;

Hiding Real-Time: A new Approach for the Software Development of Industrial Robots
Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein and Wolfgang Reif
2009 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), October 11 - 15, 2009, St. Louis, MO, USA
abstract; IEEE Xplore;

Object-Centric Programming: A New Modeling Paradigm for Robotic Applications
Andreas Angerer, Alwin Hoffmann, Frank Ortmeier, Michael Vistein and Wolfgang Reif
2009 IEEE International Conference on Automation and Logistics, August 5 - 7, 2009, Shenyang, China
abstract; IEEE Xplore;

Model Checking of Asbru
Andriy Dunets, Simon Bäumler, Arjen Hommersom, Wolfgang Reif
Technical Report, Institute of Computer Science, University of Augsburg, Juli 2009
abstract; techreportAsbru (412 KB);

Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Andriy Dunets, Michael Balser, Wolfgang Reif
Technical Report, Institute of Computer Science, University of Augsburg, Juli 2009
abstract;

Completeness of Fair ASM Refinement
Gerhard Schellhorn
Science of Computer Programming, Elsevier
abstract; sciendirect link;

An Abstract Specification Language for Static Programm Analysis
Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck and Ansgar Fehnker
Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009), Elsevier B.V.
abstract;

Learning Task Patterns to Improve Efficiency and Coordination in Decentralized Autonomic Computing Systems
Jan-Philipp Steghöfer, Jörg Denzinger, Holger Kasinger, Bernhard Bauer
Technical Report Universität Augsburg
abstract; Artikel im Publikationsverzeichnis der Universität Augsburg;

Robotik aus Redmond - Das Potential des Microsoft Robotics Developer Studio
Andreas Angerer, Alwin Hoffmann, Dr. Frank Ortmeier, Michael Vistein
Computer & Automation 04/2009, WEKA FACHMEDIEN GmbH
abstract; Artikel bei Computer & Automation;

A universal self-organization mechanism for role-based Organic Computing systems
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif
Proceedings of the Sixth International Conference on Autonomic and Trusted Computing (ATC-09)
abstract;

Modeling Security-Critical Applications with UML in the SecureMDD Approach
N. Moebius, W. Reif, K. Stenzel
International Journal On Advances in Software (2008) 1:59-79, IARIA
abstract; IariaJournals;

A generic software framework for role-based Organic Computing systems
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif
SEAMS 2009: ICSE 2009 Workshop Software Engineering for Adaptive and Self-Managing Systems, IEEE/ACM Digital Library
abstract;

Model-Driven Code Generation for Secure Smart Card Applications
N. Moebius, K. Stenzel, H. Grandy, W. Reif
Proceedings of the 20th Australian Software Engineering Conference , IEEE Computer Society Press (2009)
abstract;

Generating Formal Specifications for Security-Critical Applications - A Model-Driven Approach
N. Moebius, K. Stenzel, W. Reif
ICSE 2009 Workshop: International Workshop on Software Engineering for Secure Systems (SESS'09), IEEE/ACM Digital Libary
abstract;

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications
N. Moebius, K. Stenzel, H. Grandy, W. Reif
ARES 2009 Workshop: Proceedings of the Third International Workshop on Secure Software Engineering, IEEE Computer Society Press (2009)
abstract;

2008

Proving linearizability with Temporal Logic
S. Bäumler, G. Schellhorn, M. Balser, W. Reif
Technical Report, Institute of Computer Science, University of Augsburg, December 2008
abstract; techreport (0 KB);

Synchronous Parallelism in the Asbru Language
S. Bäumler, M. Balser, W. Reif, J. Schmitt
Technical Report, Institute of Computer Science, University of Augsburg, December 2008
abstract; technicalReport_asbruParallelSynchron_2008-11 (0 KB);

Interactive Verification of Concurrent Systems using Symbolic Execution
Simon Bäumler, Michael Balser, Wolfgang Reif, Gerhard Schellhorn
LPAR 2008 Workshop: The 7th International Workshop on the Implementation of Logics, CEUR Workshop Proceedings, Vol. 418
abstract; Paper (0 KB);

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; 2008-ctl-in-itl-embedding (3334 KB);

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 Reif
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
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008), IEEE Computer Society Press (2008)
abstract;

Compositional Proofs with Symbolic Execution
Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008 Sydney, Australia, August 10-11, 2008., CEUR Workshop Proceedings, Vol. 372
abstract; verify08_paper (0 KB);

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);

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;

Completeness of ASM Refinement
G. Schellhorn
Electronic Notes in Theoretical Computer Science (ENTCS) Vol 214, p. 25-49, 2008
abstract; link to sciencedirect;

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;

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

ASM Refinement preserving Invariants
G. Schellhorn
JUCS (www.jucs.org)
link to jucs;

On the Refinement of Atomic Actions
Richard Banach and Gerhard Schellhorn
ENTCS, vol. 201, p. 3-30
link to sciencedirect;

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;

Simulations-basierte Programmierung von Industrierobotern
F. Ortmeier, A. Hoffmann, Wolfgang Reif, U. Huggenberger, T. Stumpfegger
Proceedings of Internationales Forum Mechatronik, September 2008, Stuttgart

Electronic ticketing: risks in e-commerce applications
D. Haneberg
Digital Excellence: University Meets Economy. Paul J. J. Welfens, Ellen Walther-Klaus (Editors), , Springer
abstract;

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; Workshop;

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

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;

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;

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;

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);

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 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);

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 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);

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);

Formale Sicherheitsanalyse: Eine Anwendungsfallstudie - das Höhenkontrollsystem des Elbtunnels in Hamburg
Frank Ortmeier
atp - Automatierungstechnische Praxis 2/2005, Oldenbourg Verlag

2004

Interactive Verification of UML State Machines
Simon Bäumler, Michael Balser, Alexander Knapp, Wolfgang Reif, Andreas Thums
6th International Conference on Formal Engineering Methods, ICFEM 2004, Proceedings, Lecture Notes in Computer Science, volume 3308, Springer LNCS 3308
abstract; interactiveVerificationOfUMLStateMachines (0 KB);

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);

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);

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);

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
abstract; download pdf version (239 KB); download postscript version (221 KB);

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);

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);

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);

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);

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);

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);

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);

2003

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

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

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)

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);

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);

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);

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);

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);

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
download pdf version (228 KB); download ps version (263 KB);

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);

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);

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);

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;

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);

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;

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);

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);

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);

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);

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;

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;

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);

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;

2000

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);

Verifying Concurrent Systems with Symbolic Execution
M. Balser, C. Duelli, W. Reif, G. Schellhorn
accepted for ICTL 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);

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);

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

Safety Analysis of a Radio-Based Crossing Control System Using Formal Methods
W. Reif, G. Schellhorn, and A. Thums
download postscript version (71 KB);

1999

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);

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

Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz
W. Reif
Informatik - Forschung und Entwicklung. 14(3)

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);

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

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);

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);

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

Proving Properties of Directed Graphs: A Problem Set for Automated Theorem Provers
G. Schellhorn
Ulmer Informatik-Berichte 98-12
download postscript version (76 KB);

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);

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);

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);

Software-Sicherheit mit formalen Methoden
W. Reif
Softwaretechnik-Trends, 18(3)
download postscript version (48 KB);

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);

Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik
W. Reif
Künstliche Intelligenz 4/98

Formal Support for the Development of Knowledge-based Systems
D. Fensel, F. v. Hamelen, W. Reif, and A. tenTeije
Information Technology Management, 2(4)

1997

Software-Verifikation und ihre Anwendungen
W. Reif
it+ti Themenheft Formale Entwurfsmethoden - Software Correctness, Oldenbourg Verlag
download postscript version (88 KB);

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

Proving System Correctness with KIV 3.0
W. Reif, G. Schellhorn, and K. Stenzel
14th International Conference on Automated Deduction. Proceedings, Springer LNCS 1249

Risikofaktor Software
W. Reif
K. Jantke, G. Grieger, and W. Wittig, editors, Impulse für Informatik Innovationen

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;

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);

1996

Kiv 3.0: Concepts and applications
W. Reif, G. Schellhorn, and K. Stenzel
Technical report
download postscript version (288 KB);

Software Verifikation: Stand und Perspektiven
W. Reif
Technischer Bericht FI96/06

Verification of a Prolog Compiler - First Steps with KIV
G. Schellhorn and W. Ahrendt
Ulmer Informatik-Berichte 96-05
download postscript version (449 KB);

Reuse of Proofs in Software Verification
W. Reif and K. Stenzel
SADHANA: Academy Proceedings in Engineering Sciences, 21(2)

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

Pilotanwendungen mit KIV
K. Stenzel
Technischer Bericht FI96/06

1995

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

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

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);

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

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);

Tactics in KIV
W. Reif, G. Schellhorn, and K. Stenzel
Journal on Information Processing and Cybernetics, 30

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
abstract; download postscript version (80 KB);

1994

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.

Specification and Verification of Distributed Technical Systems with Central Control
G. Schellhorn
Technical report

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

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

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.

1993

A Verified Access Control Model
K. Stenzel
Technical Report 26/93
download postscript version (265 KB);

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

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

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

KORSO: Das Verbundprojekt "Korrekte Software"
H. Hußmann, J. Loeckx, and W. Reif
Informatik Fachberichte, Springer

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);

1992

Verification of Large Software Systems
W. Reif
R. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science. Proceedings, Springer LNCS 652

Correctness of Full First-Order Specifications
W. Reif
4th Conference on Software Engineering and Knowledge Engineering. Proceedings, IEEE press

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

The KIV-System: Systematic Construction of Verified Software
W. Reif
D. Kapur, editor, 11th Conference on Automated Deduction. Proceedings, Springer LNAI 607

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

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

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

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

1989

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

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

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

1988

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

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

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

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

Dissertations

Diplomarbeiten