Nils Müllner, Assistant Professor, Post Doc


Nils works as postdoc at MDH at the TOCSYC project on model based software testing, at the SafeCOP project on car platoon simulation, and is involved in teaching Databases (DVA234) and project Embedded Systems (DVA438).

Nils studied at the University of Oldenburg, Germany from 2000 to 2007, finishing with his Master thesis on Simulation of self-stabilizing distributed algorithms to determine fault tolerance measures. From 2007 he joined the transregional AVACS project for one year, until joining the TrustSoft Graduate College awarding him a three year stipendiary. From 2011 until 2013 Nils joined the EU project MoVeS to investigate the stability of power networks. Being awarded for the best paper at AINA2012 in Japan provided one core contribution of his thesis submitted in 2013 and defended in 2014. After MoVeS was successfully finished, he worked at CSE on safety and security aspects regarding automotive test cases until October 2015. Since November 2015 Nils joined forces with the TOCSYC project at MDH, and later also with the SafeCOP project, in which he leads the use case on simulation of platooning scenarios.

While coming from the domain of formal verification, Nils' current objective is to evaluate the robustness of embedded software with regards to some confidence boundaries via testing. his focus is on simulation of automotive systems, rangning from braking systems within a car to traffic systems on city-scale. For instance, both inter-vehicular communication and brake-by-wire systems require time for signal processing and control. How shall shared resources like time be distributed during safety assessment?

[Show all publications]

[Google Scholar author page]

Latest publications:

Interfacing a Brake-by-Wire Simulink Model with SUMO (Dec 2018)
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)

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)

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)

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