Usage statistics

Totals for datasets (co-)authored by Paula Herber

Datasets

• 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

Co-authors

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

• Marieke Huisman
• Pauline Blohm
• Philip Tasche
• Raúl E. Monti
• Stefanie Eva Drerup