Publications

Kallwies, Hannes, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel Aggregate Update Problem for Multi-clocked Dataflow Languages. 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2022.  

Kallwies, Hannes, Leucker Martin, Sánchez César, and Scheffel Torben Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. 22nd International Conference on Runtime Verification (RV). 2022.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander Runtime Verification of Real-Time Event Streams under Non-synchronized Arrival. Software Quality Journal. 2020.  

Macias, Fernando, Rutle Adrian, Stolz Volker, Scheffel Torben, and Schmitz Malte Empowering Multilevel DSMLs with Integrated Runtime Verification. VORTEX. 2019.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Verification For Timed Event Streams With Partial Information. Runtime Verification (RV). 2019.  

Preusser, Thomas, Schulz Albert, Weiss Alexander, Heininger Martin, Leucker Martin, Schmitz Malte, Scheffel Torben, and Thoma Daniel Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit. 2019.  

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.  

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.  

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.  

Scheffel, Torben, and Schmitz Malte Three-Valued Asynchronous Distributed Runtime Verification. International Conference on Formal Methods and Models for System Design (MEMOCODE). 12 2014.