Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2022
[c205]Daniel Bermuth, Alexander Poeppel, Wolfgang Reif:
Jaco: An Offline Running Privacy-aware Voice Assistant. HRI 2022: 618-622- 2021
- [c204]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 - [c203]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 - [c202]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 - [c201]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 - [c200]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 - [c199]Matthias Stueben, Alwin Hoffmann, Wolfgang Reif:
Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered Environments. ETFA 2021: 1-8 - [c198]Jonas Wilfert, Simon Stieber, Frederik Wilhelm, Wolfgang Reif:
Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics. ETFA 2021: 1-8 - [c197]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 - [c196]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 - [c195]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 - [c194]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
- [c193]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 - [c192]Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif:
Adding Concurrency to a Sequential Refinement Tower. ABZ 2020: 6-23 - [c191]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 - [c190]Simon Stieber, Alwin Hoffmann, Alexander Schiendorfer, Wolfgang Reif, Matthias Beyrle, Jan Faber, Michaela Richter, Markus Sause:
Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures. ETFA 2020: 1455-1458 - [c189]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 - [c188]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 - [c187]Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch. IFM 2020: 218-236 - [c186]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 - [c185]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 - [c184]Alexander Poeppel, Alwin Hoffmann, Martin Siehler, Wolfgang Reif:
Robust Distance Estimation of Capacitive Proximity Sensors in HRI using Neural Networks. IRC 2020: 344-351 - [c183]Ludwig Nägele, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif:
LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of LEGO structures. IROS 2020: 9088-9095 - [c182]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 - [c181]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 - [c180]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 - [c179]Simon Stieber, Niklas Schröter, Alexander Schiendorfer, Alwin Hoffmann, Wolfgang Reif:
FlowFrontNet: Improving Carbon Composite Manufacturing with CNNs. ECML/PKDD (4) 2020: 411-426 - [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
- [j45]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) - [c178]Alexander Schiendorfer, Wolfgang Reif:
Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. CP 2019: 510-526 - [c177]Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif:
Modular and Domain-guided Multi-robot Planning for Assembly Processes. ICINCO (2) 2019: 595-604 - [c176]Carola Gajek, Alexander Schiendorfer, Wolfgang Reif:
A Chained Neural Network Model for Photovoltaic Power Forecast. LOD 2019: 566-578 - [c175]Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar, Wolfgang Reif:
Ensemble Programming for Multipotent Systems. FAS*W@SASO/ICAC 2019: 104-109 - 2018
- [j44]Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif:
MiniBrass: Soft constraints for MiniZinc. Constraints An Int. J. 23(4): 403-450 (2018) - [j43]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) - [j42]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) - [j41]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) - [j40]Johannes Leupolz, Axel Habermaier, Wolfgang Reif:
Quantitative and qualitative safety analysis of a hemodialysis machine with S#. J. Softw. Evol. Process. 30(5) (2018) - [j39]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) - [j38]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) - [j37]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) - [c174]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 - [c173]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 - [c172]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 - [c171]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 - [c170]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 - [c169]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 - [c168]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 - [c167]Julian Hanke, Oliver Kosak, Alexander Schiendorfer, Wolfgang Reif:
Self-Organized Resource Allocation for Reconfigurable Robot Ensembles. SASO 2018: 110-119 - 2017
- [c166]Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif:
Toward Adaptive, Self-Aware Test Automation. AST@ICSE 2017: 34-37 - [c165]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 - [c164]Michael Vistein, Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Wolfgang Reif:
Towards Re-orchestration of Real-Time Component Systems in Robotics. IRC 2017: 60-68 - [c163]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 - [c162]Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif:
Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. SpaCCS Workshops 2017: 209-218 - 2016
- [j36]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) - [j35]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) - [c161]Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
A Relational Encoding for a Clash-Free Subset of ASMs. ABZ 2016: 237-243 - [c160]Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif:
Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. FMICS-AVoCS 2016: 97-114 - [c159]Axel Habermaier, Johannes Leupolz, Wolfgang Reif:
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. FMICS-AVoCS 2016: 150-167 - [c158]Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif:
Declassification of Information with Complex Filter Functions. ICISSP 2016: 490-497 - [c157]Alwin Hoffmann, Alexander Poeppel, Andreas Schierl, Wolfgang Reif:
Environment-aware proximity detection with capacitive sensors for human-robot-interaction. IROS 2016: 145-150 - [c156]Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif:
Back-to-Back Testing of Self-organization Mechanisms. ICTSS 2016: 18-35 - [c155]André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen:
Risk-Based Interoperability Testing Using Reinforcement Learning. ICTSS 2016: 52-69 - [c154]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
- [j34]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) - [j33]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) - [j32]Kurt Stenzel, Nina Moebius, Wolfgang Reif:
Formal verification of QVT transformations for code generation. Softw. Syst. Model. 14(2): 981-1002 (2015) - [j31]Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif:
A Framework for Testing Selforganisation Algorithms. Softwaretechnik-Trends 35(1) (2015) - [j30]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) - [j29]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) - [j28]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) - [c153]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 - [c152]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 - [c151]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 - [c150]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 - [c149]Alexander Schiendorfer, Yves Wautelet, Wolfgang Reif:
Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper. ICAART (2) 2015: 614-619 - [c148]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 - [c147]Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif:
A Taxonomy of Distribution for Cooperative Mobile Manipulators. ICINCO (2) 2015: 74-83 - [c146]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 - [c145]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 - [c144]Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Modeling information flow properties with UML. NTMS 2015: 1-5 - [c143]Oliver Kosak, Gerrit Anders, Florian Siefert, Wolfgang Reif:
An Approach to Robust Resource Allocation in Large-Scale Systems of Systems. SASO 2015: 1-10 - [c142]Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif, Rainer Lienhart:
Active Learning for Efficient Sampling of Control Models of Collectives. SASO 2015: 51-60 - [c141]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 - [c140]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 - [c139]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
- [j27]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) - [j26]Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Modeling test cases for security protocols with SecureMDD. Comput. Networks 58: 99-111 (2014) - [j25]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) - [j24]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) - [c138]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 - [c137]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 - [c136]Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif:
Development of a Verified Flash File System. ABZ 2014: 9-24 - [c135]Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular Refinement for Submachines of ASMs. ABZ 2014: 188-203 - [c134]Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif:
Synthesised Constraint Models for Distributed Energy Management. FedCSIS 2014: 1529-1538 - [c133]Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif:
Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems. ICAART (2) 2014: 15-27 - [c132]Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif:
Formalizing Information Flow Control in a Model-Driven Approach. ICT-EurAsia 2014: 456-461 - [c131]Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif:
Quality over Quantity in Soft Constraints. ICTAI 2014: 453-460 - [c130]Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif:
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. IFM 2014: 357-372 - [c129]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 - [c128]Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif:
Towards Testing Self-organizing, Adaptive Systems. ICTSS 2014: 180-185 - [c127]Gerrit Anders, Florian Siefert, Michael Mair, Wolfgang Reif:
Proactive Guidance for Dynamic and Cooperative Resource Allocation under Uncertainties. SASO 2014: 21-30 - [c126]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 - [c125]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
- [j23]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) - [c124]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 - [c123]