Torben Scheffel
staff
- (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
- 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
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
Projects
Publications
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.
Courses: