Torben Scheffel | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Cesar Sanchez
22 publications
Martin Leucker
7 publications
Volker Stolz
6 publications
Fernando Macías
4 publications
Malte Schmitz
3 publications
Adrian Rutle
3 publications
Daniel Thoma
2 publications
Lukas Convent
1 publication
Sebastian Hungerecker
1 publication

research

∙ 05/22/2020

Empowering Multilevel DSMLs with Integrated Runtime Verification

Within Model-Driven Software Engineering, Domain-Specific Modelling has ...

0 Fernando Macías, et al. ∙

research

∙ 07/10/2019

Runtime Verification For Timed Event Streams With Partial Information

Runtime Verification (RV) studies how to analyze execution traces of a s...

0 Martin Leucker, et al. ∙

research

∙ 08/31/2018

TeSSLa: Temporal Stream-based Specification Language

Runtime verification is concerned with monitoring program traces. In par...

0 Lukas Convent, et al. ∙