Expertise
Computer Science
- Back End
- Case Study
- Embedded Systems
- Postcondition
- Program Transformation
- Simultaneous localization and mapping
- SystemC
- concurrent software
Organisations
Publications
2024
[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.8341170Coverage-Driven SLAM Testing (2023)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P. & Herber, P.https://doi.org/10.4121/21946514A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping (2023)In 2023 IEEE 16th International Conference on Software Testing, Verification and Validation: ICST 2023 (pp. 25-36) (IEEE International Conference on Software Testing, Verification and Validation Workshops). IEEE. Tasche, P. & Herber, P.https://doi.org/10.1109/ICST57152.2023.00012
Research profiles
Address
University of Twente
Zilverling (building no. 11), room 3082
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3082
P.O. Box 217
7500 AE Enschede
Netherlands
Scan the QR code or