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)
  • Herber, Paula; Klös, Verena
    A multi-robot search using LEGO mindstorms
    In: ACM SIGBED Review, Jg. 14, 2017, Nr. 1, S. 61 – 70
    DOI
  • Liebrenz, Timm; Klös, Verena; Herber, Paula
    Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC
    In: ACM SIGAda Ada Letters, Jg. 36, 2017, Nr. 2, S. 9 – 17
    DOI
  • Herber, Paula; Glesner, Sabine
    A HW/SW co-verification framework for SystemC
    In: ACM Transactions on Embedded Computing Systems (TECS), Jg. 12, 2013, Nr. 1s, S. 1 – 23
    DOI
  • Herber, Paula
    Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata
    In: Information Technology : it, Jg. 54, 2012, Nr. 6, S. 296 – 300
    DOI
  • Pockrandt, Marcel; Herber, Paula; Gross, Holger; Glesner, Sabine
    Optimized Transformation and Verification of SystemC Methods
    In: Electronic Communications of the EASST, Jg. 53, 2012
    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
  • Sydow, Stefan; Nabelsee, Mohannad; Parzyjegla, Helge; Herber, Paula
    A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing
    In: 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing: Proceedings / 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing : PDP 2018 : Cambridge, United Kingdom, 21-23 March 2018. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2018, S. 239 – 243
    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
  • Schlesinger, Sebastian; Herber, Paula; Gothel, Thomas; Glesner, Sabine
    Equivalence Checking for Hybrid Control Systems Modelled in Simulink
    In: 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security companion: Proceedings / 18th International Conference on Software Quality, Reliability, and Security companion : QRS-C 2018 : 16-20 July 2018, Lisbon, Portugal. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2018, S. 572 – 579
    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
  • Jaß, Lydia; Herber, Paula
    Bit-precise formal verification for SystemC using satisfiability modulo theories solving
    In: System Level Design from HW/SW to Memory for Embedded Systems: Proceedings / 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015 / Götz, Marcelo; Schirner, Gunar; Wehrmeister, Marco Aurélio (Hrsg.). Cham: Springer, 2017, S. 51 – 63
    DOI (Open Access)
  • Schlesinger, Sebastian; Herber, Paula; Göthel, Thomas; Glesner, Sabine
    Proving correctness of refactorings for hybrid simulink models with control flow
    In: Cyber Physical Systems. Design, Modeling, and Evaluation: Revised Selected Papers / 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 / Berger, Christian; Mousavi, Mohammad Reza; Wisniewski, Rafael (Hrsg.). Cham: Springer Verlag, 2017, S. 71 – 86
    DOI
  • Fellmuth, Joachim; Herber, Paula; Pfeffer, Tobias F.; Glesner, Sabine
    Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity
    In: 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing/2017 IEEE 15th International Conference on Pervasive Intelligence and Computing/2017 IEEE 3rd International Conference on Big Data Intelligence and Computing/2017 IEEE Cyber Science and Technology Congress: Proceedings / 15th International Conference on Dependable, Autonomic and Secure Computing/2017 IEEE 15th International Conference on Pervasive Intelligence and Computing/2017 IEEE 3rd International Conference on Big Data Intelligence and Computing/2017 IEEE Cyber Science and Technology Congress : DASC-PICom-DataCom-CyberSciTec 2017 : 6-11 November 2017, Orlando, Florida. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2017, S. 454 – 461
    DOI
  • Mikulcak, Marcus; Herber, Paula; Göthel, Thomas; Glesner, Sabine
    Timed path conditions in MATLAB/Simulink
    In: System Level Design from HW/SW to Memory for Embedded Systems: Proceedings / 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015 / Götz, Marcelo; Schirner, Gunar; Wehrmeister, Marco Aurélio; Al Faruque, Mohammad Abdullah; Rettberg, Achim (Hrsg.). Cham: Springer New York LLC, 2017, S. 64 – 76
    DOI (Open Access)
  • Liebrenz, Timm; Herber, Paula; Göthel, Thomas; Glesner, Sabine
    Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink
    In: 2017 IEEE 41st Annual Computer Software and Applications Conference: Proceedings / 41st Annual Computer Software and Applications Conference : 4-8 July 2017, Torino, Italy. Piscataway: IEEE Computer Society, 2017, S. 469 – 474
    DOI
  • Pfeffer, Tobias F.; Sydow, Stefan; Fellmuth, Joachim; Herber, Paula
    Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking
    In: 2016 IEEE International Conference on Software Quality, Reliability and Security - QRS 2016: Proceedings / IEEE International Conference on Software Quality, Reliability and Security - QRS 2016 : 1-3 August 2016, Vienna, Austria. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2016, S. 230 – 241
    DOI
  • Schlesinger, Sebastian; Herber, Paula; Göthel, Thomas; Glesner, Sabine
    Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models
    In: ICONS 2016: the Eleventh International Conference on Systems / ICONS 2016 : the Eleventh International Conference on Systems : EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications : February 21-25, 2016, Lisbon, Portugal. Wilmington: IARIA, 2016, S. 45 – 50
    Online Volltext (Open Access)
  • Mikulcak, M.; Göthel, T.; Herber, Paula; Glesner, S.
    Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models
    In: Informatik 2016 - Tagung vom 26.-30. September 2016 in Klagenfurt / Informatik 2016 - Tagung vom 26.-30. September 2016 in Klagenfurt / Mayr, Heinrich Christian (Hrsg.). Bonn: Gesellschaft für Informatik e.V, 2016
  • Herber, Paula; Pockrandt, Marcel; Glesner, Sabine
    STATE : A SystemC to Timed Automata Transformation Engine
    In: 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems / 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems : 24-26 August 2015, New York, New York. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2015, 7336311
    DOI
  • Schlesinger, Sebastian; Herber, Paula; Göthel, Thomas; Glesner, Sabine
    Towards the Verification of Refactorings of Hybrid Simulink Models
    In: Proceedings of the Third International Workshop on Verification and Program Transformation: Open Publishing Association, 2015, S. 69 – 69
    DOI
  • Herber, Paula; Glesner, Sabine
    Verification of embedded real-time systems
    In: Formal Modeling and Verification of Cyber-Physical Systems / 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / Drechsler, Rolf; Kühne, Ulrich (Hrsg.). Wiesbaden: Springer Fachmedien, 2015, S. 1 – 25
    DOI
  • Pfeffer, Tobias F.; Herber, Paula; Schneider, Jörg
    Reverse engineering of ARM binaries using formal transformations
    In: Proceedings of the 7th International Conference on Security of Information and Networks / SIN '14: The 7th International Conference on Security of Information and Networks, Glasgow, Scotland, UK September 9 - 11, 2014. New York: Association for Computing Machinery, 2014, S. 345 – 350
    DOI
  • Herber, Paula
    The RESCUE Approach : Towards compositional hardware/software co-verification
    In: 2014 IEEE Intl. Conf. on 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) / Intl. Conf. on 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) : 20 - 22 Aug. 2014, Paris, France. Piscataway: Institute of Electrical and Electronics Engineers Inc., 2014, S. 721 – 724
    DOI
  • Herber, Paula; Reicherdt, Robert; Bittner, Patrick
    Bit-precise formal verification of discrete-time MATLAB/Simulink models using SMT solving
    In: Proceedings of the International Conference on Embedded Software, EMSOFT 2013 / International Conference on Embedded Software (EMSOFT), 29 September 2013 - 04 October 2013, Montreal, QC, Canada. Piscataway: IEEE Computer Society, 2013, 6658586
    DOI
  • Pockrandt, Marcel; Herber, Paula; Klös, Verena; Glesner, Sabine
    Model checking memory-related properties of hardware/software co-designs
    In: Embedded Systems: Design, Analysis and Verification: Proceedings / 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013 / Schirner, Gunar; Götz, Marcelo; Rettberg, Achim (Hrsg.). Berlin: Springer New York LLC, 2013, S. 92 – 103
    DOI (Open Access)

    • 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

    • Vorträge

  • Herber, Paula; Hünnemeyer, B.
    Formal Verification of SystemC Designs using the BLAST Software Model Checker
    17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), September 28 to October 3, 2014, in Valencia, Spain,
    2014
  • Pockrandt, M.; Herber, Paula; Glesner, S.
    Towards a Formal Semantics of the SystemC-TLM Core Interfaces
    23. GI/GMM/ITG-Workshop „Testmethoden und Zuverlässigkeit von Schaltungen und Systemen“ (TuZ 2011), 27. Februar bis 1. März 2011 im Hotel Weisser Hase in Passau,
    Passau, 2011