Current Publications | • Tasche Philip; Herber Paula A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping. IEEE Conference on Software Testing, Verification and Validation (ICST), 2023, pp 25-36 online • Adelt J; Liebrenz T; Herber P Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. Software EngineeringLNI Vol. P-332, 2023, pp 29-30 online • 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)Lecture 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 • Schoppmeier, Marcel; Herber, Paula Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis. Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, ProceedingsIFIP Advances in Information and Communication Technology, 2022 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 |
Current Projects | • SystemC to Timed Automata Transformation Engine STATE is a SystemC to Timed Automata Transformation Engine. It takes a SystemC design as input and transforms it into a corresponding UPPAAL timed automata model. The transformation is based on a formal semantics defined for SystemC in [Her08],[Her10],[Her11],[Pockr11],[Pockr13],[Her13]. The general idea is to map the informally defined semantics of SystemC to the formally well-defined semantics of UPPAAL timed automata. This mapping defines a formal semantics for SystemC, and, at the same time, it enables the automatic transformation from a given SystemC design into a semantically equivalent UPPAAL timed automata model. The transformation preserves the informally defined semantics of SystemC completely. To ease debugging, it also keeps the structure of the original SystemC design transparent to the designer in the UPPAAL model (through prefixing). The current version of STATE supports structs, pointers, and arrays as well as the TLM 2.0 standard. 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 |