Personen
Dipl.-Inform. Nils Müllner
Position im OFFIS
Verkehr SAV
Position an der Uni
Doktorand
Forschungsbereiche
Verkehr / Safety Analysis & Verification
Forschungsinteresse
verteilte Systeme, Fehlertoleranz, Markov Modelle, Selbststabilisierung
Raum
O29
Telefon
300
nils.muellner [ A T ] 
offis.de
Publikationen
Titel
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System
Titel der Konferenz
2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA'2012)
Alle Autoren
Nils Müllner, Oliver Theel, Martin Fränzle
Jahr
2012
Titel
The Degree of Masking Fault Tolerance vs. Temporal Redundancy
Titel der Konferenz
International Conference on Advanced Information Networking and Applications
Alle Autoren
Müllner, Nils; Theel, Oliver
Jahr
2011
Titel
Deriving a Good Trade-off Between System Availability and Time Redundancy
Titel der Konferenz
International Symposium on UbiCom Frontiers - Innovative Research, Systems and Technologies
Alle Autoren
Müllner, Nils; Dhama, Abhishek; Theel, Oliver
Jahr
2009
Titel
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation
Titel der Konferenz
41st Annual Simulation Symposium (anss-41 2008)
Alle Autoren
Nils Müllner, Abhishek Dhama, Oliver Theel
Jahr
2008