| Current Publications | • 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 • 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 • Herber Paula, Liebrenz Timm Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. ACM/IEEE International Conference on Formal Methods and Models for System Design, (MEMOCODE 2020), 2020, pp 1-6 online • Ulrike Witteck, Denis Grie{ß}bach, Paula Herber Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing. Software TechnologiesCommunications in Computer and Information Science, 2020, pp 3-25 online • Witteck U, Grie{ß}bach D, Herber P A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications. Proceedings of the 15th International Conference on Software Technologies (ICSOFT), Lieusaint, Paris, France, July 7-9, 2020, 2020, pp 128-135 online • Treus J, Herber P Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC. 91st IEEE Vehicular Technology Conference (VTC Spring 2020), Antwerp, Belgium, May 25-28, 2020, 2020, pp 1-5 online • Simon Schwan, Paula Herber Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver. , 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 |
