Torben Scheffel

Torben Scheffel

Universität zu Lubeck - Lübeck / Germany
Others
AD Scientific Index ID: 4582461
University of Lübeck
person_outline Torben Scheffel's MOST POPULAR ARTICLES
1-) TeSSLa: temporal stream-based specification languageL Convent, S Hungerecker, M Leucker, T Scheffel, M Schmitz, D ThomaBrazilian Symposium on Formal Methods, 144-162, 2018692018
2-) TeSSLa: runtime verification of non-synchronized real-time streamsM Leucker, C Sánchez, T Scheffel, M Schmitz, A SchrammProceedings of the 33rd Annual ACM Symposium on Applied Computing, 1925-1933, 2018502018
3-) Online analysis of debug trace data for embedded systemsN Decker, B Dreyer, P Gottschling, C Hochberger, A Lange, M Leucker, ...2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 851-856, 2018402018
4-) Three-valued asynchronous distributed runtime verificationT Scheffel, M Schmitz2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014402014
5-) Rapidly adjustable non-intrusive online monitoring for multi-core systemsN Decker, P Gottschling, C Hochberger, M Leucker, T Scheffel, M Schmitz, ...Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017372017