| 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 | 39 | 2016 |
| Dependable adas by combining design time testing and runtime monitoring M Mauritz, A Rausch, I Schaefer FORMS/FORMAT, 28-37, 2014 | 12 | 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 | 10 | 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 | 6 | 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 | 6 | 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 | 2 | 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 | 2 | 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 | 1 | 2022 |
| Learning Symbolic Timed Models from Concrete Timed Data M Kristjansen, KG Larsen, F Lorber, M Mauritz Formal Methods LNCS 13903, 104, 0 | | |
Andreas RauschFull Professor for Software Systems Engineering, Institute for Software & Systems Engineering, TUZweryfikowany adres z tu-clausthal.de
