default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWolfgang Reif
Person information
- affiliation: University of Augsburg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c223]Christian Eymüller, Julian Hanke, Alexander Poeppel, Wolfgang Reif:
Towards Self-Configuring Plug & Produce Robot Systems Based on Ontologies. ICARA 2023: 23-27- [c222]Alexander Poeppel, Christian Eymüller, Wolfgang Reif:
SensorClouds: A Framework for Real-Time Processing of Multi-modal Sensor Data for Human-Robot-Collaboration. ICARA 2023: 294-298 - [c221]Julian Hanke, Matthias Stueben, Christian Eymüller, Maximilian Enrico Müller, Alexander Poeppel, Wolfgang Reif:
CASP: Computer Aided Specimen Placement for Robot-Based Component Testing. ICINCO (1) 2023: 374-382 - [c220]Simon Stieber, Leonard Heber, Christof Obertscheider, Wolfgang Reif:
Control of Composite Manufacturing Processes Through Deep Reinforcement Learning. ICMLA 2023: 17-22 - [c219]Gerhard Schellhorn
, Stefan Bodenmüller, Wolfgang Reif:
Refinement and Separation: Modular Verification of Wandering Trees. iFM 2023: 214-234 - [c218]Christian Eymüller, Julian Hanke, Alexander Poeppel, Constantin Wanninger, Wolfgang Reif:
RealCaPP: Real-Time Capable Plug & Produce Service Architecture for Distributed Robot Control. IRC 2023: 352-355 - [c217]Dominik Müller, Silvan Mertes, Niklas Schröter, Fabio Hellmann, Miriam Elia, Bernhard Bauer, Wolfgang Reif, Elisabeth André, Frank Kramer:
Towards Automated COVID-19 Presence and Severity Classification. MIE 2023: 917-921 - [c216]Martin Schörner, Constantin Wanninger, Raphael Katschinsky, Simon Hornung, Christian Eymüller, Alexander Poeppel, Wolfgang Reif:
UAV Inspection of Large Components: Determination of Alternative Inspection Points and Online Route Optimization. RoSE@ICSE 2023: 45-52 - [c215]Gerhard Schellhorn, Stefan Bodenmüller, Wolfgang Reif:
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems. ABZ 2023: 70-87 - [i9]Dominik Müller, Niklas Schröter, Silvan Mertes, Fabio Hellmann, Miriam Elia, Wolfgang Reif, Bernhard Bauer, Elisabeth André, Frank Kramer:
Towards Automated COVID-19 Presence and Severity Classification. CoRR abs/2305.08660 (2023) - 2022
- [j45]Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Verification of Crashsafe Caching in a Virtual File System Switch. Formal Aspects Comput. 34(1): 1-33 (2022) - [c214]Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif:
Software & System Verification with KIV. The Logic of Software. A Tasting Menu of Formal Methods 2022: 408-436 - [c213]Julian Hanke, Christian Eymüller, Julia Reichmann, Anna Trauth, Markus G. R. Sause, Wolfgang Reif:
Software-defined testing facility for component testing with industrial robots. ETFA 2022: 1-8 - [c212]Daniel Bermuth, Alexander Poeppel, Wolfgang Reif:
Jaco: An Offline Running Privacy-aware Voice Assistant. HRI 2022: 618-622 - [c211]Julian Hanke, Christian Eymüller, Alexander Poeppel, Julia Reichmann, Anna Trauth, Markus G. R. Sause, Wolfgang Reif:
Sensor-guided motions for robot-based component testing. IRC 2022: 81-84 - [c210]Matthias Stueben, Alexander Poeppel, Wolfgang Reif:
External Torque Estimation for Mobile Manipulators: A Comparison of Model-based and LSTM Methods. IRC 2022: 95-102 - [c209]Carola Gajek, Alexander Schiendorfer, Wolfgang Reif:
A Recommendation System for CAD Assembly Modeling Based on Graph Neural Networks. ECML/PKDD (1) 2022: 457-473 - [c208]Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif:
Separating Separation Logic - Modular Verification of Red-Black Trees. VSTTE 2022: 129-147 - [i8]Daniel Bermuth, Alexander Poeppel, Wolfgang Reif:
Finstreder: Simple and fast Spoken Language Understanding with Finite State Transducers using modern Speech-to-Text models. CoRR abs/2206.14589 (2022) - [i7]Daniel Bermuth, Alexander Poeppel, Wolfgang Reif:
Jaco: An Offline Running Privacy-aware Voice Assistant. CoRR abs/2209.07775 (2022) - 2021
- [c207]Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif:
Distributed Constraint Optimization for Task Allocation in Self-Adaptive Manufacturing Systems. ACSOS-C 2021: 62-67 - [c206]Jonas Wilfert, Niklas Paprotta, Oliver Kosak, Simon Stieber, Alexander Schiendorfer, Wolfgang Reif:
A Real-Word Realization of the AntNet Routing Algorithm with ActivityBots. ACSOS-C 2021: 289-290 - [c205]Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif:
Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Logic, Computation and Rigorous Methods 2021: 239-265 - [c204]Christian Eymüller, Julian Hanke, Alwin Hoffmann, Wolfgang Reif, Markus Kugelmann, Florian Grätz:
RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control. CASE 2021: 585-590 - [c203]Christian Eymüller, Julian Hanke, Alwin Hoffmann, Alexander Poeppel, Constantin Wanninger, Wolfgang Reif:
Towards a Real-Time Capable Plug & Produce Environment for Adaptable Factories. ETFA 2021: 1-4 - [c202]Matthias Stueben, Alwin Hoffmann, Wolfgang Reif:
Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered Environments. ETFA 2021: 1-8 - [c201]Jonas Wilfert, Simon Stieber, Frederik Wilhelm, Wolfgang Reif:
Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics. ETFA 2021: 1-8 - [c200]Martin Schörner, Michelle Bettendorf, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif:
UAV Inspection of Large Components: Indoor Navigation Relative to Structures. ICINCO 2021: 179-186 - [c199]Simon Stieber, Niklas Schröter, Ewald Fauster, Alexander Schiendorfer, Wolfgang Reif:
PermeabilityNets: Comparing Neural Network Architectures on a Sequence-to-Instance Task in CFRP Manufacturing. ICMLA 2021: 694-697 - [c198]Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif:
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 2021: 41-46 - [c197]Constantin Wanninger, Luca Alfano, Martin Schörner, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif:
Semantic Plug and Play: An Architecture Combining Linked Data and Reconfigurable Hardware. ICSC 2021: 203-206 - [i6]Daniel Bermuth, Alexander Poeppel, Wolfgang Reif:
Scribosermo: Fast Speech-to-Text models for German and other Languages. CoRR abs/2110.07982 (2021) - 2020
- [c196]Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif:
Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production Cell. ACSOS 2020: 178-187 - [c195]Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif:
Adding Concurrency to a Sequential Refinement Tower. ABZ 2020: 6-23 - [c194]Christian Eymüller, Julian Hanke, Alwin Hoffmann, Markus Kugelmann, Wolfgang Reif:
Real-time capable OPC-UA Programs over TSN for distributed industrial control. ETFA 2020: 278-285 - [c193]Simon Stieber, Alwin Hoffmann, Alexander Schiendorfer, Wolfgang Reif, Matthias Beyrle, Jan Faber, Michaela Richter, Markus G. R. Sause:
Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures. ETFA 2020: 1455-1458 - [c192]Constantin Wanninger, Raphael Katschinsky, Alwin Hoffmann, Martin Schörner, Wolfgang Reif:
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning. ICINCO 2020: 71-80 - [c191]Martin Schörner, Raphael Katschinsky, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif:
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning and View Angle Dependent Optimization Strategies. ICINCO (Selected Papers) 2020: 105-123 - [c190]Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. IFM 2020: 218-236 - [c189]Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif:
How to find assembly plans (fast): Hierarchical state space partitioning for efficient multi-robot assembly. IRC 2020: 172-177 - [c188]Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak, Hella Ponsar, Wolfgang Reif:
Modeling and Execution of Coordinated Missions in Reconfigurable Robot Ensembles. IRC 2020: 290-293 - [c187]Alexander Poeppel, Alwin Hoffmann, Martin Siehler, Wolfgang Reif:
Robust Distance Estimation of Capacitive Proximity Sensors in HRI using Neural Networks. IRC 2020: 344-351 - [c186]Ludwig Nägele, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif:
LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of LEGO structures. IROS 2020: 9088-9095 - [c185]Oliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif:
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning. ISoLA (2) 2020: 507-524 - [c184]Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif:
Swarm and Collective Capabilities for Multipotent Robot Ensembles. ISoLA (2) 2020: 525-540 - [c183]Julia Krützmann, Alexander Schiendorfer, Sergej Beratz, Judith Moosburger-Will, Wolfgang Reif, Siegfried Horn:
Learning Controllers for Adaptive Spreading of Carbon Fiber Tows. LOD (2) 2020: 65-77 - [c182]Simon Stieber, Niklas Schröter, Alexander Schiendorfer, Alwin Hoffmann, Wolfgang Reif:
FlowFrontNet: Improving Carbon Composite Manufacturing with CNNs. ECML/PKDD (4) 2020: 411-426 - [c181]Miriam Elia, Carola Gajek, Alexander Schiendorfer, Wolfgang Reif:
An Interactive Web Application for Decision Tree Learning. Teaching ML 2020: 11-16 - [c180]Alexander Schiendorfer, Carola Gajek, Wolfgang Reif:
Turning Software Engineers into Machine Learning Engineers. Teaching ML 2020: 36-41 - [i5]Michael Filipenko, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif:
Opportunities and Limitations of Mixed Reality Holograms in Industrial Robotics. CoRR abs/2001.08166 (2020)
2010 – 2019
- 2019
- [j44]Oliver Kosak, Constantin Wanninger, Alwin Hoffmann, Hella Ponsar, Wolfgang Reif:
Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles. Sensors 19(1): 17 (2019) - [c179]Alexander Schiendorfer, Wolfgang Reif:
Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. CP 2019: 510-526 - [c178]Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif:
Modular and Domain-guided Multi-robot Planning for Assembly Processes. ICINCO (2) 2019: 595-604 - [c177]Carola Gajek, Alexander Schiendorfer, Wolfgang Reif:
A Chained Neural Network Model for Photovoltaic Power Forecast. LOD 2019: 566-578 - [c176]Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar, Wolfgang Reif:
Ensemble Programming for Multipotent Systems. FAS*W@SASO/ICAC 2019: 104-109 - 2018
- [j43]Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif:
MiniBrass: Soft constraints for MiniZinc. Constraints An Int. J. 23(4): 403-450 (2018) - [j42]Andreas Schierl, Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif:
Integrating planning and reactive behavior by using semantically annotated robot tasks. Encycl. Semantic Comput. Robotic Intell. 2(1): 1850005:1-1850005:10 (2018) - [j41]Christian Eymüller, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif:
Semantic Plug and Play - Self-Descriptive Modular Hardware for Robotic Applications. Int. J. Semantic Comput. 12(4): 559-577 (2018) - [j40]Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif:
Symbolic execution for a clash-free subset of ASMs. Sci. Comput. Program. 158: 21-40 (2018) - [j39]Johannes Leupolz, Axel Habermaier, Wolfgang Reif:
Quantitative and qualitative safety analysis of a hemodialysis machine with S#. J. Softw. Evol. Process. 30(5) (2018) - [j38]André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif:
Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing. Softwaretechnik-Trends 38(1): 57-60 (2018) - [j37]Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp, Wolfgang Reif:
Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems. Softwaretechnik-Trends 38(1): 61-64 (2018) - [j36]Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif:
Qualitative and quantitative analysis of safety-critical systems with s#. Int. J. Softw. Tools Technol. Transf. 20(4): 359-377 (2018) - [c175]Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif:
Automatic Planning of Manufacturing Processes using Spatial Construction Plan Analysis and Extensible Heuristic Search. ICINCO (2) 2018: 586-593 - [c174]Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif, Heinz Voggenreiter:
Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams. ICINCO (2) 2018: 615-622 - [c173]André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif:
Test suite reduction for self-organizing systems: a mutation-based approach. AST@ICSE 2018: 64-70 - [c172]Andreas Schierl, Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif:
Integrating Reactive Behavior and Planning: Optimizing Execution Time Through Predictive Preparation of State Machine Tasks. IRC 2018: 95-101 - [c171]Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak, Wolfgang Reif:
Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap. ISoLA (3) 2018: 94-108 - [c170]Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif:
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. ISoLA (3) 2018: 202-220 - [c169]Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert, Wolfgang Reif:
Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager. QRS Companion 2018: 513-518 - [c168]Julian Hanke, Oliver Kosak, Alexander Schiendorfer, Wolfgang Reif:
Self-Organized Resource Allocation for Reconfigurable Robot Ensembles. SASO 2018: 110-119 - 2017
- [c167]Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif:
Toward Adaptive, Self-Aware Test Automation. AST@ICSE 2017: 34-37 - [c166]Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Modular Verification of Order-Preserving Write-Back Caches. IFM 2017: 375-390 - [c165]Michael Vistein, Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Wolfgang Reif:
Towards Re-orchestration of Real-Time Component Systems in Robotics. IRC 2017: 60-68 - [c164]Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif:
Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation. IRC 2017: 101-108 - [c163]Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif:
Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. SpaCCS Workshops 2017: 209-218 - 2016
- [j35]Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular, crash-safe refinement for ASMs with submachines. Sci. Comput. Program. 131: 3-21 (2016) - [j34]Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif:
Secure Integration of Third Party Components in a Model-Driven Approach. Trans. Large Scale Data Knowl. Centered Syst. 30: 66-86 (2016) - [c162]Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
A Relational Encoding for a Clash-Free Subset of ASMs. ABZ 2016: 237-243 - [c161]Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif:
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS 2016: 97-114 - [c160]Axel Habermaier, Johannes Leupolz, Wolfgang Reif:
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. FMICS-AVoCS 2016: 150-167 - [c159]Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif:
Declassification of Information with Complex Filter Functions. ICISSP 2016: 490-497 - [c158]Alwin Hoffmann, Alexander Poeppel, Andreas Schierl, Wolfgang Reif:
Environment-aware proximity detection with capacitive sensors for human-robot-interaction. IROS 2016: 145-150 - [c157]Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif:
Back-to-Back Testing of Self-organization Mechanisms. ICTSS 2016: 18-35 - [c156]André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen:
Risk-Based Interoperability Testing Using Reinforcement Learning. ICTSS 2016: 52-69 - [c155]Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif:
Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. QRS Companion 2016: 301-302 - [p11]Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo Ungerer:
The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems. Trustworthy Open Self-Organising Systems 2016: 1-16 - [p10]Gerrit Anders, Florian Siefert, Alexander Schiendorfer, Hella Seebach, Jan-Philipp Steghöfer, Benedikt Eberhardinger, Oliver Kosak, Wolfgang Reif:
Specification and Design of Trust-Based Open Self-Organising Systems. Trustworthy Open Self-Organising Systems 2016: 17-54 - [e3]Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo Ungerer:
Trustworthy Open Self-Organising Systems. Autonomic Systems, Springer 2016, ISBN 978-3-319-29199-4 [contents] - [i4]Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif:
An Approach for Isolated Testing of Self-Organization Algorithms. CoRR abs/1606.02442 (2016) - 2015
- [j33]Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Michael Huebschmann, Wolfgang Reif:
Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems. Scalable Comput. Pract. Exp. 16(4): 333-354 (2015) - [j32]Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif:
Verification of B+ trees by integration of shape analysis and interactive theorem proving. Softw. Syst. Model. 14(1): 27-44 (2015) - [j31]Kurt Stenzel, Nina Moebius, Wolfgang Reif:
Formal verification of QVT transformations for code generation. Softw. Syst. Model. 14(2): 981-1002 (2015) - [j30]Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif:
A Framework for Testing Selforganisation Algorithms. Softwaretechnik-Trends 35(1) (2015) - [j29]Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
KIV: overview and VerifyThis competition. Int. J. Softw. Tools Technol. Transf. 17(6): 677-694 (2015) - [j28]Gerrit Anders, Alexander Schiendorfer, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif:
Cooperative Resource Allocation in Open Systems of Systems. ACM Trans. Auton. Adapt. Syst. 10(2): 11:1-11:44 (2015) - [j27]Alexander Schiendorfer, Gerrit Anders, Jan-Philipp Steghöfer, Wolfgang Reif:
Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation. Trans. Comput. Collect. Intell. 20: 23-53 (2015) - [c154]Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif:
Partial Valuation Structures for Qualitative Soft Constraints. Software, Services, and Systems 2015: 115-133 - [c153]Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif:
Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. ER Workshops 2015: 63-73 - [c152]Gerrit Anders, Florian Siefert, Wolfgang Reif:
A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints. ICAART (2) 2015: 151-163 - [c151]Gerrit Anders, Florian Siefert, Wolfgang Reif:
A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives. ICAART (Revised Selected Papers) 2015: 223-244 - [c150]Alexander Schiendorfer, Yves Wautelet, Wolfgang Reif:
Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper. ICAART (2) 2015: 614-619 - [c149]Ludwig Nägele, Miroslav Macho, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Manfred Schönheits, Wolfgang Reif:
A backward-oriented approach for offline programming of complex manufacturing tasks. ICARA 2015: 124-130 - [c148]Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif:
A Taxonomy of Distribution for Cooperative Mobile Manipulators. ICINCO (2) 2015: 74-83 - [c147]Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif:
On Structure and Distribution of Software for Mobile Manipulators. ICINCO (Selected Papers) 2015: 209-227 - [c146]Andreas Angerer, Michael Vistein, Alwin Hoffmann, Wolfgang Reif, Florian Krebs, Manfred Schönheits:
Towards Multi-functional Robot-based Automation Systems. ICINCO (2) 2015: 438-443 - [c145]Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Modeling information flow properties with UML. NTMS 2015: 1-5 - [c144]Oliver Kosak, Gerrit Anders, Florian Siefert, Wolfgang Reif:
An Approach to Robust Resource Allocation in Large-Scale Systems of Systems. SASO 2015: 1-10 - [c143]Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif, Rainer Lienhart:
Active Learning for Efficient Sampling of Control Models of Collectives. SASO 2015: 51-60 - [c142]Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif:
A Research Overview and Evaluation of Performance Metrics for Self-Organization Algorithms. SASO Workshops 2015: 122-127 - [c141]Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif:
Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#. SASO Workshops 2015: 128-133 - [c140]Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Inside a Verified Flash File System: Transactions and Garbage Collection. VSTTE 2015: 73-93 - [p9]Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. Correct Software in Web Applications and Web Services 2015: 45-81 - [i3]Ada Diaconescu, Stephen Marsh, Jeremy Pitt, Wolfgang Reif, Jan-Philipp Steghöfer:
Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482). Dagstuhl Reports 5(11): 127-150 (2015) - 2014
- [j26]Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Ann. Math. Artif. Intell. 71(1-3): 131-174 (2014) - [j25]Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Modeling test cases for security protocols with SecureMDD. Comput. Networks 58: 99-111 (2014) - [j24]Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif:
Flexible and continuous execution of real-time critical robotic tasks. Int. J. Mechatronics Autom. 4(1): 27-38 (2014) - [j23]Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif:
A Model-Driven Approach to Noninterference. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5(3): 30-43 (2014) - [c139]Gerrit Anders, Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif:
Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants. ARCS Workshops 2014: 1-8 - [c138]Sven Tomforde, Jörg Hähner, Hella Seebach, Wolfgang Reif, Bernhard Sick, Arno Wacker, Ingo Scholtes:
Engineering and Mastering Interwoven Systems. ARCS Workshops 2014: 1-8 - [c137]Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif:
Development of a Verified Flash File System. ABZ 2014: 9-24 - [c136]Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular Refinement for Submachines of ASMs. ABZ 2014: 188-203 - [c135]Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif:
Synthesised Constraint Models for Distributed Energy Management. FedCSIS 2014: 1529-1538 - [c134]Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif:
Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems. ICAART (2) 2014: 15-27 - [c133]Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif:
Formalizing Information Flow Control in a Model-Driven Approach. ICT-EurAsia 2014: 456-461 - [c132]Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif:
Quality over Quantity in Soft Constraints. ICTAI 2014: 453-460 - [c131]Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif:
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. IFM 2014: 357-372 - [c130]Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Wolfgang Reif:
PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems. PRIMA 2014: 1-17 - [c129]Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif:
Towards Testing Self-organizing, Adaptive Systems. ICTSS 2014: 180-185 - [c128]Gerrit Anders, Florian Siefert, Michael Mair, Wolfgang Reif:
Proactive Guidance for Dynamic and Cooperative Resource Allocation under Uncertainties. SASO 2014: 21-30 - [c127]Jan-Philipp Steghöfer, Gerrit Anders, Jan Kantert, Christian Müller-Schloer, Wolfgang Reif:
An Effective Implementation of Norms in Trust-Aware Open Self-Organising Systems. SASO Workshops 2014: 76-77 - [c126]Benedikt Eberhardinger, Wolfgang Reif, Franz Wotawa, Tom Holvoet:
Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers). SASO Workshops 2014: 108-109 - 2013
- [j22]Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
Compositional Verification of a Lock-Free Stack with RGITL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [c125]Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif:
An Approach for Isolated Testing of Self-Organization Algorithms. Software Engineering for Self-Adaptive Systems 2013: 188-222 - [c124]Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif:
A System of Systems Approach to the Evolutionary Transformation of Power Management Systems. GI-Jahrestagung 2013: 1500-1515 - [c123]Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
Formal Specification of an Erase Block Management Layer for Flash Memory. Haifa Verification Conference 2013: 214-229 - [c122]Lukas Klejnowski, Yvonne Bernard, Gerrit Anders, Christian Müller-Schloer, Wolfgang Reif:
Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems. ICAART (1) 2013: 312-317 - [c121]Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif:
Managing extensibility and maintainability of industrial robotics software. ICAR 2013: 1-7 - [c120]Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif:
Synthesis of observers for autonomic evolutionary systems from requirements models. IM 2013: 1405-1408 - [c119]Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif:
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. ISSRE 2013: 21-30 - [c118]Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif:
Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing Systems. IWSOS 2013: 90-102 - [c117]Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Security requirements formalized with OCL in a model-driven approach. MoDRE 2013: 65-73 - [c116]Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif:
A Trust- and Cooperation-Based Solution of a Dynamic Resource Allocation Problem. SASO 2013: 1-10 - [c115]Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Model Checking of Security-Critical Applications in a Model-Driven Approach. SEFM 2013: 76-90 - [c114]Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif:
Constraint Relationships for Soft Constraints. SGAI Conf. 2013: 241-255 - [c113]Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Model-Driven Development of Information Flow-Secure Systems with IFlow. SocialCom 2013: 51-56 - [c112]Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif:
Verification of a Virtual Filesystem Switch. VSTTE 2013: 242-261 - [p8]Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif:
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures. Assurances for Self-Adaptive Systems 2013: 80-111 - [i2]Andreas Angerer, Remi Smirra, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif:
A Graphical Language for Real-Time Critical Robot Commands. CoRR abs/1303.6777 (2013) - 2012
- [j21]Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, Peter Salchow:
On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems. Inf. Softw. Technol. 54(6): 593-607 (2012) - [j20]Jan-Philipp Steghöfer, Wolfgang Reif:
Die Guten, die Bösen und die Vertrauenswürdigen - Vertrauen im Organic Computing. Inform. Spektrum 35(2): 119-131 (2012) - [c111]Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif:
Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. DPM/SETOP 2012: 174-186 - [c110]Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif:
From Robot Commands to Real-time Robot Control - Transforming High-level Robot Commands into Real-time Dataflow Graphs. ICINCO (2) 2012: 150-158 - [c109]Andreas Angerer, Andreas Bareth, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif:
Two-arm Robot Teleoperation using a Multi-touch Tangible User Interface. ICINCO (2) 2012: 327-332 - [c108]Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Incremental development of large, secure smart card applications. MDsec@MoDELS 2012: 9 - [c107]Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Model-Driven Testing of Security Protocols with SecureMDD. NTMS 2012: 1-5 - [c106]Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif:
A Decentralized Multi-agent Algorithm for the Set Partitioning Problem. PRIMA 2012: 107-121 - [c105]Christian Müller-Schloer, Wolfgang Reif, Jan-Philipp Steghöfer:
3rd edition of the workshop on trustworthy self-organizing systems (TSOS 2012). PST 2012: 235 - [c104]Gerrit Anders, Christian Hinrichs, Florian Siefert, Pascal Behrmann, Wolfgang Reif, Michael Sonnenschein:
On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty. SASO 2012: 29-38 - [c103]Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Model-Driven Development of Secure Service Applications. SEW 2012: 62-71 - [c102]Rolf Kiefhaber, Gerrit Anders, Florian Siefert, Theo Ungerer, Wolfgang Reif:
Confidence as a Means to Assess the Accuracy of Trust Values. TrustCom 2012: 690-697 - [c101]Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif:
A Formal Model of a Virtual Filesystem Switch. SSV 2012: 33-45 - 2011
- [j19]Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif:
Proving linearizability with temporal logic. Formal Aspects Comput. 23(1): 91-112 (2011) - [j18]Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Softw. Informatics 5(1-2): 159-184 (2011) - [c100]Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart:
Design of an automation system for preforming processes in aerospace industries. CASE 2011: 557-562 - [c99]Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif:
A genetic algorithm for self-optimization in safety-critical resource-flow systems. EAIS 2011: 77-84 - [c98]Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst:
Simulating a Flash File System with CoreASM and Eclipse. GI-Jahrestagung 2011: 355 - [c97]Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif:
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. OC@ICAC 2011: 3-12 - [c96]Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif:
Formal Verification of a Lock-Free Stack with Hazard Pointers. ICTAC 2011: 239-255 - [c95]Kurt Stenzel, Nina Moebius, Wolfgang Reif:
Formal Verification of QVT Transformations for Code Generation. MoDELS 2011: 533-547 - [c94]Christian Müller-Schloer, Wolfgang Reif, Audun Jøsang, Jan-Philipp Steghöfer:
Workshop Message. SASO Workshops 2011: 17 - [c93]Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif:
Patterns to Measure and Utilize Trust in Multi-agent Systems. SASO Workshops 2011: 35-40 - [c92]Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif:
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving. SEFM 2011: 188-203 - [c91]Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif:
Interleaved Programs and Rely-Guarantee Reasoning with ITL. TIME 2011: 99-106 - [p7]Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif:
Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach. Organic Computing 2011: 79-93 - [p6]Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif:
How to Design and Implement Self-organising Resource-Flow Systems. Organic Computing 2011: 145-161 - [p5]Jan-Philipp Steghöfer, Wolfgang Reif:
OC-Trust: Towards Trustworthy Organic Computing Systems. Organic Computing 2011: 593-595 - [p4]Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach, Wolfgang Reif:
Developing Self-Organizing Robotic Cells Using Organic Computing Principles. Bio-Inspired Self-Organizing Robotic Systems 2011: 253-273 - 2010
- [j17]Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn:
Interactive verification of concurrent systems using symbolic execution. AI Commun. 23(2-3): 285-307 (2010) - [j16]Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
Automated Flaw Detection in Algebraic Specifications. J. Autom. Reason. 45(4): 359-395 (2010) - [c90]Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Pitfalls in Formal Reasoning about Security Protocols. ARES 2010: 248-253 - [c89]Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif:
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems. ARCS 2010: 87-100 - [c88]Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif:
A Formal Framework for Compositional Verification of Organic Computing Systems. ATC 2010: 17-31 - [c87]Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, Wilhelm Schäfer:
Designing Self-healing in Automotive Systems. ATC 2010: 47-61 - [c86]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:
Trustworthy Organic Computing Systems: Challenges and Perspectives. ATC 2010: 62-76 - [c85]Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart, Gerhard Strasser:
Automated cutting and handling of carbon fiber fabrics in aerospace industries. CASE 2010: 861-866 - [c84]Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ESSoS 2010: 166-181 - [c83]Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif:
Software Metrics in Static Program Analysis. ICFEM 2010: 485-500 - [c82]Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif:
Towards Object-oriented Software Development for Industrial Robots - Facilitating the Use of Industrial Robots by Modern Software Engineering. ICINCO (2) 2010: 437-440 - [c81]Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif:
The Robotics API: An object-oriented framework for modeling industrial robotics applications. IROS 2010: 4036-4041 - [c80]Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, Peter Salchow:
Design and Simulation of a Wave-like Self-Organization Strategy for Resource-Flow Systems. MALLOW 2010 - [c79]Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif:
Temporal Logic Verification of Lock-Freedom. MPC 2010: 377-396 - [c78]Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer:
Formal Specification and Analysis of Trusted Communities. SASO Workshops 2010: 190-195 - [c77]Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif:
A Software Engineering Guideline for Self-Organizing Resource-Flow Systems. SASO 2010: 194-203 - [c76]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:
Engineering self-coordinating software intensive systems. FoSER 2010: 321-324 - [i1]Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif:
On reverse-engineering the KUKA Robot Language. CoRR abs/1009.5004 (2010)
2000 – 2009
- 2009
- [c75]Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif:
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES 2009: 841-846 - [c74]Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif:
Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference 2009: 44-53 - [c73]Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems. ATC 2009: 17-31 - [c72]Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif:
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. Rigorous Methods for Software Construction and Analysis 2009: 93-110 - [c71]Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
Abstract Specification of the UBIFS File System for Flash Memory. FM 2009: 190-206 - [c70]Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Generating formal specifications for security-critical applications - A model-driven approach. SESS@ICSE 2009: 68-74 - [c69]Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
A generic software framework for role-based Organic Computing systems. SEAMS 2009: 96-105 - [c68]Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein, Wolfgang Reif:
Hiding real-time: A new approach for the software development of industrial robots. IROS 2009: 2108-2113 - [c67]Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, Ansgar Fehnker:
An Abstract Specification Language for Static Program Analysis. SSV 2009: 181-197 - [e2]Wolfgang Reif, Guojun Wang, Jadwiga Indulska:
Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings. Lecture Notes in Computer Science 5586, Springer 2009, ISBN 978-3-642-02703-1 [contents] - 2008
- [j15]Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif:
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Aspects Comput. 20(1): 41-59 (2008) - [c66]Kurt Stenzel, Holger Grandy, Wolfgang Reif:
Verification of Java Programs with Generics. AMAST 2008: 315-329 - [c65]Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
Automating Algebraic Specifications of Non-freely Generated Data Types. ATVA 2008: 141-155 - [c64]Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif:
Organic Computing for Health Care Systems - Possible Benefits and Challenges. HEALTHINF (2) 2008: 286-290 - [c63]Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif:
Compositional Proofs with Symbolic Execution. VERIFY 2008 - [c62]Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif:
Implementing Organic Computing Systems with AgentService. ENASE 2008: 64-71 - [c61]Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif:
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. FM 2008: 165-180 - [c60]Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn:
Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops 2008 - [c59]Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif:
A Specification and Construction Paradigm for Organic Computing Systems. SASO 2008: 233-242 - [c58]Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
Bounded Relational Analysis of Free Data Types. TAP 2008: 99-115 - [p3]Jonathan Schmitt, Michael Balser, Wolfgang Reif:
Verification of Medical Guidelines in KIV. Computer-based Medical Guidelines and Protocols 2008: 253-262 - 2007
- [c57]Hella Seebach, Frank Ortmeier, Wolfgang Reif:
Design and construction of organic computing systems. IEEE Congress on Evolutionary Computation 2007: 4215-4221 - [c56]Holger Grandy, Kurt Stenzel, Wolfgang Reif:
A Refinement Method for Java Programs. FMOODS 2007: 221-235 - [c55]Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn:
A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ICSEA 2007: 8 - [c54]Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn:
Verifying Smart Card Applications: An ASM Approach. IFM 2007: 313-332 - [c53]Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif:
Modeling of self-adaptive systems with SCADE. ISCAS 2007: 2922-2925 - [c52]Matthias Güdemann, Frank Ortmeier, Wolfgang Reif:
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. SAFECOMP 2007: 465-478 - [c51]Frank Ortmeier, Wolfgang Reif, Giovanna Di Marzo Serugendo, Hartmut Schmeck:
WG2: Software engineering for organic computing applications (SE4OC). Software Engineering 2007: 275-276 - [c50]Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif:
ASN1-light: A Verified Message Encoding for Security Protocols. SEFM 2007: 195-204 - 2006
- [j14]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:
Improving medical protocols by formal methods. Artif. Intell. Medicine 36(3): 193-209 (2006) - [c49]Matthias Güdemann, Frank Ortmeier, Wolfgang Reif:
Formal Modeling and Verification of Systems with Self-x Properties. ATC 2006: 38-47 - [c48]Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel:
Developing Provable Secure M-Commerce Applications. ETRICS 2006: 115-129 - [c47]Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif:
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. FM 2006: 16-31 - [c46]Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos:
Interactive Verification of Medical Guidelines. FM 2006: 32-47 - [c45]Matthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach:
Towards Safe and Secure Organic Computing Applications. GI Jahrestagung (1) 2006: 153-160 - [c44]Matthias Güdemann, Frank Ortmeier, Wolfgang Reif:
Safety and Dependability Analysis of Self-Adaptive Systems. ISoLA 2006: 177-184 - [c43]Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt:
Verification of Medical Guidelines by Model Checking - A Case Study. SPIN 2006: 219-233 - 2005
- [c42]Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn:
Verifying Security Protocols: An ASM Approach. Abstract State Machines 2005: 247-262 - [c41]Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC 2005: 210-224 - [c40]Holger Grandy, Kurt Stenzel, Wolfgang Reif:
Object Oriented Verification Kernels for Secure Java Applications. SEFM 2005: 170-179 - 2004
- [c39]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:
Protocure: Supporting the Development of Medical Protocols through Formal Methods. CGP 2004: 103-107 - [c38]Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif:
Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373 - [c37]Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422 - [c36]Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif:
Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493 - [c35]Frank Ortmeier, Wolfgang Reif:
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. DSN 2004: 651-658 - [c34]Dominik Haneberg, Wolfgang Reif, Kurt Stenzel:
A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops 2004: 72-85 - [c33]Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums:
Interactive Verification of UML State Machines. ICFEM 2004: 434-448 - [c32]Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn:
Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642 - [c31]Dominik Haneberg, Kurt Stenzel, Wolfgang Reif:
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. Workshop Mobile Commerce 2004: 103-113 - [e1]Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper:
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report. Lecture Notes in Computer Science 3147, Springer 2004, ISBN 3-540-23135-8 [contents] - 2003
- [j13]Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn:
Special Issue on Tools for System Design and Verification. J. Univers. Comput. Sci. 9(2): 86-87 (2003) - [j12]Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh:
Safety analysis of the height control system for the Elbtunnel. Reliab. Eng. Syst. Saf. 81(3): 259-268 (2003) - [c30]Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel:
Design for Trust: Security im M-Commerce. GI Jahrestagung (1) 2003: 91-94 - 2002
- [j11]Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll:
Verified Formal Security Models for Multiapplicative Smart Cards. J. Comput. Secur. 10(4): 339-368 (2002) - [j10]Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn:
Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002) - [c29]Dominik Haneberg, Wolfgang Reif, Kurt Stenzel:
A Method for Secure Smartcard Applications. AMAST 2002: 319-333 - [c28]Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh:
Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP 2002: 296-308 - 2001
- [j9]Wolfgang Reif, Gerhard Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification - Part 1. J. Univers. Comput. Sci. 7(1): 1-2 (2001) - [j8]Wolfgang Reif, Gerhard Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification - Part 2. J. Univers. Comput. Sci. 7(2): 105-106 (2001) - [j7]Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf:
Correctness of Efficient Real-Time Model Checking. J. Univers. Comput. Sci. 7(2): 194-209 (2001) - [c27]Wolfgang Reif, Gerhard Schellhorn, Andreas Thums:
Flaw Detection in Formal Specifications. IJCAR 2001: 642-657 - 2000
- [c26]Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll:
Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS 2000: 17-36 - [c25]Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums:
Formal System Development with KIV. FASE 2000: 363-366 - [c24]Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer:
Do You Trust Your Model Checker? FMCAD 2000: 179-196 - [c23]Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif:
Workshop über Rigorose Entwicklung software-intensiver Systeme. GI Jahrestagung 2000: 465-466
1990 – 1999
- 1999
- [j6]Wolfgang Reif:
Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz. Inform. Forsch. Entwickl. 14(4): 193-202 (1999) - [j5]Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif:
J.UCS Special Issue on Integration of Deduction Systems. J. Univers. Comput. Sci. 5(3) (1999) - 1998
- [j4]Wolfgang Reif:
Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik. Künstliche Intell. 12(4): 42-48 (1998) - [c22]Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
KIV 3.0 for Provably Correct Systems. FM-Trends 1998: 330-337 - [c21]Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
VSE: Controlling the Complexity in Formal Software Developments. FM-Trends 1998: 351-358 - [c20]Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif:
Formal Methods and Tools: Introduction and Overview. Tool Support for System Specification, Development and Verification 1998: 1-17 - 1997
- [j3]Wolfgang Reif:
Software-Verifikation und ihre Anwendungen. Informationstechnik Tech. Inform. 39(3): 34-40 (1997) - [c19]Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Proving System Correctness with KIV 3.0. CADE 1997: 69-72 - [c18]Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Proving System Correctness with KIV. TAPSOFT 1997: 859-862 - 1995
- [p2]Wolfgang Reif:
The KIV-Approach to Software Verification. KORSO Book 1995: 339-370 - [p1]Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Three Selected Case Studies in Verification. KORSO Book 1995: 371-387 - 1994
- [j2]Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Tactics in KIV. J. Inf. Process. Cybern. 30(5/6): 293-310 (1994) - [c17]Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel:
Formal Specification and Verification Using KIV. FTRTFT 1994: 787 - 1993
- [c16]Wolfgang Reif:
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. Formal Methods in Programming and Their Applications 1993: 67-80 - [c15]Wolfgang Reif, Kurt Stenzel:
Reuse of Proofs in Software Verification. FSTTCS 1993: 284-293 - [c14]Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif:
KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271 - [c13]Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers:
The KIV System: A Tool for Formal Program Development. STACS 1993: 704-705 - [c12]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:
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. VIS 1993: 175-190 - 1992
- [c11]Wolfgang Reif:
The KIV System: Systematic Construction of Verified Software. CADE 1992: 753-757 - [c10]Wolfgang Reif:
Verification of Large Software Systems. FSTTCS 1992: 241-252 - [c9]Wolfgang Reif:
Correctness of Generic Modules. LFCS 1992: 406-417 - [c8]Wolfgang Reif:
Correctness of Full First-Order Specifications. SEKE 1992: 276-283 - 1991
- [b1]Wolfgang Reif:
Korrektheit von Spezifikationen und generischen Moduln. Karlsruhe Institute of Technology, Germany, 1991, pp. 1-258 - 1990
- [c7]Maritta Heisel, Wolfgang Reif, Werner Stephan:
Tactical Theorem Proving in Program Verification. CADE 1990: 117-131
1980 – 1989
- 1989
- [c6]Maritta Heisel, Wolfgang Reif, Werner Stephan:
A Dynamic Logic for Program Verification. Logic at Botik 1989: 134-145 - [c5]Maritta Heisel, Wolfgang Reif, Werner Stephan:
Machine-Assisted Program Construction and Modification. GWAI 1989: 338-347 - 1988
- [j1]Maritta Heisel, Wolfgang Reif:
Bericht über den Workshop "Logik und Wissensrepräsentation". Künstliche Intell. 2(3): 15-17 (1988) - [c4]Maritta Heisel, Wolfgang Reif, Werner Stephan:
Implementing Verification Strategies in the KIV-System. CADE 1988: 131-140 - 1987
- [c3]Maritta Heisel, Wolfgang Reif, Werner Stephan:
Program Verification Using Dynamic Logic. CSL 1987: 102-117 - [c2]Maritta Heisel, Wolfgang Reif, Werner Stephan:
Program Verification by Symbolic Execution and Induction. GWAI 1987: 201-210 - 1986
- [c1]Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan:
An Interactive Verification System Based on Dynamic Logic. CADE 1986: 306-315
Coauthor Index
[c204] [c203] [c202] [c200] [c198] [c197] [c194] [c193] [c192] [c191] [c189] [c188] [c187] [c186] [c185] [c184] [c182] [i5] [j44] [c178] [j42] [j41] [c175] [c174] [c172] [c171] [c165] [c164] [c158] [c155] [c149] [c148] [c147] [c146] [j24] [c121] [i2] [c110] [c109] [c100] [p4] [c85] [c82] [c81] [i1] [c68] [c46]
[c219] [c215] [j45] [c214] [c208] [c205] [c195] [c190] [j40] [c166] [j35] [c162] [j32] [j29] [c140] [p9] [j26] [c137] [c136] [c131] [j22] [c123] [c112] [c101] [j19] [j18] [c98] [c96] [c92] [c91] [j17] [j16] [c79] [c72] [c71] [j15] [c65] [c61] [c60] [c58] [c55] [c54] [c47] [c42] [c41] [c38] [c37] [c36] [c32] [j13] [j12] [j11] [j10] [c28] [j9] [j8] [j7] [c27] [c26] [c25] [c24] [c22] [c21] [c19] [c18] [p1] [j2] [c17] [c13]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
