A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. - Philip Tasche; Paula Herber (ICST, 2023)

The VerCors Verifier: A Progress Report. - Lukas Armborst; Pieter Bos; Lars B. van den Haak; Marieke Huisman; Robert Rubbens; Ömer Sakar; Philip Tasche (CAV (2), 2024)

Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. - Paula Herber; Julius Adelt; Philip Tasche (SEFM, 2024)

Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. - Philip Tasche; Paula Herber; Marieke Huisman (SEFM, 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 (VMCAI (2), 2024)