Paula Herber profile picture

Paula Herber

Is this your author profile? Create an account to claim and customize it!

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata