Google
Google Scholar
Semantic Scholar
MS Academic
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
- 2020
[c183]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- [c182]Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler, Wolfgang Reif:
Adding Concurrency to a Sequential Refinement Tower. ABZ 2020: 6-23 - [c181]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 - [c180]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 - [c179]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 - [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
- [j43]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
- [j42]Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif:
MiniBrass: Soft constraints for MiniZinc. Constraints An Int. J. 23(4): 403-450 (2018) - [j41]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) - [j40]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) - [j39]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) - [j38]Johannes Leupolz, Axel Habermaier, Wolfgang Reif:
Quantitative and qualitative safety analysis of a hemodialysis machine with S#. J. Softw. Evol. Process. 30(5) (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]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 - [c122]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 - [c121]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 - [c120]Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif:
Managing extensibility and maintainability of industrial robotics software. ICAR 2013: 1-7 - [c119]Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif:
Synthesis of observers for autonomic evolutionary systems from requirements models. IM 2013: 1405-1408 - [c118]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 - [c117]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 - [c116]Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Security requirements formalized with OCL in a model-driven approach. MoDRE 2013: 65-73 - [c115]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 - [c114]Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Model Checking of Security-Critical Applications in a Model-Driven Approach. SEFM 2013: 76-90 - [c113]Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif:
Constraint Relationships for Soft Constraints. SGAI Conf. 2013: 241-255 - [c112]Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Model-Driven Development of Information Flow-Secure Systems with IFlow. SocialCom 2013: 51-56 - [c111]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
- [j22]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) - [j21]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) - [c110]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 - [c109]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 - [c108]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 - [c107]Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Incremental development of large, secure smart card applications. MDsec 2012: 9 - [c106]Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif:
Model-Driven Testing of Security Protocols with SecureMDD. NTMS 2012: 1-5 - [c105]Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif:
A Decentralized Multi-agent Algorithm for the Set Partitioning Problem. PRIMA 2012: 107-121 - [c104]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 - [c103]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 - [c102]Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif:
Model-Driven Development of Secure Service Applications. SEW 2012: 62-71 - [c101]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 - [c100]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
- [j20]Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif:
Proving linearizability with temporal logic. Formal Aspects Comput. 23(1): 91-112 (2011) - [j19]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) - [c99]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 - [c98]Florian Siefert, Florian Nafz, Hella Seebach, Wolfgang Reif:
A genetic algorithm for self-optimization in safety-critical resource-flow systems. EAIS 2011: 77-84 - [c97]Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif, Gidon Ernst:
Simulating a Flash File System with CoreASM and Eclipse. GI-Jahrestagung 2011: 355 - [c96]