Wolfgang Reif - RankMe

306 papers A* 1A 17B 30C 40Misc 3Journal 61Unranked 140

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Skarimva: Skeleton-based Action Recognition is a Multi-view Application. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2025	—	`conf`	KoARob: Towards AI-based Safety in Human-Robot-Collaborations. CASE Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2025	J	`jnl`	Let's do the swarm flight again: unleashing the potential of PROTEASE 2.0 for drone formation flight. Int. J. Softw. Tools Technol. Transf. Oliver Kosak, Philipp Kastenmüller, Wolfgang Reif
2025	J	`jnl`	RapidPoseTriangulation: Multi-view Multi-person Whole-body Human Pose Triangulation in a Millisecond. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2025	J	`jnl`	Scriboora: Rethinking Human Pose Forecasting. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2025	J	`jnl`	SimpleDepthPose: Fast and Reliable Human Pose Estimation with RGBD-Images. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2025	Misc	`conf`	Slungt: Even Faster Spoken Language Understanding with N-Grams and Tries. ICASSP Daniel Bermuth, Wolfgang Reif
2025	—	`conf`	Tutabo-1: Towards Real-time Capable AI-based Safety Systems for Human-Robot Collaboration. ICAR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2025	J	`jnl`	Verification of forward simulations with thread-local, step-local proof obligations. Sci. Comput. Program. Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2024	—	`conf`	An Approach for Extended Swarm Formation Flight with Drones: tt PROTEASE ISoLA (2) Oliver Kosak, Philipp Kastenmüller, Constantin Wanninger, Wolfgang Reif
2024	C	`conf`	Flexible assembly planning for self-organizing production cells. ISM Christian Lehner, Oliver Kosak, Hella Ponsar, Wolfgang Reif
2024	C	`conf`	Localized Recommendation in Assembly Modeling: Employing GNNs for Targeted Part Placement. ICMLA Carola Lenzen, Wolfgang Reif
2024	B	`conf`	VeriCode: Correct Translation of Abstract Specifications to C Code. IFM Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2024	J	`jnl`	VoxelKeypointFusion: Generalizable Multi-View Multi-Person Pose Estimation. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2023	—	`conf`	CASP: Computer Aided Specimen Placement for Robot-Based Component Testing. ICINCO (1) Julian Hanke, Matthias Stueben, Christian Eymüller, Maximilian Enrico Müller, Alexander Poeppel, Wolfgang Reif
2023	C	`conf`	Control of Composite Manufacturing Processes Through Deep Reinforcement Learning. ICMLA Simon Stieber, Leonard Heber, Christof Obertscheider, Wolfgang Reif
2023	—	`conf`	RealCaPP: Real-Time Capable Plug & Produce Service Architecture for Distributed Robot Control. IRC Christian Eymüller, Julian Hanke, Alexander Poeppel, Constantin Wanninger, Wolfgang Reif
2023	B	`conf`	Refinement and Separation: Modular Verification of Wandering Trees. iFM Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2023	—	`conf`	SensorClouds: A Framework for Real-Time Processing of Multi-modal Sensor Data for Human-Robot-Collaboration. ICARA Alexander Poeppel, Christian Eymüller, Wolfgang Reif
2023	C	`conf`	Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. ABZ Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif
2023	—	`conf`	Towards Automated COVID-19 Presence and Severity Classification. MIE Dominik Müller, Silvan Mertes, Niklas Schröter, Fabio Hellmann, Miriam Elia, Bernhard Bauer, Wolfgang Reif, Elisabeth André, Frank Kramer
2023	J	`jnl`	Towards Automated COVID-19 Presence and Severity Classification. CoRR Dominik Müller, Niklas Schröter, Silvan Mertes, Fabio Hellmann, Miriam Elia, Wolfgang Reif, Bernhard Bauer, Elisabeth André, Frank Kramer
2023	—	`conf`	Towards Self-Configuring Plug & Produce Robot Systems Based on Ontologies. ICARA Christian Eymüller, Julian Hanke, Alexander Poeppel, Wolfgang Reif
2023	—	`conf`	UAV Inspection of Large Components: Determination of Alternative Inspection Points and Online Route Optimization. RoSE@ICSE Martin Schörner, Constantin Wanninger, Raphael Katschinsky, Simon Hornung, Christian Eymüller, Alexander Poeppel, Wolfgang Reif
2022	—	`conf`	A Recommendation System for CAD Assembly Modeling Based on Graph Neural Networks. ECML/PKDD (1) Carola Gajek, Alexander Schiendorfer, Wolfgang Reif
2022	—	`conf`	External Torque Estimation for Mobile Manipulators: A Comparison of Model-based and LSTM Methods. IRC Matthias Stueben, Alexander Poeppel, Wolfgang Reif
2022	J	`jnl`	Finstreder: Simple and fast Spoken Language Understanding with Finite State Transducers using modern Speech-to-Text models. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2022	A*	`conf`	Jaco: An Offline Running Privacy-aware Voice Assistant. HRI Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2022	J	`jnl`	Jaco: An Offline Running Privacy-aware Voice Assistant. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2022	—	`conf`	Sensor-guided motions for robot-based component testing. IRC Julian Hanke, Christian Eymüller, Alexander Poeppel, Julia Reichmann, Anna Trauth, Markus G. R. Sause, Wolfgang Reif
2022	—	`conf`	Separating Separation Logic - Modular Verification of Red-Black Trees. VSTTE Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
2022	—	`conf`	Software & System Verification with KIV. The Logic of Software. A Tasting Menu of Formal Methods Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
2022	C	`conf`	Software-defined testing facility for component testing with industrial robots. ETFA Julian Hanke, Christian Eymüller, Julia Reichmann, Anna Trauth, Markus G. R. Sause, Wolfgang Reif
2022	J	`jnl`	Verification of Crashsafe Caching in a Virtual File System Switch. Formal Aspects Comput. Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
2021	—	`conf`	A Real-Word Realization of the AntNet Routing Algorithm with ActivityBots. ACSOS-C Jonas Wilfert, Niklas Paprotta, Oliver Kosak, Simon Stieber, Alexander Schiendorfer, Wolfgang Reif
2021	—	`conf`	Architecture for Emergency Control of Autonomous UAV Ensembles**This work is partly funded by the German Research Foundation (DFG) under the COMBO grant. RoSE@ICSE Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif
2021	C	`conf`	Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered Environments. ETFA Matthias Stueben, Alwin Hoffmann, Wolfgang Reif
2021	—	`conf`	Distributed Constraint Optimization for Task Allocation in Self-Adaptive Manufacturing Systems. ACSOS-C Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif
2021	—	`conf`	Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Logic, Computation and Rigorous Methods Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif
2021	C	`conf`	Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics. ETFA Jonas Wilfert, Simon Stieber, Frederik Wilhelm, Wolfgang Reif
2021	C	`conf`	PermeabilityNets: Comparing Neural Network Architectures on a Sequence-to-Instance Task in CFRP Manufacturing. ICMLA Simon Stieber, Niklas Schröter, Ewald Fauster, Alexander Schiendorfer, Wolfgang Reif
2021	—	`conf`	RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control. CASE Christian Eymüller, Julian Hanke, Alwin Hoffmann, Wolfgang Reif, Markus Kugelmann, Florian Grätz
2021	J	`jnl`	Scribosermo: Fast Speech-to-Text models for German and other Languages. CoRR Daniel Bermuth, Alexander Poeppel, Wolfgang Reif
2021	—	`conf`	Semantic Plug and Play: An Architecture Combining Linked Data and Reconfigurable Hardware. ICSC Constantin Wanninger, Luca Alfano, Martin Schörner, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif
2021	C	`conf`	Towards a Real-Time Capable Plug & Produce Environment for Adaptable Factories. ETFA Christian Eymüller, Julian Hanke, Alwin Hoffmann, Alexander Poeppel, Constantin Wanninger, Wolfgang Reif
2021	C	`conf`	UAV Inspection of Large Components: Indoor Navigation Relative to Structures. ICINCO Martin Schörner, Michelle Bettendorf, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
2020	C	`conf`	Adding Concurrency to a Sequential Refinement Tower. ABZ Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif
2020	—	`conf`	An Interactive Web Application for Decision Tree Learning. Teaching ML Miriam Elia, Carola Gajek, Alexander Schiendorfer, Wolfgang Reif
2020	—	`conf`	Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production Cell. ACSOS Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif
2020	—	`conf`	FlowFrontNet: Improving Carbon Composite Manufacturing with CNNs. ECML/PKDD (4) Simon Stieber, Niklas Schröter, Alexander Schiendorfer, Alwin Hoffmann, Wolfgang Reif
2020	—	`conf`	How to find assembly plans (fast): Hierarchical state space partitioning for efficient multi-robot assembly. IRC Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif
2020	—	`conf`	Learning Controllers for Adaptive Spreading of Carbon Fiber Tows. LOD (2) Julia Krützmann, Alexander Schiendorfer, Sergej Beratz, Judith Moosburger-Will, Wolfgang Reif, Siegfried Horn
2020	A	`conf`	LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of LEGO structures. IROS Ludwig Nägele, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif
2020	—	`conf`	Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning. ISoLA (2) Oliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
2020	—	`conf`	Modeling and Execution of Coordinated Missions in Reconfigurable Robot Ensembles. IRC Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak, Hella Ponsar, Wolfgang Reif
2020	B	`conf`	Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. IFM Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
2020	J	`jnl`	Opportunities and Limitations of Mixed Reality Holograms in Industrial Robotics. CoRR Michael Filipenko, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif
2020	C	`conf`	Real-time capable OPC-UA Programs over TSN for distributed industrial control. ETFA Christian Eymüller, Julian Hanke, Alwin Hoffmann, Markus Kugelmann, Wolfgang Reif
2020	—	`conf`	Robust Distance Estimation of Capacitive Proximity Sensors in HRI using Neural Networks. IRC Alexander Poeppel, Alwin Hoffmann, Martin Siehler, Wolfgang Reif
2020	—	`conf`	Swarm and Collective Capabilities for Multipotent Robot Ensembles. ISoLA (2) Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
2020	—	`conf`	Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning and View Angle Dependent Optimization Strategies. ICINCO (Selected Papers) Martin Schörner, Raphael Katschinsky, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
2020	C	`conf`	Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning. ICINCO Constantin Wanninger, Raphael Katschinsky, Alwin Hoffmann, Martin Schörner, Wolfgang Reif
2020	C	`conf`	Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures. ETFA Simon Stieber, Alwin Hoffmann, Alexander Schiendorfer, Wolfgang Reif, Matthias Beyrle, Jan Faber, Michaela Richter, Markus G. R. Sause
2020	—	`conf`	Turning Software Engineers into Machine Learning Engineers. Teaching ML Alexander Schiendorfer, Carola Gajek, Wolfgang Reif
2019	—	`conf`	A Chained Neural Network Model for Photovoltaic Power Forecast. LOD Carola Gajek, Alexander Schiendorfer, Wolfgang Reif
2019	—	`conf`	Ensemble Programming for Multipotent Systems. FAS*W@SASO/ICAC Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar, Wolfgang Reif
2019	—	`conf`	Modular and Domain-guided Multi-robot Planning for Assembly Processes. ICINCO (2) Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif
2019	J	`jnl`	Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles. Sensors Oliver Kosak, Constantin Wanninger, Alwin Hoffmann, Hella Ponsar, Wolfgang Reif
2019	A	`conf`	Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. CP Alexander Schiendorfer, Wolfgang Reif
2018	J	`jnl`	Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems. Softwaretechnik-Trends Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, Wolfgang Reif
2018	J	`jnl`	Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing. Softwaretechnik-Trends André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
2018	—	`conf`	Automatic Planning of Manufacturing Processes using Spatial Construction Plan Analysis and Extensible Heuristic Search. ICINCO (2) Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif
2018	—	`conf`	Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager. QRS Companion Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert, Wolfgang Reif
2018	—	`conf`	Integrating Reactive Behavior and Planning: Optimizing Execution Time Through Predictive Preparation of State Machine Tasks. IRC Andreas Schierl, Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif
2018	J	`jnl`	Integrating planning and reactive behavior by using semantically annotated robot tasks. Encycl. Semantic Comput. Robotic Intell. Andreas Schierl, Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif
2018	—	`conf`	Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. ISoLA (3) Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif
2018	J	`jnl`	MiniBrass: Soft constraints for MiniZinc. Constraints An Int. J. Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif
2018	J	`jnl`	Qualitative and quantitative analysis of safety-critical systems with s#. Int. J. Softw. Tools Technol. Transf. Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif
2018	J	`jnl`	Quantitative and qualitative safety analysis of a hemodialysis machine with S#. J. Softw. Evol. Process. Johannes Leupolz, Axel Habermaier, Wolfgang Reif
2018	—	`conf`	Self-Organized Resource Allocation for Reconfigurable Robot Ensembles. SASO Julian Hanke, Oliver Kosak, Alexander Schiendorfer, Wolfgang Reif
2018	J	`jnl`	Semantic Plug and Play - Self-Descriptive Modular Hardware for Robotic Applications. Int. J. Semantic Comput. Christian Eymüller, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif
2018	J	`jnl`	Symbolic execution for a clash-free subset of ASMs. Sci. Comput. Program. Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif
2018	—	`conf`	Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap. ISoLA (3) Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif
2018	—	`conf`	Test suite reduction for self-organizing systems: a mutation-based approach. AST@ICSE André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif
2018	—	`conf`	Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams. ICINCO (2) Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter
2017	—	`conf`	Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. SpaCCS Workshops Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif
2017	—	`conf`	Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation. IRC Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif
2017	B	`conf`	Modular Verification of Order-Preserving Write-Back Caches. IFM Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif
2017	—	`conf`	Toward Adaptive, Self-Aware Test Automation. AST@ICSE Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif
2017	—	`conf`	Towards Re-orchestration of Real-Time Component Systems in Robotics. IRC Michael Vistein, Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Wolfgang Reif
2016	C	`conf`	A Relational Encoding for a Clash-Free Subset of ASMs. ABZ Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
2016	J	`jnl`	An Approach for Isolated Testing of Self-Organization Algorithms. CoRR Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
2016	C	`conf`	Back-to-Back Testing of Self-organization Mechanisms. ICTSS Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif
2016	C	`conf`	Declassification of Information with Complex Filter Functions. ICISSP Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2016	A	`conf`	Environment-aware proximity detection with capacitive sensors for human-robot-interaction. IROS Alwin Hoffmann, Alexander Poeppel, Andreas Schierl, Wolfgang Reif
2016	—	`conf`	Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif
2016	J	`jnl`	Modular, crash-safe refinement for ASMs with submachines. Sci. Comput. Program. Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
2016	C	`conf`	Risk-Based Interoperability Testing Using Reinforcement Learning. ICTSS André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen
2016	J	`jnl`	Secure Integration of Third Party Components in a Model-Driven Approach. Trans. Large Scale Data Knowl. Centered Syst. Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
2016	—	`ch.`	Specification and Design of Trust-Based Open Self-Organising Systems. Trustworthy Open Self-Organising Systems Gerrit Anders, Florian Siefert, Alexander Schiendorfer, Hella Seebach, Jan-Philipp Steghöfer, Benedikt Eberhardinger, Oliver Kosak, Wolfgang Reif
2016	—	`ch.`	The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems. Trustworthy Open Self-Organising Systems Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo Ungerer
2016	—	`conf`	Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. QRS Companion Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif
2016	—	`book`	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, Theo Ungerer
2016	—	`conf`	Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. FMICS-AVoCS Axel Habermaier, Johannes Leupolz, Wolfgang Reif
2015	J	`jnl`	A Framework for Testing Selforganisation Algorithms. Softwaretechnik-Trends Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif
2015	—	`conf`	A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives. ICAART (Revised Selected Papers) Gerrit Anders, Florian Siefert, Wolfgang Reif
2015	—	`conf`	A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints. ICAART (2) Gerrit Anders, Florian Siefert, Wolfgang Reif
2015	—	`conf`	A Research Overview and Evaluation of Performance Metrics for Self-Organization Algorithms. SASO Workshops Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif
2015	—	`conf`	A Taxonomy of Distribution for Cooperative Mobile Manipulators. ICINCO (2) Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif
2015	—	`conf`	A backward-oriented approach for offline programming of complex manufacturing tasks. ICARA Ludwig Nägele, Miroslav Macho, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Manfred Schönheits, Wolfgang Reif
2015	J	`jnl`	Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation. Trans. Comput. Collect. Intell. Alexander Schiendorfer, Gerrit Anders, Jan-Philipp Steghöfer, Wolfgang Reif
2015	—	`conf`	Active Learning for Efficient Sampling of Control Models of Collectives. SASO Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif, Rainer Lienhart
2015	—	`conf`	An Approach to Robust Resource Allocation in Large-Scale Systems of Systems. SASO Oliver Kosak, Gerrit Anders, Florian Siefert, Wolfgang Reif
2015	J	`jnl`	Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems. Scalable Comput. Pract. Exp. Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Michael Huebschmann, Wolfgang Reif
2015	J	`jnl`	Cooperative Resource Allocation in Open Systems of Systems. ACM Trans. Auton. Adapt. Syst. Gerrit Anders, Alexander Schiendorfer, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif
2015	J	`jnl`	Formal verification of QVT transformations for code generation. Softw. Syst. Model. Kurt Stenzel, Nina Moebius, Wolfgang Reif
2015	—	`conf`	Inside a Verified Flash File System: Transactions and Garbage Collection. VSTTE Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
2015	—	`ch.`	Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. Correct Software in Web Applications and Web Services Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
2015	—	`conf`	Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. ER Workshops Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif
2015	J	`jnl`	KIV: overview and VerifyThis competition. Int. J. Softw. Tools Technol. Transf. Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
2015	—	`conf`	Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper. ICAART (2) Alexander Schiendorfer, Yves Wautelet, Wolfgang Reif
2015	—	`conf`	Modeling information flow properties with UML. NTMS Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
2015	—	`conf`	On Structure and Distribution of Software for Mobile Manipulators. ICINCO (Selected Papers) Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif
2015	—	`conf`	Partial Valuation Structures for Qualitative Soft Constraints. Software, Services, and Systems Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
2015	—	`conf`	Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#. SASO Workshops Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif
2015	J	`jnl`	Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482). Dagstuhl Reports Ada Diaconescu, Stephen Marsh, Jeremy Pitt, Wolfgang Reif, Jan-Philipp Steghöfer
2015	—	`conf`	Towards Multi-functional Robot-based Automation Systems. ICINCO (2) Andreas Angerer, Michael Vistein, Alwin Hoffmann, Wolfgang Reif, Florian Krebs, Manfred Schönheits
2015	J	`jnl`	Verification of B Softw. Syst. Model. Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif
2014	B	`conf`	A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. IFM Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif
2014	J	`jnl`	A Model-Driven Approach to Noninterference. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2014	—	`conf`	An Effective Implementation of Norms in Trust-Aware Open Self-Organising Systems. SASO Workshops Jan-Philipp Steghöfer, Gerrit Anders, Jan Kantert, Christian Müller-Schloer, Wolfgang Reif
2014	C	`conf`	Development of a Verified Flash File System. ABZ Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
2014	—	`conf`	Engineering and Mastering Interwoven Systems. ARCS Workshops Sven Tomforde, Jörg Hähner, Hella Seebach, Wolfgang Reif, Bernhard Sick, Arno Wacker, Ingo Scholtes
2014	J	`jnl`	Flexible and continuous execution of real-time critical robotic tasks. Int. J. Mechatronics Autom. Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif
2014	—	`conf`	Formalizing Information Flow Control in a Model-Driven Approach. ICT-EurAsia Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif
2014	J	`jnl`	Modeling test cases for security protocols with SecureMDD. Comput. Networks Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
2014	C	`conf`	Modular Refinement for Submachines of ASMs. ABZ Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif
2014	B	`conf`	PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems. PRIMA Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Wolfgang Reif
2014	—	`conf`	Proactive Guidance for Dynamic and Cooperative Resource Allocation under Uncertainties. SASO Gerrit Anders, Florian Siefert, Michael Mair, Wolfgang Reif
2014	—	`conf`	Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers). SASO Workshops Benedikt Eberhardinger, Wolfgang Reif, Franz Wotawa, Tom Holvoet
2014	B	`conf`	Quality over Quantity in Soft Constraints. ICTAI Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif
2014	J	`jnl`	RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Ann. Math. Artif. Intell. Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
2014	—	`conf`	Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants. ARCS Workshops Gerrit Anders, Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif
2014	—	`conf`	Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems. ICAART (2) Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif
2014	C	`conf`	Synthesised Constraint Models for Distributed Energy Management. FedCSIS Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif
2014	C	`conf`	Towards Testing Self-organizing, Adaptive Systems. ICTSS Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif
2013	J	`jnl`	A Graphical Language for Real-Time Critical Robot Commands CoRR Andreas Angerer, Remi Smirra, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif
2013	—	`conf`	A System of Systems Approach to the Evolutionary Transformation of Power Management Systems. GI-Jahrestagung Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
2013	—	`conf`	A Trust- and Cooperation-Based Solution of a Dynamic Resource Allocation Problem. SASO Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif
2013	—	`conf`	An Approach for Isolated Testing of Self-Organization Algorithms. Software Engineering for Self-Adaptive Systems Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
2013	J	`jnl`	Compositional Verification of a Lock-Free Stack with RGITL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
2013	—	`conf`	Constraint Relationships for Soft Constraints. SGAI Conf. Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif
2013	—	`ch.`	Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures. Assurances for Self-Adaptive Systems Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif
2013	—	`conf`	Formal Specification of an Erase Block Management Layer for Flash Memory. Haifa Verification Conference Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
2013	—	`conf`	Managing extensibility and maintainability of industrial robotics software. ICAR Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif
2013	B	`conf`	Model Checking of Security-Critical Applications in a Model-Driven Approach. SEFM Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
2013	—	`conf`	Model-Driven Development of Information Flow-Secure Systems with IFlow. SocialCom Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif
2013	A	`conf`	Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. ISSRE Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif
2013	—	`conf`	Security requirements formalized with OCL in a model-driven approach. MoDRE Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
2013	B	`conf`	Synthesis of observers for autonomic evolutionary systems from requirements models. IM Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif
2013	—	`conf`	Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing Systems. IWSOS Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif
2013	—	`conf`	Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems. ICAART (1) Lukas Klejnowski, Yvonne Bernard, Gerrit Anders, Christian Müller-Schloer, Wolfgang Reif
2013	—	`conf`	Verification of a Virtual Filesystem Switch. VSTTE Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
2012	C	`conf`	3rd edition of the workshop on trustworthy self-organizing systems (TSOS 2012). PST Christian Müller-Schloer, Wolfgang Reif, Jan-Philipp Steghöfer
2012	B	`conf`	A Decentralized Multi-agent Algorithm for the Set Partitioning Problem. PRIMA Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif
2012	—	`conf`	A Formal Model of a Virtual Filesystem Switch SSV Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
2012	B	`conf`	Confidence as a Means to Assess the Accuracy of Trust Values. TrustCom Rolf Kiefhaber, Gerrit Anders, Florian Siefert, Theo Ungerer, Wolfgang Reif
2012	J	`jnl`	Die Guten, die Bösen und die Vertrauenswürdigen - Vertrauen im Organic Computing. Inform. Spektrum Jan-Philipp Steghöfer, Wolfgang Reif
2012	—	`conf`	Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. DPM/SETOP Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif
2012	—	`conf`	From Robot Commands to Real-time Robot Control - Transforming High-level Robot Commands into Real-time Dataflow Graphs. ICINCO (2) Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif
2012	—	`conf`	Incremental development of large, secure smart card applications. MDsec@MoDELS Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
2012	C	`conf`	Model-Driven Development of Secure Service Applications. SEW Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif
2012	—	`conf`	Model-Driven Testing of Security Protocols with SecureMDD. NTMS Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif
2012	—	`conf`	On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty. SASO Gerrit Anders, Christian Hinrichs, Florian Siefert, Pascal Behrmann, Wolfgang Reif, Michael Sonnenschein
2012	J	`jnl`	On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems. Inf. Softw. Technol. Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, Peter Salchow
2012	—	`conf`	Two-arm Robot Teleoperation using a Multi-touch Tangible User Interface. ICINCO (2) Andreas Angerer, Andreas Bareth, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif
2011	—	`conf`	A genetic algorithm for self-optimization in safety-critical resource-flow systems. EAIS Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif
2011	—	`ch.`	Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. Organic Computing Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif
2011	—	`conf`	Design of an automation system for preforming processes in aerospace industries. CASE Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart
2011	—	`ch.`	Developing Self-Organizing Robotic Cells Using Organic Computing Principles. Bio-Inspired Self-Organizing Robotic Systems Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif
2011	—	`conf`	Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. OC@ICAC Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif
2011	A	`conf`	Formal Verification of QVT Transformations for Code Generation. MoDELS Kurt Stenzel, Nina Moebius, Wolfgang Reif
2011	C	`conf`	Formal Verification of a Lock-Free Stack with Hazard Pointers. ICTAC Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif
2011	—	`ch.`	How to Design and Implement Self-organising Resource-Flow Systems. Organic Computing Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif
2011	C	`conf`	Interleaved Programs and Rely-Guarantee Reasoning with ITL. TIME Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif
2011	J	`jnl`	Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Softw. Informatics Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
2011	—	`ch.`	OC-Trust: Towards Trustworthy Organic Computing Systems. Organic Computing Jan-Philipp Steghöfer, Wolfgang Reif
2011	—	`conf`	Patterns to Measure and Utilize Trust in Multi-agent Systems. SASO Workshops Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif
2011	J	`jnl`	Proving linearizability with temporal logic. Formal Aspects Comput. Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif
2011	—	`conf`	Simulating a Flash File System with CoreASM and Eclipse. GI-Jahrestagung Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst
2011	B	`conf`	Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. SEFM Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif
2011	—	`conf`	Workshop Message. SASO Workshops Christian Müller-Schloer, Wolfgang Reif, Audun Jøsang, Jan-Philipp Steghöfer
2010	C	`conf`	A Formal Framework for Compositional Verification of Organic Computing Systems. ATC Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif
2010	—	`conf`	A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. SASO Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif
2010	J	`jnl`	Automated Flaw Detection in Algebraic Specifications. J. Autom. Reason. Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
2010	—	`conf`	Automated cutting and handling of carbon fiber fabrics in aerospace industries. CASE Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart, Gerhard Strasser
2010	—	`conf`	Design and Simulation of a Wave-like Self-Organization Strategy for Resource-Flow Systems. MALLOW Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, Peter Salchow
2010	C	`conf`	Designing Self-healing in Automotive Systems. ATC Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer
2010	—	`conf`	Engineering self-coordinating software intensive systems. FoSER Wilhelm Schäfer, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz-Josef Rammig, Wolfgang Reif, Ansgar Trächtler
2010	—	`conf`	Formal Specification and Analysis of Trusted Communities. SASO Workshops Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer
2010	—	`conf`	Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ESSoS Nina Moebius, Kurt Stenzel, Wolfgang Reif
2010	J	`jnl`	Interactive verification of concurrent systems using symbolic execution. AI Commun. Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn
2010	—	`conf`	On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. ARCS Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif
2010	J	`jnl`	On reverse-engineering the KUKA Robot Language CoRR Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif
2010	B	`conf`	Pitfalls in Formal Reasoning about Security Protocols. ARES Nina Moebius, Kurt Stenzel, Wolfgang Reif
2010	C	`conf`	Software Metrics in Static Program Analysis. ICFEM Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif
2010	B	`conf`	Temporal Logic Verification of Lock-Freedom. MPC Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif
2010	A	`conf`	The Robotics API: An object-oriented framework for modeling industrial robotics applications. IROS Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif
2010	—	`conf`	Towards Object-oriented Software Development for Industrial Robots - Facilitating the Use of Industrial Robots by Modern Software Engineering. ICINCO (2) Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif
2010	C	`conf`	Trustworthy Organic Computing Systems: Challenges and Perspectives. ATC Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer
2009	—	`conf`	A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Rigorous Methods for Software Construction and Analysis Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif
2009	C	`conf`	A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2009	A	`conf`	A generic software framework for role-based Organic Computing systems. SEAMS Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2009	B	`conf`	Abstract Specification of the UBIFS File System for Flash Memory. FM Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
2009	—	`conf`	An Abstract Specification Language for Static Program Analysis. SSV Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker
2009	C	`ed.`	Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings ATC Wolfgang Reif, Guojun Wang, Jadwiga Indulska
2009	—	`conf`	Generating formal specifications for security-critical applications - A model-driven approach. SESS@ICSE Nina Moebius, Kurt Stenzel, Wolfgang Reif
2009	A	`conf`	Hiding real-time: A new approach for the software development of industrial robots. IROS Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif
2009	—	`conf`	Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
2009	B	`conf`	SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif
2008	—	`conf`	A Specification and Construction Paradigm for Organic Computing Systems. SASO Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
2008	B	`conf`	Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
2008	C	`conf`	Bounded Relational Analysis of Free Data Types. TAP Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
2008	—	`conf`	Compositional Proofs with Symbolic Execution. VERIFY Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif
2008	B	`conf`	Implementing Organic Computing Systems with AgentService. ENASE Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif
2008	—	`conf`	Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn
2008	—	`conf`	Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif
2008	—	`conf`	Verification of Java Programs with Generics. AMAST Kurt Stenzel, Holger Grandy, Wolfgang Reif
2008	—	`ch.`	Verification of Medical Guidelines in KIV. Computer-based Medical Guidelines and Protocols Jonathan Schmitt, Michael Balser, Wolfgang Reif
2008	B	`conf`	Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. FM Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif
2008	J	`jnl`	Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Aspects Comput. Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif
2007	C	`conf`	A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ICSEA Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
2007	—	`conf`	A Refinement Method for Java Programs. FMOODS Holger Grandy, Kurt Stenzel, Wolfgang Reif
2007	B	`conf`	ASN1-light: A Verified Message Encoding for Security Protocols. SEFM Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif
2007	B	`conf`	Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation Hella Seebach, Frank Ortmeier, Wolfgang Reif
2007	C	`conf`	Modeling of self-adaptive systems with SCADE. ISCAS Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif
2007	B	`conf`	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2007	B	`conf`	Verifying Smart Card Applications: An ASM Approach. IFM Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
2007	C	`conf`	WG2: Software engineering for organic computing applications (SE4OC). Software Engineering Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck
2006	—	`conf`	Developing Provable Secure M-Commerce Applications. ETRICS Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2006	C	`conf`	Formal Modeling and Verification of Systems with Self-x Properties. ATC Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2006	J	`jnl`	Improving medical protocols by formal methods. Artif. Intell. Medicine Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter J. F. Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang
2006	B	`conf`	Interactive Verification of Medical Guidelines. FM Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
2006	C	`conf`	Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA Matthias Güdemann, Frank Ortmeier, Wolfgang Reif
2006	B	`conf`	The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. FM Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
2006	—	`conf`	Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach
2006	—	`conf`	Verification of Medical Guidelines by Model Checking - A Case Study. SPIN Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
2005	Misc	`conf`	Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
2005	B	`conf`	Object Oriented Verification Kernels for Secure Java Applications. SEFM Holger Grandy, Kurt Stenzel, Wolfgang Reif
2005	—	`conf`	Verifying Security Protocols: An ASM Approach. Abstract State Machines Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
2004	—	`conf`	A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2004	—	`conf`	Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif
2004	—	`conf`	Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. Workshop Mobile Commerce Dominik Haneberg, Kurt Stenzel, Wolfgang Reif
2004	—	`conf`	Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn
2004	—	`ed.`	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report SoftSpez Final Report Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
2004	—	`conf`	Interactive Verification of Statecharts. SoftSpez Final Report Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif
2004	C	`conf`	Interactive Verification of UML State Machines. ICFEM Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
2004	—	`conf`	Introduction to Subject Area "Verification". SoftSpez Final Report Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
2004	—	`conf`	Protocure: Supporting the Development of Medical Protocols through Formal Methods. CGP Michael Balser, Óscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter J. F. Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette ten Teije
2004	A	`conf`	Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. DSN Frank Ortmeier, Wolfgang Reif
2003	—	`conf`	Design for Trust: Security im M-Commerce. GI Jahrestagung (1) Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel
2003	J	`jnl`	Safety analysis of the height control system for the Elbtunnel. Reliab. Eng. Syst. Saf. Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
2003	J	`jnl`	Special Issue on Tools for System Design and Verification. J. Univers. Comput. Sci. Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
2002	—	`conf`	A Method for Secure Smartcard Applications. AMAST Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
2002	B	`conf`	Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh
2002	J	`jnl`	Verified Formal Security Models for Multiapplicative Smart Cards. J. Comput. Secur. Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
2002	J	`jnl`	Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn
2001	J	`jnl`	Correctness of Efficient Real-Time Model Checking. J. Univers. Comput. Sci. Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
2001	A	`conf`	Flaw Detection in Formal Specifications. IJCAR Wolfgang Reif, Gerhard Schellhorn, Andreas Thums
2001	J	`jnl`	J.UCS Special Issue on Tools for System Design and Verification - Part 1. J. Univers. Comput. Sci. Wolfgang Reif, Gerhard Schellhorn
2001	J	`jnl`	J.UCS Special Issue on Tools for System Design and Verification - Part 2. J. Univers. Comput. Sci. Wolfgang Reif, Gerhard Schellhorn
2000	B	`conf`	Do You Trust Your Model Checker? FMCAD Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer
2000	B	`conf`	Formal System Development with KIV. FASE Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
2000	A	`conf`	Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
2000	—	`conf`	Workshop über Rigorose Entwicklung software-intensiver Systeme. GI Jahrestagung Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif
1999	J	`jnl`	Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Inform. Forsch. Entwickl. Wolfgang Reif
1999	J	`jnl`	J.UCS Special Issue on Integration of Deduction Systems. J. Univers. Comput. Sci. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
1998	—	`conf`	Formal Methods and Tools: Introduction and Overview. Tool Support for System Specification, Development and Verification Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif
1998	J	`jnl`	Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik. Künstliche Intell. Wolfgang Reif
1998	—	`conf`	KIV 3.0 for Provably Correct Systems. FM-Trends Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1998	—	`conf`	VSE: Controlling the Complexity in Formal Software Developments. FM-Trends Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	A	`conf`	Proving System Correctness with KIV 3.0. CADE Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	—	`conf`	Proving System Correctness with KIV. TAPSOFT Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1997	J	`jnl`	Software-Verifikation und ihre Anwendungen. Informationstechnik Tech. Inform. Wolfgang Reif
1995	—	`ch.`	The KIV-Approach to Software Verification. KORSO Book Wolfgang Reif
1995	—	`ch.`	Three Selected Case Studies in Verification. KORSO Book Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1994	—	`conf`	Formal Specification and Verification Using KIV. FTRTFT Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1994	J	`jnl`	Tactics in KIV. J. Inf. Process. Cybern. Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1993	—	`conf`	An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. Formal Methods in Programming and Their Applications Wolfgang Reif
1993	—	`conf`	KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif
1993	—	`conf`	Reuse of Proofs in Software Verification. FSTTCS Wolfgang Reif, Kurt Stenzel
1993	A	`conf`	The KIV System: A Tool for Formal Program Development. STACS Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers
1993	—	`conf`	VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver
1992	C	`conf`	Correctness of Full First-Order Specifications. SEKE Wolfgang Reif
1992	Misc	`conf`	Correctness of Generic Modules. LFCS Wolfgang Reif
1992	A	`conf`	The KIV System: Systematic Construction of Verified Software. CADE Wolfgang Reif
1992	—	`conf`	Verification of Large Software Systems. FSTTCS Wolfgang Reif
1991	—	`—`	Korrektheit von Spezifikationen und generischen Moduln. Wolfgang Reif
1990	A	`conf`	Tactical Theorem Proving in Program Verification. CADE Maritta Heisel, Wolfgang Reif, Werner Stephan
1989	—	`conf`	A Dynamic Logic for Program Verification. Logic at Botik Maritta Heisel, Wolfgang Reif, Werner Stephan
1989	—	`conf`	Machine-Assisted Program Construction and Modification. GWAI Maritta Heisel, Wolfgang Reif, Werner Stephan
1988	J	`jnl`	Bericht über den Workshop "Logik und Wissensrepräsentation". Künstliche Intell. Maritta Heisel, Wolfgang Reif
1988	A	`conf`	Implementing Verification Strategies in the KIV-System. CADE Maritta Heisel, Wolfgang Reif, Werner Stephan
1987	B	`conf`	Program Verification Using Dynamic Logic. CSL Maritta Heisel, Wolfgang Reif, Werner Stephan
1987	—	`conf`	Program Verification by Symbolic Execution and Induction. GWAI Maritta Heisel, Wolfgang Reif, Werner Stephan
1986	A	`conf`	An Interactive Verification System Based on Dynamic Logic. CADE Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan