Persons
Dipl.-Inform. Nils Müllner
Position at OFFIS
Verkehr SAV
Position at the University
Doktorand
Research and Developement Division
Verkehr / Safety Analysis & Verification
Technology-Cluster
Dependable System Design
Research Focus
verteilte Systeme, Fehlertoleranz, Markov Modelle, Selbststabilisierung
Room
D103
Phone
300
nils.muellner [ A T ] 
offis.de
Publications
Title
Combining Decomposition and Reduction for the State Space Analysis of Self-Stabilizing Systems
Alle Autoren
Müllner, Nils; Theel, Oliver; Fränzle, Martin
Year
2013
Title
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System
Title of Conference
2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA'2012)
Alle Autoren
Nils Müllner, Oliver Theel, Martin Fränzle
Year
2012
Title
Modeling TCL via DTMC
Title of Conference
Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems
Alle Autoren
Ellen, Christian; Fränzle, Martin; Gerwinn, Sebastian; Müllner, Nils
Year
2012
Title
The Degree of Masking Fault Tolerance vs. Temporal Redundancy
Title of Conference
International Conference on Advanced Information Networking and Applications
Alle Autoren
Müllner, Nils; Theel, Oliver
Year
2011
Title
Deriving a Good Trade-off Between System Availability and Time Redundancy
Title of Conference
International Symposium on UbiCom Frontiers - Innovative Research, Systems and Technologies
Alle Autoren
Müllner, Nils; Dhama, Abhishek; Theel, Oliver
Year
2009
Title
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation
Title of Conference
41st Annual Simulation Symposium (anss-41 2008)
Alle Autoren
Nils Müllner, Abhishek Dhama, Oliver Theel
Year
2008