Philip Tasche

According to our database, Philip Tasche authored at least 7 papers between 2023 and 2025.

Collaborative distances:

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

2025

Deductive Verification of Cooperative RTOS Applications.

Philip Tasche, Paula Herber, Marieke Huisman

ACM Trans. Embed. Comput. Syst., 2025

2024

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.

Philip Tasche, Paula Herber, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.

Paula Herber, Julius Adelt, Philip Tasche

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

The VerCors Verifier: A Progress Report.

Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC.

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman

Dataset, September, 2023

A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping.

Philip Tasche, Paula Herber

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023