Mathematik und Informatik

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

Current PublicationsLiebrenz 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
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