Concepedia

Florian Nafz

FN

Statistics

Publications

6

Citations

131

H-Index

6

Active since

2008

Affiliations

Augsburg University(Current)

University of Augsburg

Florian Nafz is an author at Augsburg University specializing in computing, systems engineering, and software design.

Publications per year

2008–2019

6

Publications

6

A Specification and Construction Paradigm for Organic Computing Systems

Matthias Güdemann, Florian Nafz, Frank Ortmeier et al. · 2008 · 49 citations

Computing, Computer Science, Systems Engineering +10

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz et al. · AI Communications · 2010 · 22 citations

Computing, Computer Science, Formal Methods +16

Structuring and controlling distributed power sources by autonomous virtual power plants

Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer et al. · OPUS (Augsburg University) · 2019 · 18 citations

Computing, Autonomous Systems, Cyber-physical Systems +13

A Software Engineering Guideline for Self-Organizing Resource-Flow Systems

Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer et al. · 2010 · 16 citations

Engineering, Systems Engineering, Requirements Engineering +10

A generic software framework for role-based Organic Computing systems

Florian Nafz, Frank Ortmeier, Hella Seebach et al. · 2009 · 15 citations

Computing, Computer Science, Systems Engineering +14

1–5 of 6