The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Wolfgang Reif" ( http://dblp.L3S.de/Authors/Wolfgang_Reif )

URL (Homepage):  http://www.informatik.uni-augsburg.de/lehrstuehle/swt/se/staff/reif/  Author page on DBLP  Author page in RDF  Community of Wolfgang Reif in ASPL-2

Publication years (Num. hits)
1986-1993 (18) 1994-2000 (16) 2001-2004 (21) 2005-2007 (19) 2008-2009 (21) 2010 (18) 2011 (16) 2012-2013 (30) 2014 (18) 2015 (24) 2016-2017 (19) 2018-2019 (17)
Publication types (Num. hits)
article(44) book(1) incollection(11) inproceedings(178) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
ICINCO (2)(8) SASO(8) SASO Workshops(7) ATC(6) CADE(5) J. UCS(5) FM(4) SEFM(4) SoftSpez Final Report(4) ABZ(3) CoRR(3) ICAART (2)(3) ICTSS(3) IFM(3) IRC(3) IROS(3) More (+10 of total 151)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 21 keywords

Results
Found 238 publication records. Showing 237 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Oliver Kosak, Constantin Wanninger, Alwin Hoffmann, Hella Ponsar, Wolfgang Reif Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles. Search on Bibsonomy Sensors The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Wolfgang Reif Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif Modular and Domain-guided Multi-robot Planning for Assembly Processes. Search on Bibsonomy ICINCO (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar, Wolfgang Reif Ensemble Programming for Multipotent Systems. Search on Bibsonomy FAS*W@SASO/ICAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johannes Leupolz, Axel Habermaier, Wolfgang Reif Quantitative and qualitative safety analysis of a hemodialysis machine with S#. Search on Bibsonomy Journal of Software: Evolution and Process The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif Qualitative and quantitative analysis of safety-critical systems with s#. Search on Bibsonomy STTT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Eymüller, Constantin Wanninger, Alwin Hoffmann, Wolfgang Reif Semantic Plug and Play - Self-Descriptive Modular Hardware for Robotic Applications. Search on Bibsonomy Int. J. Semantic Computing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Alexander Knapp, Gerrit Anders, Wolfgang Reif MiniBrass: Soft constraints for MiniZinc. Search on Bibsonomy Constraints The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller, Wolfgang Reif Symbolic execution for a clash-free subset of ASMs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp, Wolfgang Reif Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Constantin 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. Search on Bibsonomy ISoLA (3) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert, Wolfgang Reif Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager. Search on Bibsonomy QRS Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ludwig Nägele, Andreas Schierl, Alwin Hoffmann, Wolfgang Reif Automatic Planning of Manufacturing Processes using Spatial Construction Plan Analysis and Extensible Heuristic Search. Search on Bibsonomy ICINCO (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roland 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. Search on Bibsonomy ICINCO (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julian Hanke, Oliver Kosak, Alexander Schiendorfer, Wolfgang Reif Self-Organized Resource Allocation for Reconfigurable Robot Ensembles. Search on Bibsonomy SASO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Reichstaller, Benedikt Eberhardinger, Hella Ponsar, Alexander Knapp, Wolfgang Reif Test suite reduction for self-organizing systems: a mutation-based approach. Search on Bibsonomy AST@ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Schierl, Alwin Hoffmann, Ludwig Nägele, Wolfgang Reif Integrating Reactive Behavior and Planning: Optimizing Execution Time Through Predictive Preparation of State Machine Tasks. Search on Bibsonomy IRC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif Modular Verification of Order-Preserving Write-Back Caches. Search on Bibsonomy IFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kuzman Katkalov, Kurt Stenzel, Wolfgang Reif Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. Search on Bibsonomy SpaCCS Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Axel Habermaier, Wolfgang Reif Toward Adaptive, Self-Aware Test Automation. Search on Bibsonomy AST@ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation. Search on Bibsonomy IRC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Vistein, Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Wolfgang Reif Towards Re-orchestration of Real-Time Component Systems in Robotics. Search on Bibsonomy IRC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif Secure Integration of Third Party Components in a Model-Driven Approach. Search on Bibsonomy T. Large-Scale Data- and Knowledge-Centered Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif An Approach for Isolated Testing of Self-Organization Algorithms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif Modular, crash-safe refinement for ASMs with submachines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo Ungerer (eds.) Trustworthy Open Self-Organising Systems Search on Bibsonomy 2016 DBLP  DOI  BibTeX  RDF
1Gerrit 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. Search on Bibsonomy Trustworthy Open Self-Organising Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerrit 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. Search on Bibsonomy Trustworthy Open Self-Organising Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif Declassification of Information with Complex Filter Functions. Search on Bibsonomy ICISSP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif, Marcel Gehlen Risk-Based Interoperability Testing Using Reinforcement Learning. Search on Bibsonomy ICTSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Axel Habermaier, Hella Seebach, Wolfgang Reif Back-to-Back Testing of Self-organization Mechanisms. Search on Bibsonomy ICTSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alwin Hoffmann, Alexander Poeppel, Andreas Schierl, Wolfgang Reif Environment-aware proximity detection with capacitive sensors for human-robot-interaction. Search on Bibsonomy IROS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Poeppel, Wolfgang Reif Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems. Search on Bibsonomy QRS Companion The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Axel Habermaier, Johannes Leupolz, Wolfgang Reif Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis. Search on Bibsonomy FMICS-AVoCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif A Relational Encoding for a Clash-Free Subset of ASMs. Search on Bibsonomy ABZ The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Gerrit Anders, Jan-Philipp Steghöfer, Wolfgang Reif Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation. Search on Bibsonomy Trans. Computational Collective Intelligence The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kurt Stenzel, Nina Moebius, Wolfgang Reif Formal verification of QVT transformations for code generation. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gidon Ernst, Gerhard Schellhorn, Wolfgang Reif Verification of B+ trees by integration of shape analysis and interactive theorem proving. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif A Framework for Testing Selforganisation Algorithms. Search on Bibsonomy Softwaretechnik-Trends The full citation details ... 2015 DBLP  BibTeX  RDF
1Ada Diaconescu, Stephen Marsh 0001, Jeremy Pitt, Wolfgang Reif, Jan-Philipp Steghöfer Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gerrit Anders, Alexander Schiendorfer, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif Cooperative Resource Allocation in Open Systems of Systems. Search on Bibsonomy TAAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif KIV: overview and VerifyThis competition. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan-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. Search on Bibsonomy Scalable Computing: Practice and Experience The full citation details ... 2015 DBLP  BibTeX  RDF
1Marian 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. Search on Bibsonomy Correct Software in Web Applications and Web Services The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif Inside a Verified Flash File System: Transactions and Garbage Collection. Search on Bibsonomy VSTTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ludwig 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. Search on Bibsonomy ICARA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif Partial Valuation Structures for Qualitative Soft Constraints. Search on Bibsonomy Software, Services, and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marian Borek, Kurt Stenzel, Kuzman Katkalov, Wolfgang Reif Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach. Search on Bibsonomy ER Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif Modeling information flow properties with UML. Search on Bibsonomy NTMS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gerrit Anders, Florian Siefert, Wolfgang Reif A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives. Search on Bibsonomy ICAART (Revised Selected Papers) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gerrit Anders, Florian Siefert, Wolfgang Reif A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Schiendorfer, Yves Wautelet, Wolfgang Reif Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif On Structure and Distribution of Software for Mobile Manipulators. Search on Bibsonomy ICINCO (Selected Papers) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Angerer, Michael Vistein, Alwin Hoffmann, Wolfgang Reif, Florian Krebs, Manfred Schönheits Towards Multi-functional Robot-based Automation Systems. Search on Bibsonomy ICINCO (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif A Taxonomy of Distribution for Cooperative Mobile Manipulators. Search on Bibsonomy ICINCO (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz, Wolfgang Reif Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#. Search on Bibsonomy SASO Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif, Rainer Lienhart Active Learning for Efficient Sampling of Control Models of Collectives. Search on Bibsonomy SASO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Oliver Kosak, Gerrit Anders, Florian Siefert, Wolfgang Reif An Approach to Robust Resource Allocation in Large-Scale Systems of Systems. Search on Bibsonomy SASO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Wolfgang Reif A Research Overview and Evaluation of Performance Metrics for Self-Organization Algorithms. Search on Bibsonomy SASO Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif Modeling test cases for security protocols with SecureMDD. Search on Bibsonomy Computer Networks The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif A Model-Driven Approach to Noninterference. Search on Bibsonomy JoWUA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Wolfgang Reif Flexible and continuous execution of real-time critical robotic tasks. Search on Bibsonomy IJMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Hella Seebach, Alexander Knapp, Wolfgang Reif Towards Testing Self-organizing, Adaptive Systems. Search on Bibsonomy ICTSS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif Synthesised Constraint Models for Distributed Energy Management. Search on Bibsonomy FedCSIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gerrit Anders, Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants. Search on Bibsonomy ARCS Workshops The full citation details ... 2014 DBLP  BibTeX  RDF
1Sven Tomforde, Jörg Hähner, Hella Seebach, Wolfgang Reif, Bernhard Sick, Arno Wacker, Ingo Scholtes Engineering and Mastering Interwoven Systems. Search on Bibsonomy ARCS Workshops The full citation details ... 2014 DBLP  BibTeX  RDF
1Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif Development of a Verified Flash File System. Search on Bibsonomy ABZ The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif Modular Refinement for Submachines of ASMs. Search on Bibsonomy ABZ The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Wolfgang Reif PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems. Search on Bibsonomy PRIMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang Reif Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems. Search on Bibsonomy ICAART (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif Quality over Quantity in Soft Constraints. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jan-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. Search on Bibsonomy SASO Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gerrit Anders, Florian Siefert, Michael Mair, Wolfgang Reif Proactive Guidance for Dynamic and Cooperative Resource Allocation under Uncertainties. Search on Bibsonomy SASO The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Wolfgang Reif, Franz Wotawa, Tom Holvoet Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers). Search on Bibsonomy SASO Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif Formalizing Information Flow Control in a Model-Driven Approach. Search on Bibsonomy ICT-EurAsia The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif Compositional Verification of a Lock-Free Stack with RGITL. Search on Bibsonomy ECEASST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Angerer, Remi Smirra, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif A Graphical Language for Real-Time Critical Robot Commands Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures. Search on Bibsonomy Assurances for Self-Adaptive Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz, Wolfgang Reif Synthesis of observers for autonomic evolutionary systems from requirements models. Search on Bibsonomy IM The full citation details ... 2013 DBLP  BibTeX  RDF
1Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif Verification of a Virtual Filesystem Switch. Search on Bibsonomy VSTTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif An Approach for Isolated Testing of Self-Organization Algorithms. Search on Bibsonomy Software Engineering for Self-Adaptive Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein, Wolfgang Reif Managing extensibility and maintainability of industrial robotics software. Search on Bibsonomy ICAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif Security requirements formalized with OCL in a model-driven approach. Search on Bibsonomy MoDRE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. Search on Bibsonomy ISSRE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz, Wolfgang Reif Constraint Relationships for Soft Constraints. Search on Bibsonomy SGAI Conf. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lukas Klejnowski, Yvonne Bernard, Gerrit Anders, Christian Müller-Schloer, Wolfgang Reif Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems. Search on Bibsonomy ICAART (1) The full citation details ... 2013 DBLP  BibTeX  RDF
1Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif Formal Specification of an Erase Block Management Layer for Flash Memory. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif A System of Systems Approach to the Evolutionary Transformation of Power Management Systems. Search on Bibsonomy GI-Jahrestagung The full citation details ... 2013 DBLP  BibTeX  RDF
1Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif A Trust- and Cooperation-Based Solution of a Dynamic Resource Allocation Problem. Search on Bibsonomy SASO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kuzman Katkalov, Kurt Stenzel, Marian Borek, Wolfgang Reif Model-Driven Development of Information Flow-Secure Systems with IFlow. Search on Bibsonomy SocialCom The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Wolfgang Reif Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing Systems. Search on Bibsonomy IWSOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif Model Checking of Security-Critical Applications in a Model-Driven Approach. Search on Bibsonomy SEFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif A Formal Model of a Virtual Filesystem Switch Search on Bibsonomy SSV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan-Philipp Steghöfer, Wolfgang Reif Die Guten, die Bösen und die Vertrauenswürdigen - Vertrauen im Organic Computing. Search on Bibsonomy Informatik Spektrum The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jan 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. Search on Bibsonomy Information & Software Technology The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif Model-Driven Testing of Security Protocols with SecureMDD. Search on Bibsonomy NTMS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif Model-Driven Development of Secure Service Applications. Search on Bibsonomy SEW The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 237 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license