Torben Scheffel

staff

Scientific Staff

E-mail:	scheffel [at] isp.uni-luebeck.de
Address:	Institut für Softwaretechnik und Programmiersprachen Universität zu Lübeck Ratzeburger Allee 160 23562 Lübeck Germany
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

Projects

• ARAMiS II
• COEMS
• CONIRAS
• LEGO® meets RV
• LamaConv
• ZeLiM

Publications

• Martin Leucker, Cesar Sánchez, Torben Scheffel, Malte Schmitz and Alexander Schramm: Runtime Verication of Real-Time Event Streams under Non-synchronized Arrival. In: Software Quality Journal, Improving Software Quality through Formal Methods, 2019, Springer.
• Martin Leucker, Cesar Sánchez, Torben Scheffel, Malte Schmitz and Daniel Thoma: Runtime Verification For Timed Event Streams With Partial Information. In: Runtime Verification (RV), 2019, LNCS, Springer.
• Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel and Malte Schmitz: Empowering Multilevel DSMLs with Integrated Runtime Verification. In: VORTEX, 2019, LNCS, Springer.
• Thomas Preusser, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma: Test und Fehlersuche in komplexen Autonomen Systemen. In: Echtzeit, 2019, LNCS, Springer.
• Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss: Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. In: Runtime Verification (RV), 2018, LNCS, Springer.
• 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

• Runtime-Verification with a four-valued semantics for the Regular Linear Temporal Logic (Master thesis), Christofer Krüger, 2014
• From 2-Way Nondeterministic Büchi Automata to Alternating Büchi Automata (Bachelor thesis), Marco Kabelitz, 2015
• Minimization of symbolic nondeterministic Büchi automata (Master thesis), Johannes Thorn, 2015
• Conversion of 2-way alternating 3-parity automata to nondeterministic Büchi automata (Master thesis), Jan Gröschner, 2016
• Four-valued Timed-LTL semantics (Bachelor thesis), Marco Bierschenk, 2016
• Three-valued Timed LTL semantics (Master thesis), Dominik Huber, 2016
• Efficient emptiness-per-state test on Büchi automata (Bachelor thesis), Hannes Kallwies, 2016
• On the Expressive Power of Real-time Automata and Real-time Logics (Master thesis), Matthias Schiffer, 2018

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.