Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. - Nils Müllner; Abhishek Dhama; Oliver E. Theel (Annual Simulation Symposium, 2008)

Unmasking Fault Tolerance: Masking vs. Non-masking Fault-tolerant Systems. - Nils Müllner (AlgoSyn, 2010)

The Degree of Masking Fault Tolerance vs. Temporal Redundancy. - Nils Müllner; Oliver E. Theel (AINA Workshops, 2011)

Combining decomposition and reduction for state space analysis of a self-stabilizing system. - Nils Müllner; Oliver E. Theel; Martin Fränzle (J. Comput. Syst. Sci., 2013)

Unmasking fault tolerance: quantifying deterministic recovery dynamics in probabilistic environments. - Nils Müllner (2013)

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems. - Nils Müllner; Oliver E. Theel; Martin Fränzle (AINA, 2014)

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts. - Nils Müllner; Oliver E. Theel; Martin Fränzle (AINA Workshops, 2014)

Estimating the probability of a timely traffic-hazard warning via simulation. - Nils Müllner; Martin Fränzle; Sibylle B. Fröschle (SpringSim (ANSS), 2015)

Cooperation and network coding based MAC protocol for VANETs. - Saifullah Khan; Muhammad Alam 002; Nils Müllner; Martin Fränzle (VNC, 2015)

Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment. - Saifullah Khan; Muhammad Alam 002; Nils Müllner; Martin Fränzle (VNC, 2016)

Simulation-Based Safety Testing Brake-by-Wire. - Nils Müllner; Saifullah Khan; Md. Habibur Rahman; Wasif Afzal; Mehrdad Saadatmand (ICST Workshops, 2017)

Towards a Coherent Terminology and Taxonomy for Evaluating Safety via Testing. - Nils Müllner; Wasif Afzal (QRS Companion, 2018)

A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios. - Saifullah Khan; Muhammad Alam 002; Martin Fränzle; Nils Müllner; Yuanfang Chen (Comput. Electr. Eng., 2018)

Experiencing Technology Independence. - Anton Urvantsev; Morgan E. Johansson; Nils Müllner; Tiberiu Seceleanu (COMPSAC (2), 2019)

On transforming model-based tests into code: A systematic literature review. - Fabiano Cutigi Ferrari; Vinicius H. S. Durelli; Sten F. Andler; Jeff Offutt; Mehrdad Saadatmand; Nils Müllner (Softw. Test. Verification Reliab., 2023)