Malte Mauritz
Malte Mauritz
Chair 14 of Software Engineering, Department of Computer Science, TU Dortmund
Verified email at
Cited by
Cited by
Assuring the safety of advanced driver assistance systems through a combination of simulation and runtime monitoring
M Mauritz, F Howar, A Rausch
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Dependable adas by combining design time testing and runtime monitoring
M Mauritz, A Rausch, I Schaefer
FORMS/FORMAT, 28-37, 2014
Managed and continuous evolution of dependable automotive software systems
A Rausch, O Brox, A Grewe, M Ibe, S Jauns-Seyfried, C Knieke, M Körner, ...
Proceedings of the 10th Symposium on Automotive Powertrain Control Systems 7 …, 2014
Engineering of safe autonomous vehicles through seamless integration of system development and system operation
M Mauritz
Dissertation, Clausthal-Zellerfeld, Technische Universität Clausthal, 2019, 2019
From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime.
M Mauritz, F Howar, A Rausch
MASE@ MoDELS, 43-52, 2015
Learning symbolic timed models from concrete timed data
S Dierl, FM Howar, S Kauffman, M Kristjansen, K Guldstrand Larsen, ...
NASA Formal Methods Symposium, 104-121, 2023
From requirements to executable rules: an ensemble of domain-specific languages for programming cyber-physical systems in warehouse logistics
M Mauritz, M Roidl
International Symposium on Leveraging Applications of Formal Methods, 162-177, 2021
Aligning the learning experience in a project-based course: lessons learned from the redesign of a programming lab
M Mauritz, S Naujokat, C Riest, T Schallau
Proceedings of the 4th International Workshop on Software Engineering …, 2022
Learning Symbolic Timed Models from Concrete Timed Data
M Kristjansen, KG Larsen, F Lorber, M Mauritz
Formal Methods LNCS 13903, 104, 0
The system can't perform the operation now. Try again later.
Articles 1–9