| Current Publications | • 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 • 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 | 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 |
