Expertise
Computer Science
- Back End
- Case Study
- Embedded Systems
- Postcondition
- Program Transformation
- Simultaneous localization and mapping
- SystemC
- concurrent software
Organisations
Publications
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.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