Expertise

  • Computer Science

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

Organisations

Publications

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

Research profiles

Address

Visiting address

University of Twente

Zilverling (building no. 11), room 3082
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard