Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Miwako Tsuji
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Tarcio R. Bezerra
Chunli Ma
Home
/
Author
/
FLORIAN NAFZ
Author Info
Open Visualization
Name
Affiliation
Papers
FLORIAN NAFZ
Augsburg University, Augsburg, Germany
17
Collaborators
Citations
PageRank
26
115
8.78
Referers
Referees
References
155
408
248
Search Limit
100
408
Publications (17 rows)
Collaborators (26 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems.
7
0.60
2013
Constraint Relationships for Soft Constraints.
7
0.56
2013
A genetic algorithm for self-optimization in safety-critical resource-flow systems
3
0.41
2011
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking
0
0.34
2011
A Software Engineering Guideline for Self-Organizing Resource-Flow Systems
7
0.58
2010
Formal Specification and Analysis of Trusted Communities
3
0.41
2010
A formal framework for compositional verification of organic computing systems
5
0.42
2010
Interactive verification of concurrent systems using symbolic execution
17
0.76
2010
On deadlocks and fairness in self-organizing resource-flow systems
2
0.39
2010
Designing self-healing in automotive systems
9
0.58
2010
A generic software framework for role-based Organic Computing systems
9
0.55
2009
A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
12
0.57
2009
Compositional Proofs with Symbolic Execution
5
0.49
2008
A Specification and Construction Paradigm for Organic Computing Systems
29
1.13
2008
Implementing Organic Computing Systems with AgentService
0
0.34
2008
Organic Computing For Health Care Systems - Possible Benefits And Challenges
0
0.34
2008
Towards Safe and Secure Organic Computing Applications
0
0.34
2006
1
