Till Schallau

According to our database, Till Schallau authored at least 7 papers between 2020 and 2024.

Collaborative distances:

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

2024

Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems.

Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems.

Till Schallau, Dominik Mäckel, Stefan Naujokat, Falk Howar

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2023

Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles.

Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar

CoRR, 2023

2022

Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing.

Till Schallau, Stefan Naujokat

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education.

Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau

Proceedings of the 3rd International Workshop on Software Engineering Education for the Next Generation, 2021

2020

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs.

Malte Mues, Till Schallau, Falk Howar

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020