Usage statistics

Totals for datasets (co-)authored by Philip Tasche

Datasets

• Artifact to supplement the paper: The VerCors Verifier: a Progress Report
• Coverage-Driven SLAM Testing
• [Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems
• [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
• [Artifact] Deductive Verification of Cooperative RTOS Applications

Co-authors

Co-authors of Philip Tasche's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Lars van den Haak
• Lukas Armborst
• Marieke Huisman
• Paula Herber
• Pauline Blohm
• Pieter Bos
• Raúl E. Monti
• Robert Rubbens
• Stefanie Eva Drerup
• Ömer Şakar