Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Prof. Dr. Paula Herber

Informatik / AI

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 139
Telefon
+49 203 37 92351
E-Mail
paula.herber@uni-due.de

Funktionen

  • Professor/in, Verifikation komplexer Systeme

Aktuelle Veranstaltungen

Vergangene Veranstaltungen (max. 10)

Keine vergangenen Veranstaltungen.

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Artikel in Zeitschriften

  • Tasche, Philip; Herber, Paula; Huisman, Marieke
    Deductive Verification of Cooperative RTOS Applications
    In: ACM Transactions on Embedded Computing Systems (TECS), Jg. 24, 2025, Nr. 5 s, 131
    DOI (Open Access)
  • Herber, Paula; Wijs, Anton
    Introduction to the Special Collection from iFM 2023
    In: Formal Aspects of Computing, Jg. 37, 2025, Nr. 4, 28
    DOI (Open Access)
  • Adelt, Julius; Gebker, Julian; Herber, Paula
    Reusable formal models for concurrency and communication in custom real-time operating systems
    In: International Journal on Software Tools for Technology Transfer (STTT), Jg. 26, 2024, Nr. 2, S. 229 – 245
    DOI (Open Access)
  • Liebrenz, Timm; Herber, Paula; Glesner, Sabine
    Service-oriented decomposition and verification of hybrid system models using feature models and contracts
    In: Science of Computer Programming, Jg. 211, 2021, 102694
    DOI (Open Access)
  • Mikulcak, Marcus; Göthel, Thomas; Glesner, Sabine; Herber, Paula
    Information flow analysis of combined simulink/stateflow models
    In: Information Technology and Control = Informacinės Technologijos ir Valdymas, Jg. 48, 2019, Nr. 2, S. 299 – 315
    DOI (Open Access)
  • Feldner, Benjamin; Herber, Paula
    A Qualitative Evaluation of IPv6 for the Industrial Internet of Things
    In: Procedia Computer Science, Jg. 134, 2018, S. 377 – 384
    DOI (Open Access)

    • Vorworte / Nachworte

  • Herber, Paula; Osama, Muhammad; Wijs, Anton
    Research software from the integrated Formal Methods (iFM) conference 2023
    In: Science of Computer Programming. Amsterdam: Elsevier, Jg. 248, 2026, 103384
    DOI, Online Volltext (Open Access)

    • Preprints

  • Becker-Kupczok, Jonas; Ernst, Lukas; Herber, Paula
    Automated Abstraction Refinement for Information Flow Security in Embedded Systems
    2026
    DOI, Online Volltext (Open Access)

    • Beiträge in Sammelwerken und Tagungsbänden

  • Blohm, Pauline; Remke, Anne; Herber, Paula
    Towards Quantitative Analysis of Intelligent Simulink Models Using Stochastic Hybrid Automata
    In: Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI: Proceedings, Part IV / 13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026 / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). Cham: Springer Nature Switzerland, 2026, S. 173 – 195
    DOI (Open Access)
  • Tasche, Philip; Herber, Paula; Huisman, Marieke
    Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems
    In: Software Engineering and Formal Methods: Proceedings / 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 / Madeira, Alexandre; Knapp, Alexander (Hrsg.). Cham: Springer, Jg. 15280 LNCS, 2025, S. 404 – 422
    DOI
  • Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula
    Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata
    In: Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Proceedings / Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025 / Prabhakar, Pavithra; Vandin, Andrea (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, 2025, S. 389 – 408
    DOI
  • Bodden, Eric; Felderer, Michael; Hasselbring, Wilhelm; Herber, Paula; Koziolek, Heiko; Lilienthal, Carola; Matthes, Florian; Prechelt, Lutz; Rumpe, Bernhard; Schaefer, Ina
    Ernst Denert Software Engineering Award 2022
    In: Ernst Denert Award for Software Engineering 2022: Practice Meets Foundations. Cham: Springer Nature, 2024, S. 1 – 8
    DOI (Open Access)
  • Herber, Paula; Adelt, Julius; Tasche, Philip
    Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions
    In: Software Engineering and Formal Methods: Proceedings / 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 / Madeira, Alexandre; Knapp, Alexander (Hrsg.). Cham: Springer, 2024, S. 3 – 21
    DOI
  • Witteck, Ulrike; Stambke, Jan; Grießbach, Denis; Herber, Paula
    Improving Robustness of Satellite Image Processing Using Principal Component Analysis for Explainability
    In: Proceedings of the 19th International Conference on Software Technologies (ICSOFT 2022) / 19. Internationale Konferenz für Software-Technologien (ICSOFT 2024), 8. bis 10. Juli 2024 in Dijon, Frankreich / Hans-Georg, Fill (Hrsg.). Setúbal: SCITEPRESS - Science and Technology Publications, 2024, S. 207 – 218
    DOI
  • Adelt, Julius; Mensing, Robert; Herber, Paula
    Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems
    In: Formal Methods: Proceedings, Part II / 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 / Platzer, Andre; Rozier, Kristin Yvonne; Pradella, Matteo; Rossi, Matteo (Hrsg.). Cham: Springer, 2024, S. 208 – 228
    DOI (Open Access)
  • Becker-Kupczok, Jonas; Herber, Paula
    Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems
    In: Software Engineering and Formal Methods: Proceedings / 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024 / Madeira, Alexandre; Knapp, Alexander (Hrsg.). Cham: Springer, 2024, S. 107 – 125
    DOI
  • Becker-Kupczok, Jonas; Herber, Paula
    Towards Automated Security Hardening Using Timed Path Conditions in Shared Bus Systems
    In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: Proceedings, Part IV / 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024 / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). Cham: Springer Nature Switzerland, 2024, S. 115 – 131
    DOI
  • Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne
    Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems
    In: Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: Proceedings, Part III / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, 2024, S. 26 – 47
    DOI
  • Blohm, Pauline; Herber, Paula; Remke, Anne
    Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata
    In: Integrated Formal Methods: Proceedings / 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024. Berlin, Germany: Springer Science and Business Media Deutschland GmbH, 2024, S. 172 – 193
    DOI
  • Tasche, Philip; Herber, Paula
    A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping
    In: 2023 IEEE 16th International Conference on Software Testing, Verification and Validation / 16th International Conference on Software Testing, Verification and Validation : ICST 2023 : 16-20 April 2023, Dublin, Ireland. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2023, S. 25 – 36
    DOI, Online Volltext (Open Access)
  • Tasche, Philip; Monti, Raúl E.; Drerup, Stefanie Eva; Blohm, Pauline; Herber, Paula; Huisman, Marieke
    Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
    In: Verification, Model Checking, and Abstract Interpretation: Proceedings, Part II / 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024. Cham: Springer Science and Business Media Deutschland GmbH, 2023, S. 187 – 209
    DOI
  • Adelt, Julius; Liebrenz, Timm; Herber, Paula
    Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox
    In: Software Engineering 2023: Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023, Paderborn / Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023, Paderborn / Engels, Gregor; Hebig, Regina; Tichy, Matthias (Hrsg.). Bonn: Gesellschaft für Informatik e.V. (GI), 2023, S. 29 – 30
    Online Volltext (Open Access)
  • Blohm, Pauline; Adelt, Julius; Herber, Paula
    Safe Integration of Learning in SystemC using Timed Contracts and Model Checking
    In: MEMOCODE '23: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design / MEMOCODE '23: 21st ACM-IEEE International Conference on Formal Methods and Models for System Design, Hamburg, Germany, September 21 - 22, 2023 / Association for Computing Machinery (Hrsg.). New York: Institute of Electrical and Electronics Engineers Inc., 2023, S. 12 – 22
    DOI (Open Access)
  • Adelt, Julius; Bruch, Sebastian; Herber, Paula; Niehage, Mathis; Remke, Anne
    Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink
    In: Bridging the Gap Between AI and Reality: Proceedings / First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023 / Steffen, Bernhard (Hrsg.). Cham: Springer, 2023, S. 94 – 118
    DOI
  • Schoppmeier, Marcel; Herber, Paula
    Simulation of Timing Attacks and Challenges for Early Side-Channel Security Analysis
    In: Designing Modern Embedded Systems: Software, Hardware, and Applications: Proceedings / 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022 / Henkler, Stefan; Kreutz, Márcio; Wehrmeister, Marco A. (Hrsg.). Cham: Springer, 2023, S. 16 – 27
    DOI
  • Adelt, Julius; Brettschneider, Daniel; Herber, Paula
    Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems
    In: Automated Technology for Verification and Analysis: Proceedings / Bouajjani, Ahmed; Holík, Lukáš; Wu, Zhilin (Hrsg.). Cham: Springer, 2022, S. 58 – 74
    DOI
  • Ahrendt, Wolfgang; Herber, Paula; Huisman, Marieke; Ulbrich, Mattias
    SpecifyThis – Bridging Gaps Between Program Specification Paradigms
    In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Proceedings, Part I / 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022 / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). Cham: Springer, 2022, S. 3 – 6
    DOI
  • Adelt, Julius; Gebker, Julian; Herber, Paula
    Towards Reusable Formal Models for Custom Real-Time Operating Systems
    In: Formal Methods for Industrial Critical Systems: Proceedings / 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022 / Groote, Jan Friso; Huisman, Marieke (Hrsg.). Cham: Springer, Jg. LNCS, 2022, S. 69 – 85
    DOI
  • Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne
    Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty
    In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Proceedings, Part I / 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022 / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). Cham: Springer, 2022, S. 299 – 319
    DOI
  • Herber, Paula; Adelt, Julius; Liebrenz, Timm
    Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X
    In: Proceedings of the Software Engineering 2021 Satellite Events / Software Engineering 2021 Satellite Events - Workshops and Tools & Demos, Braunschweig/Virtual, Germany, February 22 - 26, 2021 / Götz, Sebastian; Linsbauer, Lukas; Schaefer, Ina; Wortmann, Andreas (Hrsg.). Aachen: RWTH Aachen, 2021
    Online Volltext (Open Access)
  • Adelt, Julius; Liebrenz, Timm; Herber, Paula
    Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
    In: Formal Methods: Proceedings / 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021 / Huisman, Marieke; Păsăreanu, Corina; Zhan, Naijun (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, 2021, S. 349 – 366
    DOI
  • Witteck, Ulrike; Grießbach, Denis; Herber, Paula
    A Genetic Algorithm for Automated Test Generation for Satellite On-board Image Processing Applications
    In: ICSOFT 2020: Proceedings of the 15th International Conference on Software Technologies / ICSOFT 2020, July 7-9, 2020, online. Setúbal: SCITEPRESS - Science and Technology Publications, 2020, S. 128 – 135
    DOI (Open Access)
  • Liebrenz, Timm; Herber, Paula; Glesner, Sabine
    A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models
    In: Formal Aspects of Component Software: Proceedings / 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019 / Arbab, Farhad; Jongmans, Sung-Shik (Hrsg.). Cham: Springer, 2020, S. 127 – 146
    DOI
  • Gurov, Dilian; Herber, Paula; Schaefer, Ina
    Automated Verification of Embedded Control Software : Track Introduction
    In: Leveraging Applications of Formal Methods, Verification and Validation: Applications: Proceedings, Part III / 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020 / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, 2020, S. 235 – 239
    DOI
  • Herber, Paula; Liebrenz, Timm
    Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
    In: 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) / 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 02-04 December 2020, Jaipur, India. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2020, 9314998
    DOI
  • Treus, Josef; Herber, Paula
    Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC
    In: 2020 IEEE 91st Vehicular Technology Conference (VTC Spring): Proceedings / 91st Vehicular Technology Conference (VTC Spring), Antwerp, Belgium, 25-28 May 2020. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2020, 9129426
    DOI
  • Witteck, Ulrike; Grießbach, Denis; Herber, Paula
    Equivalence class definition for automated testing of satellite on-board image processing
    In: Software Technologies: Revised Selected Papers / 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019. Cham: Springer, 2020, S. 3 – 25
    DOI
  • Schwan, Simon; Herber, Paula
    Optimized Hardware/Software Co-Verification using the UCLID Satisfiability Modulo Theory Solver
    In: 2020 IEEE 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises: Proceedings / 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises : WETICE 2020 : virtual conference, 4-6 November 2020. Piscataway: IEEE Computer Society, 2020, S. 225 – 230
    DOI
  • Liebrenz, Timm; Herber, Paula; Glesner, Sabine
    Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink
    In: Leveraging Applications of Formal Methods, Verification and Validation: Applications: Proceedings, Part III / 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020 / Margaria, Tiziana; Steffen, Bernhard (Hrsg.). Cham: Springer Science and Business Media Deutschland GmbH, 2020, S. 307 – 325
    DOI
  • Sydow, Stefan; Nabelsee, Mohannad; Glesner, Sabine; Herber, Paula
    Towards profile-guided optimization for safe and efficient parallel stream processing in rust
    In: 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing: Proceedings / 32nd International Symposium on Computer Architecture and High Performance Computing : SBAC-PAD 2020 : Porto, Portugal, 8-11 September 2020. Piscataway: IEEE Computer Society, 2020, 9235054
    DOI
  • Moesus, Nikolai; Scholze, Matthias; Schlesinger, Sebastian; Herber, Paula
    A Rating Tool for the Automated Selection of Software Refactorings that Remove Antipatterns to Improve Performance and Stability
    In: Software Technologies: Revised Selected Papers / 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 / van Sinderen, Marten; Maciaszek, Leszek A. (Hrsg.). Cham: Springer Verlag, 2019, S. 28 – 54
    DOI
  • Witteck, Ulrike; Grießbach, Denis; Herber, Paula
    Test input partitioning for automated testing of satellite on-board image processing algorithms
    In: ICSOFT 2019: Proceedings of the 14th International Conference on Software Technologies / 14th International Conference on Software Technologies : Prague, Czech Republic, July 26-28, 2019 / van Sinderen, Marten (Hrsg.). Setúbal: SciTePress, 2019, S. 15 – 26
    DOI
  • Moesus, Nikolai; Scholze, Matthias; Schlesinger, Sebastian; Herber, Paula
    Automated Selection of Software Refactorings that Improve Performance
    In: ICSOFT 2018: Proceedings of the 13th International Conference on Software Technologies / 13th International Conference on Software Technologies : Porto, Portugal, July 26-28, 2018 / Maciaszek, Leszek (Hrsg.). Setúbal: SCITEPRESS - Science and Technology Publications, 2018, S. 33 – 44
    Online Volltext (Open Access)
  • Liebrenz, Timm; Herber, Paula; Glesner, Sabine
    Deductive verification of hybrid control systems modeled in simulink with keymaera X
    In: Formal Methods and Software Engineering: Proceedings / 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 / Sun, Jing; Sun, Meng (Hrsg.). Cham: Springer Verlag, 2018, S. 89 – 105
    DOI
  • Pfeffer, Tobias; Herber, Paula; Druschke, Lucas; Glesner, Sabine
    Efficient and safe control flow recovery using a restricted intermediate language
    In: 2017 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises; Proceedings / 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises : WETICE 2018 : Paris, France, 27-29 June 2018. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2018, 8495942
    DOI
  • Mikulcak, Marcus; Herber, Paula; Gothel, Thomas; Glesner, Sabine
    Information flow analysis of combined simulink/stateflow models
    In: 2017 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises; Proceedings / 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises : WETICE 2018 : Paris, France, 27-29 June 2018. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2018, 8495940
    DOI

    • Bücher/Sammelwerke/Tagungsbände

  • Herber, Paula; Wijs, Anton (Hrsg.)
    Integrated Formal Methods : Proceedings
    18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023,
    2023
    DOI