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?
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)
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)
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)
Project Title | Status |
---|---|
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication | finished |