Wolfgang Reif - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2011

Reference Architectures for Trustworthy Energy Management and Desktop Grid Computing ApplicationsGerrit Anders, Lukas Klejnowski, Jan-Philipp Steghöfer, Florian Siefert, Wolfgang Reif. Technical Report 2011-11, 2011.

The Trust-Enabling Middleware: Introduction and ApplicationRolf Kiefhaber, Florian Siefert, Gerrit Anders, Theo Ungerer, Wolfgang Reif. Technical Report 2011-10, 2011.

Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant ApproachFlorian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders, Wolfgang Reif. In Organic Computing -- A Paradigm Shift for Complex Systems. Volume 1 of Autonomic Systems, pages 79-93, Springer Basel, 2011.

How to Design and Implement Self-organising Resource-Flow SystemsHella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif. In Organic Computing -- A Paradigm Shift for Complex Systems. Volume 1 of Autonomic Systems, pages 145-161, Springer Basel, 2011.

2010

Structuring and Controlling Distributed Power Sources by Autonomous Virtual Power PlantsGerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Hella Seebach, Florian Nafz, Wolfgang Reif. In Proceedings of the IEEE Power and Energy Student Summit (PESS) 2010. 2010:

A Formal Framework for Compositional Verification of Organic Computing SystemsFlorian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler, Wolfgang Reif. In Autonomic and Trusted Computing. Volume 6407 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.

A Software Engineering Guideline for Self-Organizing Resource-Flow SystemsHella Seebach, Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif. saso 2010: 194-203 [doi]

A Software Engineering Guideline for Self-organizing Resource-Flow SystemsHella Seebach, ‭‬Florian Nafz, Jan-Philipp Steghöfer, Wolfgang Reif. In Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems. 2010:

On Deadlocks and Fairness in Self-organizing Resource-Flow SystemsJan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif. arcs 2010: 87-100 [doi]

Trustworthy Organic Computing Systems: Challenges and Perspectives Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer. In Proceedings of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010). 2010:

Formal Specification and Analysis of Trusted CommunitiesJan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner, Christian Müller-Schloer. In Proceedings of the Trustworthy Self-Organizing System Workshop 2010 at the Fourth IEEE Conference on Self-Adaptive and Self-Organizing Systems. 2010:

2009

A generic software framework for role-based Organic Computing systemsFlorian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif. In ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. 2009:

A generic software framework for role-based Organic Computing systemsFlorian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif. ICSE 2009: 96-105 [doi]

A Universal Self-Organization Mechanism for Role-Based Organic Computing SystemsFlorian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif. ATC 2009: 17-31 [doi]

2008

Compositional Proofs with Symbolic ExecutionSimon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif. cade 2008: [doi]

A Specification and Construction Paradigm for Organic Computing SystemsMatthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif. saso 2008: 233-242 [doi]

Organic Computing for Health Care Systems - Possible Benefits and ChallengesFlorian Nafz, Frank Ortmeier, Hella Seebach, Wolfgang Reif. biostec 2008: 286-290

Implementing Organic Computing Systems With AgentserviceFlorian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif. In Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering. 2008:

2007

Design and construction of organic computing systemsHella Seebach, Frank Ortmeier, Wolfgang Reif. cec 2007: 4215-4221 [doi]

2006

Towards Safe and Secure Organic Computing ApplicationsMatthias Güdemann, Florian Nafz, Wolfgang Reif, Hella Seebach. gi 2006: 153-160

Sign in or sign up to see more results.

runs on WebDSL