Malte Schmitz

University of Lübeck

Papers

2

Total Citations

30

H-Index

2

About

No biography available yet.

Research Focus

Programming language2 · 30 citations
Runtime verification2 · 30 citations
Model checking2 · 30 citations
Computer science2 · 30 citations
Distributed computing2 · 30 citations
Embedded system2 · 30 citations
Formal verification2 · 30 citations
Real-time computing2 · 30 citations
Asynchronous communication1 · 25 citations
Computer network1 · 25 citations
Linear temporal logic1 · 25 citations
Temporal logic1 · 25 citations

Key Achievements

2
H-Index
2
Papers
30
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
Three-valued asynchronous distributed runtime verification
25 citations · 2014
📈 Most Prolific Year: 2014 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Lübeck

Top Papers

  1. 1
    Three-valued asynchronous distributed runtime verification
    25 citations · 2014
  2. 2
    TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems
    5 citations · 2023

Key Collaborators

TSTorben Scheffel1 shared papersMJMarian Johannes Begemann1 shared papersMLMartin Leucker1 shared papersHKHannes Kallwies1 shared papers
Not generated yet