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?
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
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)
|SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication||active|
|A Sustainable Reasearch Evaluation Portal||available|
|Tile Robot Simulation||available|
|Brake-by-wire in SUMO: A Custom Solution For Braking Simulation||in progress|
|NAIAD PID CONTROLLER||in progress|
|Automated Deployment of Customer-Premises Equipment||finished|