Suche

Publications


    2017

  • Modular Verification of Order-Preserving Write-Back Caches
    Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
    iFM 2017 (accepted)
    abstract; ifm2017-preprint (0 KB);

     
  • Symbolic Execution for a Clash-Free Subset of ASMs
    Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
    SCP 2017 (accepted)
    abstract; scp2017-preprint (419 KB);

     
  • Qualitative and Quantitative Analysis of Safety-Critical Systems with S#
    Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif
    International Journal on Software Tools for Technology Transfer. Springer, 2017, Springer
    abstract;

     
  • Toward adaptive, self-aware test automation
    Proceedings - 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing, AST 2017, IEEE/ACM
    abstract;

     
  • Towards Re-orchestration of Real-time Component Systems in Robotics
    Michael Vistein, Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Wolfgang Reif
    IEEE International Conference on Robotic Computing 2017 (accepted)
    abstract;

     
  • Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation
    Andreas Schierl, Andreas Angerer, Alwin Hoffmann and Wolfgang Reif
    IEEE International Conference on Robotic Computing 2017 (accepted)
    abstract;

     
  • 2016

  • Back-to-Back Testing of Self-Organization Mechanisms
    Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif
    Proceedings of ICTSS, IEEE
    abstract;

     
  • Environment-aware Proximity Detection with Capacitive Sensors for Human-Robot-Interaction
    Alwin Hoffmann, Alexander Poeppel, Andreas Schierl, Wolfgang Reif
    Proc. 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016), Daejeon, Korea, IEEE
    abstract; IEEE Xplore;

     
  • Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis
    Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
    Critical Systems: Formal Methods and Automated Verification, Springer
    abstract;

     
  • Safety Analysis of a Hemodialysis Machine with S#
    Johannes Leupolz, Axel Habermaier, Wolfgang Reif
    EuroAsiaSPI 2016 Industrial Proceedings, Whitebox, Denmark
    abstract;

     
  • Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with S#
    Axel Habermaier, Johannes Leupolz, Wolfgang Reif
    Critical Systems: Formal Methods and Automated Verification, Springer
    abstract;

     
  • Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems
    Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Michael Hübschmann, and Wolfgang Reif
    Scalable Computing: Practice and Experiences
    abstract;

     
  • Specification and Design of Trust-Based Open Self-Organising Systems
    Gerrit Anders, Florian Siefert, Alexander Schiendorfer, Hella Seebach, Jan-Philipp Steghöfer, Benedikt Eberhardinger, Oliver Kosak, and Wolfgang Reif
    Trustworthy Open Self-Organising Systems, Springer International Publishing
    abstract;

     
  • The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems
    Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, and Theo Ungerer
    Trustworthy Open Self-Organising Systems, Springer International Publishing
    abstract;

     
  • Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems
    Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif
    Software Quality, Reliability and Security Companion, IEEE
    abstract;

     
  • Trustworthy Open Self-Organising Systems
    Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, and Theo Ungerer
    Autonomic Systems, Springer International Publishing
    abstract;

     
  • Planning and Execution of Collision-free Multi-robot Trajectories in Industrial Applications
    Andreas Angerer, Alwin Hoffmann, Lars Larsen, Michael Vistein, Jonghwa Kim, Michael Kupke and Wolfgang Reif
    accepted for: 47th Symposium on Robotics - International Symposium on Robotics 2016, Munich, Germany, June 21-22, 2016
    abstract;

     
  • A Flexible Architecture for Automatically Generating Robot Applications based on Expert Knowledge
    Miroslav Macho, Ludwig Nägele, Dr. Alwin Hoffmann, Dr. Andreas Angerer and Prof. Dr. Wolfgang Reif
    Proceedings of 47st International Symposium on Robotics (ISR), VDE Verlag GMBH
    abstract; IEEE Xplore Digitasl Library;

     
  • Using Object-Oriented Development for Planning and Controlling Industrial Robot Systems
    Alwin Hoffmann, Ludwig Nägele, Andreas Angerer, Andreas Schierl, Wolfgang Reif
    Robotics: Science and Systems 2016 Workshop on Recent Advances in Planning and Manipulation for Industrial Robots
    Workshop; Paper;

     
  • Secure Integration of Third Party Components in a Model-Driven Approach
    Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif
    Special Issue of Cloud Computing in Transactions on Large-Scale Data and Knowledge Centered Systems (TLDKS), LNCS 10130 , Springer
    abstract;

     
  • On Structure and Distribution of Software for Mobile Manipulators
    Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, and Wolfgang Reif
    Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers. Lecture Notes in Electrical Engineering, vol 383., Springer
    abstract;

     
  • Modular, Crash-Safe Refinement for ASMs with Submachines
    Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
    Science of Computer Programming, Elsevier
    abstract; scico2016-preprint (0 KB);

     
  • A Relational Encoding for a Clash-Free Subset of ASMs
    Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
    Proc. of 5th International Conference ABZ 2016, Springer
    abstract; A Relational Encoding for a Clash-Free Subset of ASMs (312 KB);

     
  • Declassification of Information with Complex Filter Functions
    Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif
    Proceedings of the 2nd International Conference on Information Systems Security and Privacy, SCITEPRESS

     
  • Inside a Verified Flash File System: Transactions & Garbage Collection
    Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
    Proc. of 7th Working Conference on Verified Software: Theories, Tools and Experiments, Springer
    abstract; Inside a Verified Flash File System: Transactions & Garbage Collection (432 KB);

     
  • 2015

  • Working Group on Engineering Social Concepts
    Olivier Boissier, Gerrit Anders, Babak Esfandiari, Gauthier Picard, Wolfgang Reif, and Laurent Vercouter
    Dagstuhl Reports: Social Concepts in Self-Organising Systems (Dagstuhl Seminar 15482), Volume 5, Issue 11, November 2015, Schloss Dagstuhl-Leibniz-Zentrum für Informatik
    abstract;

     
  • Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications
    Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel
    Correct Software in Web Applications and Web Services, 2015, Texts & Monographs in Symbolic Computation 0943-853X, pp 45-81, Springer
    abstract;

     
  • Abstracting Security-Critical Applications for Model Checking in a Model-Driven Approach
    Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif
    Proceedings of 6th International Conference On Software Engineering And Service Science (ICSESS), 2015, 23-25 September, , IEEE
    abstract;

     
  • Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach
    Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif
    Advances in Conceptual Modeling, 2015, LNCS 9382, pp 63-73, Springer
    abstract;

     
  • Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#
    Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif
    Proceedings of QA4SASO, IEEE
    abstract;

     
  • A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives
    Gerrit Anders, Florian Siefert, and Wolfgang Reif
    Lectures Notes in Artificial Intelligence, Springer International Publishing
    abstract;

     
  • Modeling Information Flow Properties with UML
    Kuzman Katkalov, Kurt Stenzel, Marian Borek, and Wolfgang Reif
    Proceedings of 7th International Conference on New Technologies, Mobility and Security (NTMS) 2015, IEEE

     
  • Back-to-Back Testing a Soft Constraint Model for a Smart Exhibition Space
    Alexander Schiendorfer, Benedikt Eberhardinger, Michael Wißner, Wolfgang Reif, Elisabeth André
    Proceedings of the 14th International Workshop on „Constraint Modelling and Reformulation“ (ModRef'15) in conjunction with CP 2015
    abstract; BackToBackTestingASoftConstraintModelForASmartExhibitionSpace (0 KB);

     
  • Towards Multi-Functional Robot-Based Automation Systems
    Andreas Angerer, Michael Vistein, Alwin Hoffmann, Wolfgang Reif, Florian Krebs and Manfred Schönheits
    Proc. 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2015), Colmar, Alsace, France, July 21-23, 2015
    abstract;

     
  • A Taxonomy of Distribution for Cooperative Mobile Manipulators
    Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif
    Proc. 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2015), Colmar, Alsace, France, July 21-23, 2015
    abstract;

     
  • An Approach to Robust Resource Allocation in Large-Scale Systems of Systems
    Oliver Kosak, Gerrit Anders, Florian Siefert, and Wolfgang Reif
    Proceedings of the 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2015), IEEE
    abstract;

     
  • Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation
    Alexander Schiendorfer, Gerrit Anders, Jan-Philipp Steghöfer, and Wolfgang Reif
    Transactions on Computational Collective Intelligence (TCCI), Springer LNCS 9420
    abstract;

     
  • Executable Specifications of Safety-Critical Systems with S#
    Axel Habermaier, Johannes Leupolz, Wolfgang Reif
    Proceedings of DCDS, IFAC
    abstract;

     
  • Robot Collision Avoidance Using an Environment Model for Capacitive Sensors
    Alwin Hoffmann, Andreas Schierl, Andreas Angerer, Matthias Stüben, Michael Vistein, and Wolfgang Reif
    Planning, Control, and Sensing for Safe Human-Robot Interaction, 2015 IEEE International Conference on Robotics and Automation, Seattle, USA, May 26, 2015
    abstract;

     
  • Controlling Software-Induced Self-Organizing Behavior
    Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
    Evolutionary Robotics, Organic Computing and Adaptive Ambience: Epistemological and ethical implications of technomorphic descriptions of technologies / [ed] Michael Decker, Mathias Gutmann, Julia Knifka, Year 2015, LIT Verlag
    abstract;

     
  • Cooperative Resource Allocation in Open Systems of Systems
    Gerrit Anders, Alexander Schiendorfer, Florian Siefert, Jan-Philipp Steghöfer, and Wolfgang Reif
    ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 10 Issue 2, June 2015 , ACM
    abstract;

     
  • Active Learning for Efficient Sampling of Control Models of Collectives
    Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif, and Rainer Lienhart
    Proceedings of the 9th International Conference on "Self-adaptive and Self-organizing Systems" (SASO15)
    abstract; active-learning-control-collectives (0 KB);

     
  • Active Learning for Abstract Models of Collectives
    Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif, and Rainer Lienhart
    Proceedings of the 3rd International Workshop on „Self-optimisation in Organic and Autonomic Computing Systems“ (SAOS15) in conjunction with ARCS 2015
    abstract; position-paper (0 KB);

     
  • A Research Overview and Evaluation of Performance Metrics for Self-organization Algorithms
    Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, and Wolfgang Reif
    Proceedings of the 2nd Workshop on Quality Assurances for Self-adaptive, Self-organising Systems (QA4SASO 2015)
    abstract;

     
  • A Framework for Testing Self-organisation Algorithms
    Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, and Wolfgang Reif
    Softwaretechnik-Trends 35:1
    abstract;

     
  • A backward-oriented approach for offline programming of complex manufacturing tasks
    Ludwig Nägele, Miroslav Macho, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Manfred Schönheits and Wolfgang Reif
    published 17.02.2015 accepted for 6th International Conference on Automation, Robotics and Applications (ICARA 2015)
    abstract; Conference;

     
  • Partial Valuation Structures for Qualitative Soft Constraints
    Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, and Wolfgang Reif
    Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation, Rocco De Nicola and Rolf Hennicker, LNCS 8950, Springer
    abstract; constraint-hierarchies (381 KB);

     
  • A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints
    Gerrit Anders, Florian Siefert, and Wolfgang Reif
    Proceedings of the 7th International Conference on Agents & Artificial Intelligence (ICAART)
    abstract;

     
  • Modeling Hierarchical Resources within a Unified Ontology : A Position Paper
    Alexander Schiendorfer, Yves Wautelet, Wolfgang Reif
    Proceedings of the 7th International Conference on Agents & Artificial Intelligence (ICAART), INSTICC
    abstract;

     
  • 2014

  • PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems
    Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Wolfgang Reif
    In: Principles and Practice of Multi-Agent Systems - 17th International Conference, PRIMA. Lecture Notes in Computer Science, Volume 8861 , Springer
    abstract;

     
  • A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset
    B. Tofan, G. Schellhorn, W. Reif
    In Proc. of Integrated Formal Methods (iFM), vol. 8739 LNCS, pp.357-372 , Springer
    abstract;

     
  • A Model-Driven Approach to Noninterference
    Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif.
    Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA), volume 5, number 3, pages 30-43, 2014. Link

     
  • An Effective Implementation of Norms in Trust-Aware Open Self-Organising Systems
    Jan-Philipp Steghöfer, Gerrit Anders, Jan Kantert, Christian Müller-Schloer, and Wolfgang Reif
    Eigth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, UK, September 8-12, 2014, IEEE Computer Society
    abstract;

     
  • Proactive Guidance for Dynamic and Cooperative Resource Allocation under Uncertainties
    Gerrit Anders, Florian Siefert, Michael Mair, Wolfgang Reif
    Proceedings of the 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2014), IEEE
    abstract;

     
  • Towards combining layout and process models for mixed assembly facilities
    Sven Stumm, Alwin Hoffmann, Hella Seebach, Bernd Kuhlenkötter, Wolfgang Reif
    Tagungsband 2231 AUTOMATION 2014, VDI-Berichte, VDI Verlag

     
  • Quality over Quantity in Soft Constraints
    Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif
    Proceedings of ICTAI 2014 - Special Track on SAT and CSP technologies, IEEE
    abstract; quality-quantity-soft-constraints-preprint (804 KB);

     
  • Synthesised Constraint Models for Distributed Energy Management
    Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif
    Proceedings of the 3rd International Workshop on Smart Energy Networks & Multi-Agent Systems, FedCSIS
    abstract; Synthesised Constraint Models for Distributed Energy Management (Preprint) (446 KB);

     
  • Towards Testing Self-Organizing, Adaptive Systems
    Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, and Wolfgang Reif
    Proceedings of the 26th IFIP WG 6.1 International Conference (ICTSS 2014), Lecture Notes in Computer Science, Springer
    abstract;

     
  • Development of a Verified Flash File System
    Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
    Proc. of 4th International Conference ABZ 2014, Springer
    abstract; Development of a Verified Flash File System (446 KB); Presentation (invited Talk) (2892 KB);

     
  • Service-oriented Robotics Manufacturing by reasoning about the Scene Graph of a Robotics Cell
    Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif
    Proceedings of the 45th International Symposium on Robotics (ISR 2014) and the 8th German Conference on Robotics (ROBOTIK 2014), Munich, Germany, June 2-3 (Accepted)

     
  • Modular Refinement for Submachines of ASMs
    Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
    Proc. of 4th International Conference ABZ 2014, Springer
    abstract; Modular Refinement for Submachines of ASMs (421 KB);

     
  • KIV: overview and VerifyThis competition
    Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
    International Journal on Software Tools for Technology Transfer (STTT), Springer
    abstract;

     
  • Formalizing information flow control in a model-driven approach
    Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif.
    Information Communication Technology-EurAsia (ICT-EurAsia) 2014. Springer LNCS 8407.

     
  • Crash-Safe Refinement for a Verified Flash File System
    Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif
    Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2014-02
    abstract;

     
  • Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems
    Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif
    Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART)
    abstract; Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems (1334 KB);

     
  • Flexible and Continuous Execution of Real-Time Critical Robotic Tasks
    Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl and Wolfgang Reif
    International Journal of Mechatronics and Automation, Vol. 4 No. 1, pp 27-38, Inderscience Publishers
    abstract;

     
  • Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants
    Gerrit Anders, Alexander Schiendorfer, Jan-Philipp Steghöfer and Wolfgang Reif
    Proceedings of the 2nd International Workshop on „Self-optimisation in Organic and Autonomic Computing Systems“ (SAOS14) in conjunction with ARCS 2014
    abstract; IEEE Link;

     
  • Engineering and Mastering Interwoven Systems
    Sven Tomforde, Jörg Hähner, Hella Seebach, Wolfgang Reif, Bernhard Sick, Arno Wacker, Ingo Scholtes
    In: 2nd International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems" (SAOS'14), im Rahmen der Konferenz zu "Architectures of Computing Systems" (ARCS'14), 25. - 28.02.2014, Lübeck
    abstract;

     
  • Trust-Based Scenarios – Predicting Future Agent Behavior in Open Self-Organizing Systems
    Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif
    Self-Organizing Systems - 7th IFIP TC 6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Paper. LNCS 8221, Springer Berlin Heidelberg
    abstract; SpringerLink;

     
  • 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, Springer
    abstract; Verification of a Virtual Filesystem Switch (363 KB);

     
  • RGITL: A Temporal Logic Framework for Compositional Reasoning about Interleaved Programs
    G. Schellhorn, B. Tofan, G. Ernst, J. Pfähler, and W. Reif
    Annals of Mathematics and Artificial Intelligence (AMAI) Journal, vol. 71, issue 1-3, pp. 131-174, Springer
    abstract;

     
  • 2013

  • Constraint Relationships for Soft Constraints
    Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif
    Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, in Research and Development in Intelligent Systems XXX, Springer International Publishing, Switzerland
    abstract; Constraint Relationships for Soft Constraints (193 KB);

     
  • Managing Extensibility and Maintainability of Industrial Robotics Software
    Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif
    Proceedings of the 16th International Conference on Advanced Robotics (ICAR 2013), Montevideo, Uruguay, November 25-29th
    abstract; ICAR 2013 Website;

     
  • Formal Specification of an Erase Block Management Layer for Flash Memory
    Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif
    In Proc. of 9th International Haifa Verification Conference, Springer
    abstract; Formal Specification of an Erase Block Management Layer for Flash Memory (362 KB);

     
  • Compositional Verification of a Lock-Free Stack with RGITL
    B. Tofan, G. Schellhorn, G. Ernst, J. Pfähler, and W. Reif
    ECEASST Journal, vol. 66
    abstract;

     
  • Model Checking of Security-Critical Applications in a Model-Driven Approach
    Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif
    Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), LNCS 8137, Madrid, Spain, September 25-27, 2013., Springer Berlin Heidelberg
    abstract;

     
  • A System of Systems Approach to the Evolutionary Transformation of Power Management Systems
    Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
    Matthias Horbach (Ed.): Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz. Gesellschaft für Informatik, Köllen Druck+Verlag
    abstract; Paper available on the publication server of the Electronic Library of Mathematics;

     
  • Model-Driven Development of Information Flow-Secure Systems with IFlow
    Kuzman Katkalov, Kurt Stenzel, Marian Borek, and Wolfgang Reif
    Proceedings of 5th ASE/IEEE International Conference on Information Privacy, Security, Risk and Trust (PASSAT) 2013, IEEE

     
  • Model-Driven Development of Information Flow-Secure Systems with IFlow
    Kuzman Katkalov, Kurt Stenzel, Marian Borek, and Wolfgang Reif
    ASE Science Journal Vol.2, No 2 (2013)

     
  • A Trust- and Cooperation-Based Solution of a Dynamic Resource Allocation Problem
    Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif
    Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2013), IEEE
    abstract;

     
  • Modeling test cases for security protocols with SecureMDD
    Kuzman Katkalov, Kurt Stenzel, Nina Moebius, Marian Borek, and Wolfgang Reif
    Computer Networks: The International Journal of Computer and Telecommunications Networking, Volume 58, Elsevier North-Holland, Inc. New York, NY, USA

     
  • Security requirements formalized with OCL in a model-driven approach
    Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif
    International Workshop on Model-Driven Requirements Engineering (MoDRE), IEEE
    abstract;

     
  • Robotics API: Object-Oriented Software Development for Industrial Robots
    Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein and Wolfgang Reif
    Journal of Software Engineering for Robotics
    abstract; article at joser.org;

     
  • Model-driven Synthesis of Monitoring Infrastructure for Reliable Adaptive Multi-Agent Systems
    Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif
    Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)
    abstract;

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

     
  • Towards Realtime Robot Reactions – Patterns for Modular Device Driver Interfaces
    Andreas Schierl, Alwin Hoffmann, Andreas Angerer, Michael Vistein and Wolfgang Reif
    Eighth full-day Workshop on Software Development and Integration in Robotics (SDIR VIII)
    abstract;

     
  • 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
    abstract; 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
    abstract; 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
    abstract; ThinkMind Digital Library;

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

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

     
  • Verification of B+ trees by integration of shape analysis and interactive theorem proving
    Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif
    Software & Systems Modeling, Springer
    abstract; Verification of B+ trees by integration of shape analysis and interactive theorem proving (441 KB);

     
  • 2012

  • Eclipse als Werkzeug zur objektorientierten Roboterprogrammierung
    Andreas Angerer, Andreas Schierl, Christian Böck, Alwin Hoffmann, Michael Vistein und Wolfgang Reif
    Internationales Forum Mechatronik 2012, Mayrhofen, Austria, November 21-22, 2012
    abstract;

     
  • A Formal Model of a Virtual Filesystem Switch
    Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, 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);

     
  • A Graphical Language for Real-Time Critical Robot Commands
    Andreas Angerer, Remi Smirra, Alwin Hoffmann, Andreas Schierl, Michael Vistein and Wolfgang Reif
    Proceedings of the Third International Workshop on Domain-Specific Languages and Models for Robotic Systems (DSLRob 2012)
    abstract; Workshop; arXiv.org;

     
  • 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
    abstract;

     
  • Evaluation of Jif and Joana as information flow analyzers in a model-driven approach
    Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, and Wolfgang Reif
    Proceedings of 7th International Workshop on Data Privacy Management (DPM) 2012, Springer

     
  • 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), IEEE
    abstract;

     
  • 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), Springer Berlin Heidelberg
    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
    abstract;

     
  • 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
    abstract;

     
  • 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
    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), IEEE
    abstract;

     
  • 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
    abstract; 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
    abstract; extended abstract (281 KB); slides (2241 KB); Workshop;

     
  • Model-Driven Testing of Security Protocols with SecureMDD
    Kuzman Katkalov, Kurt Stenzel, Nina Moebius, Marian Borek, and Wolfgang Reif
    Proceedings of 5th IFIP International Conference on New Technologies, Mobility and Security(NTMS) 2012, IEEE

     
  • 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
    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

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

     
  • 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
    abstract; 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;

     
  • 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
    abstract; Springer Link;

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

     
  • 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
    abstract; Link to the conference proceedings;

     
  • 2011

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

     
  • 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), IEEE
    abstract;

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

     
  • 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; Interleaved Programs and Rely-Guarantee Reasoning with ITL (285 KB);

     
  • 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; Formal Verification of a Lock-Free Stack with Hazard Pointers (195 KB);

     
  • 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; Local Rely-Guarantee Conditions for Linearizability and Lock-Freedom (218 KB);

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

     
  • 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 Workshop on Evolving and Adaptive Intelligent Systems (EAIS), IEEE
    abstract;

     
  • 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
    abstract; 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
    abstract; Article available on the publication server of the University of Augsburg;

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

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

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

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

     
  • 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
    abstract;

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

     
  • 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; Temporal Logic Verification of Lock-Freedom (211 KB);

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

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

     
  • 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

  • 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; http://link.springer.com/chapter/10.1007/978-3-642-05089-3_13;

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

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

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

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

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

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

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

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

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

     
  • 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; http://link.springer.com/chapter/10.1007/978-3-642-11447-2_7;

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

     
  • 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
    abstract; 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; http://link.springer.com/article/10.1007%2Fs00165-007-0057-0;

     
  • 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; http://dx.doi.org/10.1109/ICSEA.2007.7;

     
  • 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; http://link.springer.com/chapter/10.1007/978-3-540-73210-5_17;

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

     
  • 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 Refinement Method for Java Programs
    Holger Grandy, Kurt Stenzel, Wolfgang Reif
    Proceedings of FMOODS 2007, Springer LNCS 4468, Paphos, Cyprus,
    abstract; SpringerLink;

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

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

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

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

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

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

     
  • Applications in Organic Computing (DFG SPP 1183 "Organic Computing")
    Eds.: F. Nafz, M. Güdemann, W. Reif, H. Seebach
    Technischer Bericht 2006-22
    abstract;

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

     
  • 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; http://link.springer.com/chapter/10.1007/11813040_2;

     
  • 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; http://link.springer.com/chapter/10.1007/11766155_9;

     
  • 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 v2.1 – A Tutorial
    J. Schmitt, M. Balser, W. Reif
    paper (0 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;

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

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

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

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

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

     
  • Improving medical protocols by formal methods
    Annette ten Teije, Mar Marcos, Michel Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang
    Artificial Intelligence in Medicine (2005)
    abstract;

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

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

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

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

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

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

     
  • 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
    http://link.springer.com/chapter/10.1007%2F978-3-540-30233-9_6;

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

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

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

     
  • 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

     
  • 2002

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

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

     
  • 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); http://link.springer.com/chapter/10.1007/3-540-45719-4_22;

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

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

     
  • 2001

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

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

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

     
  • 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

  • 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

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

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

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

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

     
  • 1999

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

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

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

     
  • 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

     
  • 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

     
  • 1998

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

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

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

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

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

     
  • Software-Sicherheit mit formalen Methoden
    W. Reif
    Softwaretechnik-Trends, 18(3)
    download postscript version (48 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

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

     
  • 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

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

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

     
  • 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

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

     
  • 1996

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

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

     
  • 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

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

     
  • 1995

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

     
  • 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

     
  • 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

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

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

     
  • 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

     
  • 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.

     
  • 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

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

     
  • 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

     
  • 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

     
  • 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

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

     
  • 1992

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

     
  • 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 Full First-Order Specifications
    W. Reif
    4th Conference on Software Engineering and Knowledge Engineering. Proceedings, IEEE press

     
  • 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

  • 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

     
  • 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

     
  • 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