P.B.H. Tasche MSc | People Pages: Find employees & contact details | University of Twente

Expertise

Computer Science
- Back End
- Case Study
- Embedded Systems
- Postcondition
- Program Transformation
- Simultaneous localization and mapping
- SystemC
- concurrent software

Organisations

Publications

2025

Deductive Verification of Cooperative RTOS Applications (2025)ACM transactions on embedded computing systems, 24(5 s). Article 131. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.1145/3759251[Artifact] Deductive Verification of Cooperative RTOS Applications (2025)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.4121/62dcf604-3009-4e09-a002-52c12e9504fa

2024

Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems (2024)In Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings (pp. 404-422) (Lecture Notes in Computer Science; Vol. 15280). Springer. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.1007/978-3-031-77382-2_23Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions (2024)In Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings (pp. 3-21) (Lecture Notes in Computer Science; Vol. 15280). Springer. Herber, P., Adelt, J. & Tasche, P.https://doi.org/10.1007/978-3-031-77382-2_1[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1aArtifact to supplement the paper: The VerCors Verifier: a Progress Report (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Armborst, L., Bos, P., van den Haak, L., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P.https://doi.org/10.4121/a5f97e07-9f84-4223-b581-6d2606fe07baDeductive Verification of Parameterized Embedded Systems Modeled in SystemC (2024)In Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II (pp. 187-209) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14500 LNCS). 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_9The VerCors Verifier: A Progress Report (2024)In Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings: 36th International Conference on Computer Aided Verification (pp. 3-18) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14682 LNCS). Springer. Armborst, L., Bos, P., van den Haak, L. B., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P.https://doi.org/10.1007/978-3-031-65630-9_1

2023

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC (2023)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M.https://doi.org/10.4121/a7e780c9-87fa-486c-b484-a76a459a9d53[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC (2023)[Dataset Types › Dataset]. Zenodo. Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M.https://doi.org/10.5281/zenodo.8341170

Research profiles

Address

University of Twente

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

Navigate to location

Organisations