P.B.H. Tasche MSc (Philip Ben Heinrich)

Promovendus
EEMCS-CS-FMT
Zilverling 3082
p.b.h.tasche@utwente.nl
+31534899277
Visitekaartje

Expertises

  • Computer Science

    • Embedded Systems
    • Simultaneous localization and mapping
    • SystemC
    • Design
    • Case Study
    • Control
    • Embedded System Design
    • Semantics

Organisaties

Publicaties

2024
Deductive Verification of Parameterized Embedded Systems Modeled in SystemCIn Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II (pp. 187-209). Springer. Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M.https://doi.org/10.1007/978-3-031-50521-8_9
2023
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and MappingIn 2023 IEEE 16th International Conference on Software Testing, Verification and Validation: ICST 2023 (pp. 25-36). IEEE. Tasche, P. & Herber, P.https://doi.org/10.1109/ICST57152.2023.00012

Onderzoeksprofielen

Scan de QR-code of
Download vCard