On transforming model-based tests into code: A systematic literature review.
Softw. Test. Verification Reliab., December, 2023
Experiencing Technology Independence.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios.
Comput. Electr. Eng., 2018
Towards a Coherent Terminology and Taxonomy for Evaluating Safety via Testing.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Simulation-Based Safety Testing Brake-by-Wire.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment.
Proceedings of the 2016 IEEE Vehicular Networking Conference, 2016
Cooperation and network coding based MAC protocol for VANETs.
Proceedings of the 2015 IEEE Vehicular Networking Conference, 2015
Estimating the probability of a timely traffic-hazard warning via simulation.
Proceedings of the 48th Annual Simulation Symposium, 2015
Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts.
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014
Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems.
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014
Unmasking fault tolerance: quantifying deterministic recovery dynamics in probabilistic environments.
PhD thesis, 2013
Combining decomposition and reduction for state space analysis of a self-stabilizing system.
J. Comput. Syst. Sci., 2013
The Degree of Masking Fault Tolerance vs. Temporal Redundancy.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011
Unmasking Fault Tolerance: Masking vs. Non-masking Fault-tolerant Systems.
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008