• Sign in
  • Sign up
conf.researchr.org / Paula Herber
  • ECOOP and ISSTA 2021 profile
  • ECOOP and ISSTA 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICST 2023 profile
  • POPL 2024 profile
  • SPLASH 2020 profile

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
Share
xThu 25 Sep 19:40
using conf.researchr.org (v1.71.1)
Support page
Sign Up