Paula Herber -

Not registered as user

Name:Paula Herber

Country:Germany

Affiliation:University of Munster, Germany

Personal website: https://www.uni-muenster.de/EmbSys/team/herber/index.shtml

Contributions

2025

FormaliSE

Committee Member in Program Committee within the Research Track-track

2024

FormaliSE

Committee Member in Program Committee within the FormaliSE 2024-track

VMCAI

Author of Deductive Verification of Parameterized Embedded Systems modeled in SystemC within the VMCAI 2024-track

2023

FTfJP

PC Member in Program Committee within the FTfJP 2023-track

ICST

Author of A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping within the Research Papers-track

2021

FTfJP

Committee Member in Program Committee within the FTfJP-track

2020

FTfJP

Programme Committee in Program Committee within the FTfJP-track