Stop the war!Остановите войну!
for scientists:
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
[c217]Christian Eymüller, Julian Hanke, Alexander Poeppel, Wolfgang Reif:
Towards Self-Configuring Plug & Produce Robot Systems Based on Ontologies. ICARA 2023: 23-27- [c216]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 - [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]