Professor Dr. Paula Herber

Professor Dr. Paula Herber

Einsteinstr. 62, Raum 216
48149 Münster

  • Lehre

     

    Vorlesung
    • Vorlesung: Informatik IV - Rechnerstrukturen [100060]
      (zusammen mit Jonas Becker-Kupczok)
      [ - | | wöchentlich | Mo | M B 1 (M 1) | Jonas Becker-Kupczok]
    Seminare
    • Projektseminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme [100062]
      (zusammen mit Prof. Dr. Anne Remke, Julius Adelt, Pauline Blohm)
      [ - | | wöchentlich | Di | Prof. Dr. Anne Remke]
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100064]
      (zusammen mit Jonas Becker-Kupczok, Julius Adelt, Pauline Blohm)
      [ - | | wöchentlich | Di | Julius Adelt]
    Übung
    • Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [100120]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
    Kolloquium
    • Kolloquium: Informatik-Kolloquium [100119]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
      [ - | | wöchentlich | Mi | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
    Sonstige Lehrveranstaltungen
    • Übungen zu Informatik IV - Rechnerstrukturen [100061]
      (zusammen mit Jonas Becker-Kupczok)
      [ - | | wöchentlich | Do | Jonas Becker-Kupczok]
      [ - | | wöchentlich | Do | SRZ 105 | Jonas Becker-Kupczok]
      [ - | | wöchentlich | Do | Jonas Becker-Kupczok]
      [ - | | wöchentlich | Fr | SRZ 105 | Jonas Becker-Kupczok]
      [ - | | wöchentlich | Fr | Jonas Becker-Kupczok]
      [ - | | wöchentlich | Fr | SRZ 105 | Jonas Becker-Kupczok]
    • Rechnerstrukturen [100063]
      [ - | | wöchentlich | Mo | Prof. Dr. Paula Herber]

    Seminare
    • Seminar: Seminar Safe & Secure Embedded Systems [108063]
      (zusammen mit Jonas Becker-Kupczok, Julius Adelt, Pauline Blohm)
      [ - | Prof. Dr. Paula Herber]
      [ - | Prof. Dr. Paula Herber]
      [Prof. Dr. Paula Herber]
    • Projektseminar: Projektseminar: Design of a Safe Walking Hexapod Robot [108062]
      (zusammen mit Janosch Bajorath, Prof. Dr. Malte Schilling, Julius Adelt, Pauline Blohm)
      [ - | | wöchentlich | Mo | SRZ 202 | Janosch Bajorath]
      [ - | M A 401 (SR 4) | Janosch Bajorath]
      [ - | SRZ 113 | Janosch Bajorath]
      [ - | M A 503 (SR 5) | Janosch Bajorath]
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [108061]
      (zusammen mit Jonas Becker-Kupczok, Julius Adelt, Pauline Blohm)
      [ - | | wöchentlich | Di | SRZ 202 | Pauline Blohm]
    Übung
    • Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108119]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
    Kolloquium
    • Kolloquium: Informatik-Kolloquium [108118]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Anne Remke, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
      [ - | | wöchentlich | Mi | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
    Sonstige Lehrveranstaltung
    • Eingebettete Systeme [108060]
      (zusammen mit Jonas Becker-Kupczok)
      [ - | | wöchentlich | Mo | M B 4 (M 4) | Jonas Becker-Kupczok]
      [ - | | wöchentlich | Do | SRZ 202 | Jonas Becker-Kupczok]
      [ - | | wöchentlich | Do | SRZ 202 | Jonas Becker-Kupczok]

    Vorlesungen
    • Vorlesung: Informatik IV - Rechnerstrukturen [106032]
      (zusammen mit Jonas Becker-Kupczok)
    • Vorlesung: Qualitätsorientierter Entwurf eingebetteter Systeme [106036]
    Seminare
    • Projektseminar: Projektseminar: Entwurf sicherer eingebetteter Systeme [106042]
      (zusammen mit Julius Adelt, Pauline Blohm)
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [106038]
      (zusammen mit Jonas Becker-Kupczok, Julius Adelt, Pauline Blohm)
    Übung
    • Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106114]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
    Kolloquium
    • Kolloquium: Informatik-Kolloquium [106115]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
    Sonstige Lehrveranstaltungen
    • Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme" [106037]
      (zusammen mit Julius Adelt, Pauline Blohm)
    • Rechnerstrukturen [106034]
    • Übungen zu Informatik IV - Rechnerstrukturen [106033]
      (zusammen mit Jonas Becker-Kupczok)

    Seminare
    • Seminar: Seminar Safe & Secure Embedded Systems [104761]
      (zusammen mit Jonas Becker-Kupczok, Julius Adelt, Pauline Blohm)
    • Projektseminar: Projektseminar: Design of a Safe Walking Hexapod Robot [104757]
      (zusammen mit Prof. Dr. Malte Schilling, Julius Adelt, Pauline Blohm)
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [104758]
      (zusammen mit Jonas Becker-Kupczok, Julius Adelt, Pauline Blohm)
    Übung
    • Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104560]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
    Kolloquium
    • Kolloquium: Informatik-Kolloquium [104561]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Anne Remke, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
    Sonstige Lehrveranstaltung
    • Eingebettete Systeme [104770]
      (zusammen mit Jonas Becker-Kupczok, Pauline Blohm)

    Seminar
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102029]
      (zusammen mit Jonas Becker-Kupczok, Julius Adelt, Pauline Blohm)
    Übung
    • Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102090]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Dr. Ludger Becker)
    Kolloquium
    • Kolloquium: Informatik-Kolloquium [102091]
      (zusammen mit Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Lars Linsen, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Anne Remke, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)

  • Projekte

    • Safe ILIAS – Sichere Integration von Lernen in Autonomen cyber-physischen Systemen ( – )
      Gefördertes Einzelprojekt: DFG - Sachbeihilfe/Einzelförderung | Förderkennzeichen: HE 6733/5-1
    • SAVES – Scalable Verification of Industrial Embedded Control Systems ( – )
      Durch die Universität Münster intern gefördertes Projekt: Universität Münster-interne Förderung - Strategic Collaboration Grant
    • RESCUE – Reliable Embedded System Design based on Co-verification in a Unified Environment ( – )
      Eigenmittelprojekt
    • ECoSMo – Bestimmung der effektiven Komplexität von Softwaremodellen ( – )
      Eigenmittelprojekt
    • STATE – SystemC to Timed Automata Transformation Engine (seit )
      Eigenmittelprojekt

  • Publikationen

    • , , , , und . . „Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.“ In Leveraging Applications of Formal Methods, Verification and Validation, Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-75380-0_3.
    • , , und . . „Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.“ In Integrated Formal Methods. iFM 2024, Lecture Notes in Computer Science, herausgegeben von Nikolai Kosmatov und Laura Kovács. Berlin: Springer Nature. doi: 10.1007/978-3-031-76554-4_10.
    • , und . . „Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.“ In Software Engineering and Formal Methods. SEFM 2024, Bd. 15280 aus Lecture Notes in Computer Science, herausgegeben von Madeira A. und Knapp A.. Heidelberg: Springer. doi: 10.1007/978-3-031-77382-2_7.
    • , , und . . „Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.“ In Software Engineering and Formal Methods, herausgegeben von Alexandre Madeira und Alexander Knapp. Berlin: Springer Nature. doi: 10.1007/978-3-031-77382-2_1.
    • , , und . . „Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.“ In Software Engineering and Formal Methods, herausgegeben von Alexandre Madeira und Alexander Knapp. Berlin: Springer Nature. doi: 10.1007/978-3-031-77382-2_23.
    • Herber, Paula, und Wijs, Anton, Hrsg. . Lecture Notes in Computer Science, 18th International Conference on integrated Formal Methods, {iFM} 2023, Heidelberg: Springer. doi: 10.1007/978-3-031-47705-8.
    • , , , , , und . . „Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.“ In Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Lecture Notes in Computer Science, herausgegeben von Rayna Dimitrova, Ori Lahav und Sebastian Wolff. Heidelberg: Springer. doi: 10.1007/978-3-031-50521-8_9.
    • , , und . . „Reusable formal models for concurrency and communication in custom real-time operating systems.“ International Journal on Software Tools for Technology Transfer, Nr. 26 (2): 229–245. doi: 10.1007/S10009-024-00743-4.
    • , , , , , , , , , und . . Ernst Denert Software Engineering Award 2022,, herausgegeben von E Bodden, M Felderer, W Hasselbring, P Herber, H Koziolek, C Lilienthal, F Matthes, L Prechelt, B Rumpe und I Schaefer. Berlin: Springer Nature. doi: 10.1007/978-3-031-44412-8_1.
    • , und . . „Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems.“ In Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV, Bd. 15222 aus Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-75387-9_8.
    • , , und . . „Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.“ In Formal Methods (FM), Lecture Notes in Computer Science, herausgegeben von André Platzer, Kristin Yvonne Rozier, Matteo Pradella und Matteo Rossi. Heidelberg: Springer. doi: 10.1007/978-3-031-71177-0_14.
    • , , , und . . „Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability.“ In Proceedings of the 19th International Conference on Software Technologies (ICSOFT), herausgegeben von Hans-Georg Fill, Francisco José Dominguez Mayo, Marten van Sinderen und Leszek A. Maciaszek. Setúbal: SciTePress. doi: 10.5220/0012719500003753.
    • , , , , und . „Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.“ In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, Bd. 14380 aus Lecture Notes in Computer Science, herausgegeben von Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-46002-9_6.
    • , und . . „A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping.“ In IEEE Conference on Software Testing, Verification and Validation (ICST), herausgegeben von Mike Papadakis und Dan Hao. New York City: Wiley-IEEE Press. doi: 10.1109/ICST57152.2023.00012.
    • , , und . . „Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox.“ In Software Engineering, LNI, herausgegeben von Gregor Engels, Regina Hebig und Matthias Tichy. Bonn: Gesellschaft für Informatik.
    • , , und . . „Safe Integration of Learning in SystemC using Timed Contracts and Model Checking.“ In 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, herausgegeben von Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt und Qi Zhu. New York City: Wiley-IEEE Computer Society Press. doi: 10.1145/3610579.3611078.
    • , , und . . „Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems.“ In Automated Technology for Verification and Analysis - 20th International Symposium (ATVA), Lecture Notes in Computer Science, herausgegeben von A Bouajjani, L Holik und Z Wu. Heidelberg: Springer. doi: 10.1007/978-3-031-19992-9\_4.
    • , , und . . „Towards Reusable Formal Models for Custom Real-Time Operating Systems.“ In Formal Methods for Industrial Critical Systems - 27th International Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, Lecture Notes in Computer Science, herausgegeben von JF Groote und M Huisman. Heidelberg: Springer. doi: 10.1007/978-3-031-15008-1\_6.
    • , , , und . . „SpecifyThis - Bridging Gaps Between Program Specification Paradigms.“ In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, Lecture Notes in Computer Science, herausgegeben von T Margaria und B Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-19849-6\_1.
    • , , , und . . „Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.“ In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, Bd. 13701 aus Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Heidelberg: Springer. doi: 10.1007/978-3-031-19849-6_18.
    • , und . . „Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis.“ In Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, Proceedings, Bd. 669 aus IFIP Advances in Information and Communication Technology, herausgegeben von Stefan Henkler, Marcio Eduardo Kreutz, Marco A. Wehrmeister, Marcelo Götz und Achim Rettberg. Heidelberg: Springer. doi: 10.1007/978-3-031-34214-1_2.
    • , , und . . „Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X.“ In Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021, Bd. 2814 aus CEUR Workshop Proceedings, herausgegeben von S Götz, L Linsbauer, I Schaefer und A Wortmann. Aachen: CEUR-WS.
    • , , und . . „Service-oriented decomposition and verification of hybrid system models using feature models and contracts.“ Science of Computer Programming, Nr. 211: 102694. doi: 10.1016/j.scico.2021.102694.
    • , , und . . „Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox.“ In Formal Methods, herausgegeben von M Huisman, C Pasareanu und N Zhan. Basel: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_19.
    • , , und . . „Combining Forces: How to Formally Verify Informally Defined Embedded Systems.“ In Formal Methods, herausgegeben von M Huisman, C Pasareanu und N Zhan. Basel: Springer International Publishing. doi: 10.1007/978-3-030-90870-6_1.
    • , , , und . . „Towards Profile-Guided Optimisation for Safe and Efficient Parallel Stream Processing in Rust.“ Beitrag präsentiert auf der Workshop on Applications for Multi-Core Architectures (WAMCA) at IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Virtual Conference New York City: Wiley-IEEE Computer Society Press.
    • , , und . . „Automated Verification of Embedded Control Software - Track Introduction.“ In 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), LNCS Heidelberg: Springer.
    • , , und . . „Towards Automated Service-oriented Verification of Embedded Control Software modeled in Simulink.“ In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020), LNCS Heidelberg: Springer.
    • , und . . „Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver.“ Beitrag präsentiert auf der IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2020), Virtual Conference New York City: Wiley-IEEE Computer Society Press.
    • , und . . „Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC.“ In 91st IEEE Vehicular Technology Conference (VTC Spring 2020), Antwerp, Belgium, May 25-28, 2020 New York City: Wiley-IEEE Press. doi: 10.1109/VTC2020-Spring48590.2020.9129426.
    • , , und . . „A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications.“ In Proceedings of the 15th International Conference on Software Technologies (ICSOFT), Lieusaint, Paris, France, July 7-9, 2020, herausgegeben von M Sinderen, H Fill und LA Maciaszek. Setúbal: SciTePress. doi: 10.5220/0009821101280135.
    • , , und . . „Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing.“ In Software Technologies, Bd. 1250 aus Communications in Computer and Information Science, herausgegeben von M Sinderen und LA Maciaszek. Heidelberg: Springer. doi: 10.1007/978-3-030-52991-8\_1.
    • , und . . „Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs.“ In ACM/IEEE International Conference on Formal Methods and Models for System Design, (MEMOCODE 2020) New York City: Wiley-IEEE Press. doi: 10.1109/MEMOCODE51338.2020.9314998.
    • , , , und . . „Information Flow Analysis of Combined Simulink/Stateflow Models.“ Information Technology and Control, Nr. 48 (2): 299–315. doi: 10.5755/j01.itc.48.2.21759.
    • , und . . „A Service-oriented Approach for Decomposing and Verifying Hybrid System Models.“ In Bd. 12018 aus LNCS Heidelberg: Springer. doi: 10.1007/978-3-030-40914-2\_7.
    • , , , , und . . „A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability.“ In Software Technologies, herausgegeben von Marten van Sinderen und Leszek A. Maciaszek.
    • , , und . . „Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms.“ Beitrag präsentiert auf der International Conference on Software Technologies (ICSOFT 2019), Prague, Czech Republic Setúbal: SciTePress.
    • , und . . „A Qualitative Evaluation of IPv6 for the Industrial Internet of Things.“ International Workshop on the Future of the Internet of Things (FIT 2018), Nr. 138 doi: 10.1016/j.procs.2018.07.195.
    • , , , und . . „Automated Selection of Software Refactorings that Improve Performance.“ In 13th International Conference on Software Technologies (ICSOFT'18) Setúbal: SciTePress.
    • , , und . . „Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X.“ In International Conference on Formal Engineering Methods (ICFEM 2018, to appear) Heidelberg: Springer. doi: 10.1007/978-3-030-02450-5_6.
    • , , , und . . „Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language.“ In Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018), Paris, France, 27-29 June 2018 New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/WETICE.2018.00052.
    • , , , und . . „Information Flow Analysis of Combined Simulink/Stateflow Models.“ In VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018) New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/WETICE.2018.00050.
    • , , , und . . „Equivalence Checking for Hybrid Control Systems Modelled in Simulink.“ In 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) New York City: Wiley-IEEE Press. doi: 10.1109/QRS-C.2018.00101.
    • , , , und . . „A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing.“ In Parallel, Distributed and Network-based Processing (PDP), 2018 26th Euromicro International Conference on New York City: Wiley-IEEE Computer Society Press. doi: 10.1109/PDP2018.2018.00040.
    • , , , und . . „Timed Path Conditions in MATLAB/Simulink.“ In System Level Design from HW/SW to Memory for Embedded Systems. Springer., Bd. 523 aus IFIP Advances in Information and Communication Technology Heidelberg: Springer.
    • , und . . „Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving.“ In System Level Design from HW/SW to Memory for Embedded Systems Heidelberg: Springer.
    • , , , und . . „Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity.“ In Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence & Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress (DASC/PiCom/DataCom/CyberSciTech), 2017 IEEE 15th Intl New York City: Wiley-IEEE Press. doi: 10.1109/DASC-PICom-DataCom-CyberSciTec.2017.88.
    • , , , und . . „Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink.“ In Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual, Bd. 2 New York City: Wiley-IEEE Press. doi: 10.1109/COMPSAC.2017.251.
    • , , und . . „Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC.“ ACM SIGAda Ada Letters, Nr. 36 (2): 9–17. doi: 10.1145/3092893.3092895.
    • , , , und . . „Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.“ In International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems Heidelberg: Springer.
    • , , , und . . „Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models.“ In ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications.
    • , und . . „A Multi-Robot Search Using LEGO Mindstorms -- An Embedded Software Design Project.“ ACM SIGBED Review, Special Issue on Embedded and Cyber-Physical Systems Education, Nr. 14 (1)
    • , , , und . . „Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking.“ In Software Quality, Reliability and Security (QRS), 2016 IEEE International Conference on doi: 10.1109/QRS.2016.35.
    • , , , und . . „Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models.“ Beitrag präsentiert auf der Informatik 2016, Klagenfurt, Austria
    • , , , und . . „Towards the verification of refactorings of hybrid Simulink models.“ In Proceedings of 3rd International Workshop on Verification and Program Transformation, EPTCS, Bd. 199
    • , und . . „Verification of Embedded Real-time Systems.“ In Formal Modeling and Verification of Cyber-Physical Systems, herausgegeben von R. Drechsler und U. Kühne. Wiesbaden: Springer Vieweg. doi: 10.1007/978-3-658-09994-7_1.
    • , , und . . „STATE--A SystemC to Timed Automata Transformation Engine.“ In High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on Embedded Software and Systems (ICESS), 2015 IEEE 17th International Conference on doi: 10.1109/HPCC-CSS-ICESS.2015.188.
    • . . „The RESCUE Approach-Towards Compositional Hardware/Software Co-verification.“ In High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC, CSS, ICESS), 2014 IEEE Intl Conf on doi: 10.1109/HPCC.2014.109.
    • , und . . „Formal Verification of SystemC Designs using the BLAST Software Model Checker.“ In ACESMB@ MoDELS
    • , , und . . „Reverse engineering of ARM binaries using formal transformations.“ In Proceedings of the 7th International Conference on Security of Information and Networks doi: 10.1145/2659651.2659697.
    • , , , und . . „Model checking memory-related properties of hardware/software co-designs.“ In International Embedded Systems Symposium doi: 10.1007/978-3-642-38853-8_9.
    • , , und . . „Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving.“ In Embedded Software (EMSOFT), 2013 Proceedings of the International Conference on doi: 10.1109/EMSOFT.2013.6658586.
    • , und . . „A HW/SW co-verification framework for SystemC.“ ACM Transactions on Embedded Computing Systems (TECS), Nr. 12 (1s): 61. doi: 10.1145/2435227.2435257.
    • , , , und . . „Optimized Transformation and Verification of SystemC Methods.“ Electronic Communications of the EASST, Nr. 53
    • . . „Automated HW/SW Co-Verification of SystemC Designs using Timed Automata.“ it-Information Technology Methoden und innovative Anwendungen der Informatik und Informationstechnik, Nr. 54 (6): 296–300.
    • . . „Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata.“ it - Information Technology. Ausgezeichnete Informatikdissertationen, Nr. 54 (6): 296–300.
    • , , und . . „Towards a Formal Semantics of the SystemC-TLM Core Interfaces.“ In GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
    • , , und . . „Model checking a SystemC/TLM design of the AMBA AHB protocol.“ In Embedded Systems for Real-Time Multimedia (ESTIMedia), 2011 9th IEEE Symposium on doi: 10.1109/ESTIMedia.2011.6088527.
    • , , , und . . „An evolutionary algorithm for the generation of timed test traces for embedded real-time systems.“ In Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth International Conference on
    • , , und . . „Transforming SystemC transaction level models into UPPAAL timed automata.“ In Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign doi: 10.1109/MEMCOD.2011.5970523.
    • . . A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata, Berlin: Logos Verlag.
    • , , und . . „Automated conformance evaluation of SystemC designs using timed automata.“ In Test Symposium (ETS), 2010 15th IEEE European doi: 10.1109/ETSYM.2010.5512761.
    • , , und . . „Combining model checking and testing in a continuous hw/sw co-verification process.“ In International Conference on Tests and Proofs doi: 10.1007/978-3-642-02949-3_10.
    • , , und . . „Model checking SystemC designs using timed automata.“ In Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis doi: 10.1145/1450135.1450166.