Paula Herber

University of Münster, University of Potsdam

Papers

5

Total Citations

32

H-Index

3

About

No biography available yet.

Research Focus

Computer science5 · 32 citations
Programming language5 · 32 citations
Formal verification2 · 23 citations
Distributed computing2 · 23 citations
Artificial intelligence3 · 23 citations
Model checking2 · 23 citations
Machine learning2 · 20 citations
Component (thermodynamics)1 · 16 citations
Flexibility (engineering)1 · 16 citations
Factory (object-oriented programming)1 · 16 citations
Hybrid system1 · 16 citations
Reinforcement learning1 · 16 citations

Key Achievements

3
H-Index
5
Papers
32
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
16 citations · 2021
📈 Most Prolific Year: 2024 (2 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: University of Münster, University of Potsdam

Top Papers

  1. 1
    Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning Toolbox
    16 citations · 2021
  2. 2
    Reusable formal models for concurrency and communication in custom real-time operating systems
    7 citations · 2024
  3. 3
    A multi-robot search using LEGO mindstorms
    4 citations · 2017
  4. 4
    Automated Verification of Embedded Control Software
    3 citations · 2020
  5. 5
    Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems
    2 citations · 2024

Key Collaborators

JAJulius Adelt3 shared papersTLTimm Liebrenz1 shared papersRMRobert Mensing1 shared papersVKVerena Klös1 shared papersDGDilian Gurov1 shared papersISIna Schaefer1 shared papersJGJulian Gebker1 shared papers
Not generated yet