Torben Scheffel
Former Employee
Recent Publications
Aggregate Update Problem for Multi-clocked Dataflow Languages
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022, 2022
Hannes Kallwies and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, 2022
Hannes Kallwies and Martin Leucker and César Sánchez and Torben Scheffel
Runtime verification of real-time event streams under non-synchronized arrival
Softw. Qual. J., 2020
Martin Leucker and César Sánchez and Torben Scheffel and Malte Schmitz and Alexander Schramm
Test und Fehlersuche in komplexen Autonomen Systemen
Echtzeit 2019 - Autonome Systeme - 50 Jahre PEARL, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG,) Boppard, 21. und 22. November 2019, 2019
Thomas Preußer and Albert Schulz and Alexander Weiss and Martin Heininger and Martin Leucker and Malte Schmitz and Torben Scheffel and Daniel Thoma
Runtime Verification for Timed Event Streams with Partial Information
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, 2019
Martin Leucker and César Sánchez and Torben Scheffel and Malte Schmitz and Daniel Thoma
Theses on Offer
Contact Information
scheffel@placeholder.isp.uni-luebeck.de
Address
N/A
Phone
N/A