Persons

Dipl.-Inform. Nils Müllner

 

Position at OFFIS

Verkehr SAV

Position at the University

Doktorand

 

Research and Developement Division

Verkehr / Safety Analysis & Verification

Competence Center

Dependable Systems

 

Research Focus

verteilte Systeme, Fehlertoleranz, Markov Modelle, Selbststabilisierung

 

Room

D103

Phone

300

E-Mail

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 and Theel, Oliver and Fränzle, Martin

Year

2013

Title

Modeling Options for Demand Side Participation of Thermostatically Controlled Loads

booktitle

Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP Symposium

Alle Autoren

Kamgarpour, Maryam and Ellen, Christian and Esmaeil Zadeh Soudjani, Sadegh and Gerwinn, Sebastian and Mathieu, Johanna L. and Müllner, Nils and Abate, Alessandro and Callaway, Duncan S. and Fränzle, Martin and Lygeros, John

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

Müllner, Nils and Theel, Oliver and Fränzle, Martin

Year

2012

Title

Modeling TCL via DTMC

Title of Conference

Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems

Alle Autoren

Ellen, Christian and Fränzle, Martin and Gerwinn, Sebastian and 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 and 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 and Dhama, Abhishek and 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