Mathematik und Informatik

Prof. Dr. Paula Herber, Institut für Informatik

Current PublicationsAdelt, Julius; Brettschneider, Daniel; Herber, Paula Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, ProceedingsLecture Notes in Computer Science Vol. 13505, 2022, pp 58-74 online
Adelt Julius, Gebker Julian, Herber Paula Towards Reusable Formal Models for Custom Real-Time Operating Systems. Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, ProceedingsLecture Notes in Computer Science Vol. 13487, 2022, pp 69-85 online
Ahrendt W, Herber P, Huisman M, Ulbrich M SpecifyThis - Bridging Gaps Between Program Specification Paradigms. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part ILecture Notes in Computer Science Vol. 13701, 2022, pp 3-6 online
Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part ILecture Notes in Computer Science, 2022, pp 299-319 online
Herber Paula, Adelt Julius, Liebrenz Timm Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021CEUR Workshop Proceedings, 2021, pp 1-4 online
Liebrenz T, Herber P, Glesner S Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Science of Computer Programming Vol. 211, 2021, pp 102694 online
Adelt J, Liebrenz T, Herber P Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox. Formal Methods, 2021, pp 349-366 online
Herber P, Liebrenz T, Adelt J Combining Forces: How to Formally Verify Informally Defined Embedded Systems. Formal Methods, 2021, pp 3-22 online
Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber Towards Profile-Guided Optimisation for Safe and Efficient Parallel Stream Processing in Rust. , 2020 online
E-Mailpaula dot herber at uni-muenster dot de
Phone+49 251 83-32421
FAX+49 251 83-32742
Room216
Secretary   Sekretariat Kaiser-Mariani
Frau Julia Kaiser-Mariani
Telefon +49 251 83-32740
Fax +49 251 83-32742
Zimmer 704
AddressProf. Dr. Paula Herber
Institut für Informatik
Fachbereich Mathematik und Informatik der Universität Münster
Einsteinstrasse 62
48149 Münster
Deutschland
Diese Seite editieren