Philip Tasche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2023–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | The VerCors Verifier: A Progress Report. | Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, mer Sakar, Philip Tasche |
| 2024 | SEFM | Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. | Paula Herber, Julius Adelt, Philip Tasche |
| 2024 | SEFM | Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. | Philip Tasche, Paula Herber, Marieke Huisman |
| 2024 | VMCAI | Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. | Philip Tasche, Ral E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman |
| 2023 | ICST | A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. | Philip Tasche, Paula Herber |