| Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs M Mues, T Schallau, F Howar International Conference on Integrated Formal Methods, 123-140, 2020 | 12 | 2020 |
| Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles T Schallau, S Naujokat, F Kullmann, F Howar arXiv preprint arXiv:2307.05106, 2023 | 3 | 2023 |
| STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems T Schallau, D Mäckel, S Naujokat, F Howar European Dependable Computing Conference, 62-70, 2024 | 2 | 2024 |
| Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing T Schallau, S Naujokat Electronic Communications of the EASST 82, 2023 | 2 | 2023 |
| Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education S Dierl, F Howar, M Mues, S Naujokat, T Schallau 2021 Third International Workshop on Software Engineering Education for the …, 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 IEEE/ACM 4th International Workshop on Software Engineering Education for …, 2022 | 1 | 2022 |
| Tree-Based Scenario Classification: A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems T Schallau, S Naujokat, F Kullmann, F Howar NASA Formal Methods Symposium, 259-278, 2024 | | 2024 |
Falk HowarTU Dortmund在 tu-dortmund.de 的电子邮件经过验证
