Publications
Number of publications matching the search criterion: 17
Doctoral Thesis (1)
Unmasking fault tolerance (Feb 2014) Nils Müllner
Journal article (3)
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)
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)
Combining decomposition and reduction for state space analysis of a self-stabilizing system (Nov 2013) Nils Müllner, Oliver Theel , Martin Fränzle Journal of Computer and System Sciences (JCSS)
Conference/Workshop Paper (12)
Experiencing Technology Independence Anton Urvantsev , Morgan Johansson , Nils Müllner, Tiberiu Seceleanu Staying Smarter in a Smartening World (COMPSAC'19)
Experiencing Technology Independence Anton Urvantsev , Morgan Johansson , Nils Müllner, Tiberiu Seceleanu IEEE Computer Society Conference on Computers, Software and Applications (COMPSAC 2019)
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)
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)
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)
Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems (May 2014) Nils Müllner, Oliver Theel , Martin Fränzle Advanced Information Networking and Applications 2014, 28th International Conference on (AINA2014)
Modeling options for demand side participation of thermostatically controlled loads (Aug 2013) Maryam Kamgarpour , Christian Ellen , Sadegh Esmaeil Zadeh Soudjani , Sebastian Gerwinn , Johanna Mathieu , Nils Müllner, Alessandro Abate , Duncan Callaway , Martin Fränzle , John Lygeros Bulk Power System Dynamics and Control-IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP (IREP2013)
Combining decomposition and reduction for state space analysis of a self-stabilizing system (Mar 2012) -- Best Paper Award-- Nils Müllner, Oliver Theel , Martin Fränzle Advanced Information Networking and Applications (AINA), 2012 IEEE 26th International Conference on (AINA2012)
Other (1)
A Hybrid MAC Scheme for Emergency Systems in Urban VANETs Environment (Dec 2016) Saifullah Khan , Martin Fränzle , Muhammad Alam , Nils Müllner
