Torben Scheffel
Papers
1
Total Citations
25
H-Index
1
About
No biography available yet.
Research Focus
Asynchronous communication1 · 25 citations
Computer network1 · 25 citations
Computer science1 · 25 citations
Distributed computing1 · 25 citations
Embedded system1 · 25 citations
Formal verification1 · 25 citations
Linear temporal logic1 · 25 citations
Model checking1 · 25 citations
Programming language1 · 25 citations
Real-time computing1 · 25 citations
Runtime verification1 · 25 citations
Temporal logic1 · 25 citations
Key Achievements
1
H-Index
1
Papers
25
Total Citations
25
Avg Citations/Paper
🏆 Most Cited Paper
Three-valued asynchronous distributed runtime verification
25 citations · 2014
📈 Most Prolific Year: 2014 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: University of Lübeck
Top Papers
- 1Three-valued asynchronous distributed runtime verification25 citations · 2014
Key Collaborators
Not generated yet