Publications

2018
Convent, Lukas, Hungerecker Sebastian, Scheffel Torben, Schmitz Malte, Thoma Daniel, and Weiss Alexander Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. Runtime Verification. Lecture Notes in Computer Science 11237 2018.  
Decker, Normann, Dreyer Boris, Gottschling Philip, Hochberger Christian, Lange Alexander, Leucker Martin, Scheffel Torben, Wegener Simon, and Weiss Alexander Online Analysis of Debug Trace Data for Embedded Systems. Design, Automation & Test in Europe Conference (DATE). 2018.  
Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. ACM Symposium on Applied Computing (SAC). 2018.  
Convent, Lukas, Hungerecker Sebastian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel TeSSLa: Temporal Stream-Based Specification Language. Brazilian Symposium on Formal Methods SBMF. Lecture Notes in Computer Science 11254 2018.  
2017
Decker, Normann, Gottschling Philip, Hochberger Christian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Weiss Alexander Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. 20th Brazilian Symposium on Formal Methods (SBMF). LNCS 2017.  
Scheffel, Torben, Hungerecker Sebastian, Leucker Martin, Schmitz Malte, and Thoma Daniel TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams. Report from Dagstuhl Seminar. Vol. 7, Issue 11, pp. 59–85 2017.  
2016
Macias, Fernando, Scheffel Torben, Schmitz Malte, Wang Rui, Leucker Martin, Rutle Adrian, and Stolz Volker Integration of Runtime Verification into Metamodeling. Nordic Workshop on Programming Theory (NWPT). 2016.  
Macias, Fernando, Scheffel Torben, Schmitz Malte, and Wang Rui Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). Runtime Verification. Lecture Notes in Computer Science 10012 2016.  
Decker, Normann, Harder Jannis, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Monitoring with Union-Find Structures. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. LNCS, 2016.  
2014
Scheffel, Torben, and Schmitz Malte Three-Valued Asynchronous Distributed Runtime Verification. International Conference on Formal Methods and Models for System Design (MEMOCODE). 12 2014.