Philip Tasche

Orcid: 0000-0003-1518-4079

According to our database1, Philip Tasche authored at least 3 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

The VerCors Verifier: A Progress Report.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023


  Loading...