Publications

Doctoral Thesis (1)

Unmasking fault tolerance (Feb 2014)
Nils Müllner

Journal article (3)

On transforming model-based tests into code: A systematic literature review (Sep 2023)
Fabiano C. Ferrari , Vinicius H. S. Durelli , Sten F. Andler, Jeff Offutt, Mehrdad Saadatmand , Nils Müllner
Software Testing, Verification, and Reliability (STVR)

A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios (May 2018)
Saifullah Khan , Muhammad Alam , Martin Fränzle , Nils Müllner, Yuanfang Chen
Computers & Electrical Engineering (CAEE)

Combining decomposition and reduction for state space analysis of a self-stabilizing system (Nov 2013)
Nils Müllner, Oliver Theel , Martin Fränzle
Journal of Computer and System Sciences (JCSS)

Conference/Workshop Paper (12)

Experiencing Technology Independence
Anton Urvantsev , Morgan Johansson , Nils Müllner, Tiberiu Seceleanu
Staying Smarter in a Smartening World (COMPSAC'19)

Experiencing Technology Independence
Anton Urvantsev , Morgan Johansson , Nils Müllner, Tiberiu Seceleanu
IEEE Computer Society Conference on Computers, Software and Applications (COMPSAC 2019)

Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018)
Erik Martin Campana , Nils Müllner, Saad Mubeen
2018 International Conference on Intelligent and Innovative Computing Applications (ICONIC2018)

Probabilistic Communication in Car Platoons (Nov 2018)
Tam Ninh Thi Thanh , Tran Hung, Nils Müllner
International Conference on Advanced Technologies for Communications (ATC)

Towards a Coherent Terminology and Taxonomy for Evaluating Safety via Testing (Jul 2018)
Nils Müllner, Wasif Afzal
The 18th IEEE International Conference on Software Quality, Reliability and Security (QRS18)

Simulation-Based Safety Testing Brake-By-Wire (Mar 2017)
Nils Müllner, Saifullah Khan , Md Habibur Rahman , Wasif Afzal, Mehrdad Saadatmand
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

Cooperation and Network Coding based MAC Protocol for VANETs (Dec 2015)
Saifullah Khan , Muhammad Alam , Nils Müllner, Martin Fränzle
Proceedings of the 2015 IEEE Vehicular Networking Conference (VNC) (VNC2015)

Estimating the Probability of a Timely Traffic-Hazard Warning via Simulation (Apr 2015)
Nils Müllner, Martin Fränzle , Sibylle Fröschle
Annual Simulation Symposium (AnSS)

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts (May 2014)
Nils Müllner, Oliver Theel , Martin Fränzle
Advanced Information Networking and Applications Workshops (WAINA), 2014 28th International Conference on (WAINA2014)

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems (May 2014)
Nils Müllner, Oliver Theel , Martin Fränzle
Advanced Information Networking and Applications 2014, 28th International Conference on (AINA2014)

Modeling options for demand side participation of thermostatically controlled loads (Aug 2013)
Maryam Kamgarpour , Christian Ellen , Sadegh Esmaeil Zadeh Soudjani , Sebastian Gerwinn , Johanna Mathieu , Nils Müllner, Alessandro Abate , Duncan Callaway , Martin Fränzle , John Lygeros
Bulk Power System Dynamics and Control-IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP (IREP2013)

Combining decomposition and reduction for state space analysis of a self-stabilizing system (Mar 2012) -- Best Paper Award--
Nils Müllner, Oliver Theel , Martin Fränzle
Advanced Information Networking and Applications (AINA), 2012 IEEE 26th International Conference on (AINA2012)

Other (1)

A Hybrid MAC Scheme for Emergency Systems in Urban VANETs Environment (Dec 2016)
Saifullah Khan , Martin Fränzle , Muhammad Alam , Nils Müllner