Martin Leucker

University of Lübeck

Papers

1

Total Citations

5

H-Index

1

About

No biography available yet.

Research Focus

Bridge (graph theory)1 · 5 citations
Computer science1 · 5 citations
Distributed computing1 · 5 citations
Embedded system1 · 5 citations
Formal verification1 · 5 citations
Functional verification1 · 5 citations
Intelligent verification1 · 5 citations
Model checking1 · 5 citations
Programming language1 · 5 citations
Real-time computing1 · 5 citations
Runtime verification1 · 5 citations
Software1 · 5 citations

Key Achievements

1
H-Index
1
Papers
5
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems
5 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Lübeck

Top Papers

  1. 1
    TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems
    5 citations · 2023

Key Collaborators

MJMarian Johannes Begemann1 shared papersMSMalte Schmitz1 shared papersHKHannes Kallwies1 shared papers
Not generated yet