Nils works as postdoc at MDH at the TOCSYC project on model based software testing.
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.
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.
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|