Torben Scheffel


Scientific Staff
E-mail: scheffel [at]
Institut für Softwaretechnik und Programmiersprachen
Universität zu Lübeck
Ratzeburger Allee 160
23562 Lübeck
Phone: +49 451 3101 6514
Room: 41, first floor in building 64

Fields of interest

  • (Temporal-) Logic
  • Automata theory
  • Computational complexity theory
  • Formal methods
  • System specification
  • Runtime verification and reflection



  • Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz and Daniel Thoma: TeSSLa: Temporal Stream-based Specification Language. In: Brazilian Symposium on Formal Methods (SBMF), 2018, LNCS, Springer.
  • António Casimiro, Felix Dino Lange, Martin Leucker, José Rufino, Torben Scheffel, Malte Schmitz and Daniel Thoma: Non-intrusive Runtime Verification within a System-on-Chip. In: RUME, 2018, AUJ
  • Martin Leucker, Cesar Sánchez, Torben Scheffel, Malte Schmitz and Alexander Schramm: TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. In: ACM Symposium on Applied Computing (SAC), 2018, ACM
  • Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener and Alexander Weiss: Online Analysis of Debug Trace Data for Embedded Systems. In: Design, Automation & Test in Europe Conference (DATE), 2018, IEEE
  • Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, and Alexander Weiss: Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. In: Brazilian Symposium on Formal Methods (SBMF), 2017, LNCS, Springer.
  • Fernando Macias, Torben Scheffel, Malte Schmitz, Rui Wang: Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). In: Runtime Verification (RV), 2016, LNCS, Springer.
  • Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma: Runtime Monitoring with Union-Find Structures. In Marsha Chechik, Jean-François Raskin (Eds.): International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016, LNCS, Springer.
  • Torben Scheffel, Malte Schmitz: Three-Valued Asynchronous Distributed Runtime Verification, In: International Conference on Formal Methods and Models for System Design (MEMOCODE), 2014, IEEE

Assisted theses

Further information

I wrote my bachelor thesis on the Transformation of Parity Automata into Büchi-Automata and my master thesis on Logics in distributed Runtime Verification.