No photo of Philip Tasche

Philip Tasche

, Master of Science

Calculated based on number of publications stored in Pure and citations from Scopus
20232024

Research activity per year

Fingerprint

Dive into the research topics where Philip Tasche is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems

    Tasche, P., Herber, P. & Huisman, M., 26 Nov 2024, (E-pub ahead of print/First online) Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings. Madeira, A. & Knapp, A. (eds.). Cham, Switzerland: Springer, p. 404-422 19 p. (Lecture Notes in Computer Science; vol. 15280).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    81 Downloads (Pure)
  • Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions

    Herber, P., Adelt, J. & Tasche, P., 26 Nov 2024, (E-pub ahead of print/First online) Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings. Madeira, A. & Knapp, A. (eds.). Cham, Switzerland: Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 15280).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    86 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    61 Downloads (Pure)