Nils Müllner
Nils Müllner
postdoc, Mälardalen University
Verified email at - Homepage
Cited by
Cited by
Modeling options for demand side participation of thermostatically controlled loads
M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ...
2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios
S Khan, M Alam, M Fränzle, N Müllner, Y Chen
Computers & Electrical Engineering 68, 447-462, 2018
Derivation of fault tolerance measures of self-stabilizing algorithms by simulation
N Müllner, A Dhama, O Theel
41st Annual Simulation Symposium (anss-41 2008), 183-192, 2008
Cooperation and network coding based MAC protocol for VANETs
S Khan, M Alam, N Müllner, M Fränzle
2015 IEEE Vehicular Networking Conference (VNC), 64-67, 2015
The degree of masking fault tolerance vs. temporal redundancy
N Müllner, O Theel
2011 IEEE Workshops of International Conference on Advanced Information …, 2011
Poster: a hybrid MAC scheme for emergency systems in urban VANETs environment
S Khan, M Alam, N Müllner, M Fränzle
2016 IEEE Vehicular Networking Conference (VNC), 1-2, 2016
Deriving a good trade-off between system availability and time redundancy
N Mullner, A Dhama, O Theel
2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing …, 2009
Simulation of Self-Stabilizing Distributed Algorithms to Determine Fault Tolerance Measures
N Müllner
Diplomarbeit, Department für Informatik, Fakultät II-Informatik, Wirtschafts …, 2007
Combining decomposition and reduction for state space analysis of a self-stabilizing system
N Müllner, O Theel, M Fränzle
Journal of Computer and System Sciences 79 (7), 1113-1125, 2013
Interfacing a brake-by-wire simulink model with sumo
EM Campaña, N Müllner, S Mubeen
2018 International Conference on Intelligent and Innovative Computing …, 2018
Simulation-based safety testing brake-by-wire
N Müllner, S Khan, MH Rahman, W Afzal, M Saadatmand
2017 IEEE International Conference on Software Testing, Verification and …, 2017
Unmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments
NH Müllner
Oldenburg, Universität Oldenburg, Diss., 2014, 2014
Estimating the Probability of a Timely Traffic-Hazard Warning via Simulation
N Müllner, M Fränzle, S Fröschle
Annual Simulation Symposium (AnSS'15), 221-228, 2015
Composing thermostatically controlled loads to determine the reliability against blackouts
N Müllner, O Theel, M Fränzle
2014 28th International Conference on Advanced Information Networking and …, 2014
Combining decomposition and lumping to evaluate semi-hierarchical systems
N Müllner, O Theel, M Fränzle
2014 IEEE 28th International Conference on Advanced Information Networking …, 2014
Karnaugh-Veitch Maps as Minimal Formal Contract between Textual Requirements and Tests: A Use-Case Based Technical Analysis
NH Müllner
Electronics 11 (15), 2430, 2022
Probabilistic Communication in Car Platoons
TN Thi-Thanh, H Tran, N Müllner
2018 International Conference on Advanced Technologies for Communications …, 2018
On transforming model‐based tests into code: A systematic literature review
FC Ferrari, VHS Durelli, SF Andler, J Offutt, M Saadatmand, N Müllner
Software Testing, Verification and Reliability 33 (8), e1860, 2023
Towards a Coherent Terminology and Taxonomy for Evaluating Safety via Testing
N Müllner, W Afzal
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
Technische Referenz
W Kowalk, J Bornhold, M Kamma, J Kupperschmidt, S Meyer, N Müllner, ...
The system can't perform the operation now. Try again later.
Articles 1–20