Malte Mauritz

According to our database, Malte Mauritz authored at least 6 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Learning Symbolic Timed Models from Concrete Timed Data.

Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Aligning the learning experience in a project-based course: lessons learned from the redesign of a programming lab.

Malte Mauritz, Stefan Naujokat, Christian Riest, Till Schallau

Proceedings of the 4th International Workshop on Software Engineering Education for the Next Generation, 2022

2021

From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics.

Malte Mauritz, Moritz Roidl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2019

Engineering of Safe Autonomous Vehicles through Seamless Integration of System Development and System Operation.

Malte Mauritz

PhD thesis, 2019

2016

Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring.

Malte Mauritz, Falk Howar, Andreas Rausch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

From Simulation to Operation: Using Design Time Artifacts to Ensure the Safety of Advanced Driving Assistance Systems at Runtime.

Malte Mauritz, Falk Howar, Andreas Rausch

Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015