Mathematik und Informatik

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

Current PublicationsHerber 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
Timm Liebrenz, Paula Herber, Sabine Glesner Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)LNCS, 2020 online
Dilian Gurov, Paula Herber, Ina Schäfer Automated Verification of Embedded Control Software - Track Introduction. 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)LNCS, 2020 online
Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber Towards Profile-Guided Optimisation for Safe and Efficient Parallel Stream Processing in Rust. , 2020 online
Current Projects• Scalable Verification of Industrial Embedded Control Systems online
E-Mailpaula dot herber at uni-muenster dot de
Phone+49 251 83-32421
FAX+49 251 83-32742
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
Diese Seite editieren