No photo of Philip Tasche
Contact Expert

Philip Tasche

, Master of Science

 https://orcid.org/0000-0003-1518-4079
Calculated based on number of publications stored in Pure and citations from Scopus
20232024

Research activity per year

  • 3 Conference contribution
Filter
Conference contribution

Search results

  • 2024

    Deductive Verification of Parameterized Embedded Systems Modeled in SystemC

    Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M., 2024, Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer, p. 187-209 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    73 Downloads (Pure)

  • The VerCors Verifier: A Progress Report

    Armborst, L., Bos, P., van den Haak, L. B., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings: 36th International Conference on Computer Aided Verification. Gurfinkel, A. & Ganesh, V. (eds.). Springer, Vol. 2. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    77 Downloads (Pure)
  • 2023

    A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping

    Tasche, P. & Herber, P., 2023, 2023 IEEE 16th International Conference on Software Testing, Verification and Validation: ICST 2023. IEEE, p. 25-36 12 p. (IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    61 Downloads (Pure)