| Current Publications | • Adelt, 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 | paula dot herber at uni-muenster dot de |
| Phone | +49 251 83-32421 |
| FAX | +49 251 83-32742 |
| Room | 216 |
| Secretary | Sekretariat Kaiser-Mariani Frau Julia Kaiser-Mariani Telefon +49 251 83-32740 Fax +49 251 83-32742 Zimmer 704 |
| Address | Prof. 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 |
