CUFinder

Torben Scheffel

About Torben Scheffel

Torben Scheffel, With an exceptional h-index of 8 and a recent h-index of 8 (since 2020), a distinguished researcher at Universität zu Lübeck, specializes in the field of Runtime Verification, Automata Theory, Temporal Logic, Complexity Theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

Anticipatory recurrent monitoring with uncertainty and assumptions

Aggregate update problem for multi-clocked dataflow languages

Runtime verification of real-time event streams under non-synchronized arrival

Empowering Multilevel DSMLs with Integrated Runtime Verification

Torben Scheffel Information

University

Position

___

Citations(all)

350

Citations(since 2020)

279

Cited By

179

hIndex(all)

8

hIndex(since 2020)

8

i10Index(all)

8

i10Index(since 2020)

8

Email

University Profile Page

Google Scholar

Torben Scheffel Skills & Research Interests

Runtime Verification

Automata Theory

Temporal Logic

Complexity Theory

Top articles of Torben Scheffel

Anticipatory recurrent monitoring with uncertainty and assumptions

2022/9/23

Martin Leucker
Martin Leucker

H-Index: 24

César Sánchez
César Sánchez

H-Index: 4

Torben Scheffel
Torben Scheffel

H-Index: 7

Aggregate update problem for multi-clocked dataflow languages

2022/4/2

Martin Leucker
Martin Leucker

H-Index: 24

Torben Scheffel
Torben Scheffel

H-Index: 7

Runtime verification of real-time event streams under non-synchronized arrival

Software Quality Journal

2020/6

Martin Leucker
Martin Leucker

H-Index: 24

César Sánchez
César Sánchez

H-Index: 4

Torben Scheffel
Torben Scheffel

H-Index: 7

Alexander Schramm
Alexander Schramm

H-Index: 3

Empowering Multilevel DSMLs with Integrated Runtime Verification

arXiv preprint arXiv:2005.11366

2020/5/22

Torben Scheffel
Torben Scheffel

H-Index: 7

See List of Professors in Torben Scheffel University(Universität zu Lübeck)