Don't Know for Multi-valued Systems. - Alarico Campetelli; Alexander Gruler; Martin Leucker; Daniel Thoma (ATVA, 2009)

A Formal Approach to Software Product Families. - Martin Leucker; Daniel Thoma (ISoLA (1), 2012)

jUnitRV-Adding Runtime Verification to jUnit. - Normann Decker; Martin Leucker; Daniel Thoma (NASA Formal Methods, 2013)

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. - Normann Decker; Martin Leucker; Daniel Thoma (RV, 2013)

Learning Transparent Data Automata. - Normann Decker; Peter Habermehl; Martin Leucker; Daniel Thoma (Petri Nets, 2014)

Ordered Navigation on Multi-attributed Data Words. - Normann Decker; Peter Habermehl; Martin Leucker; Daniel Thoma (CONCUR, 2014)

Runtime Verification of Web Services for Interconnected Medical Devices. - Normann Decker; Franziska Kühn; Daniel Thoma (ISSRE, 2014)

Second International Competition on Runtime Verification CRV 2015. - Yliès Falcone; Dejan Nickovic; Giles Reger; Daniel Thoma (RV, 2015)

On Freeze LTL with Ordered Attributes. - Normann Decker; Daniel Thoma (FoSSaCS, 2016)

Runtime Monitoring with Union-Find Structures. - Normann Decker; Jannis Harder 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (TACAS, 2016)

Monitoring modulo theories. - Normann Decker; Martin Leucker; Daniel Thoma (Int. J. Softw. Tools Technol. Transf., 2016)

Model-Checking Counting Temporal Logics on Flat Structures. - Normann Decker; Peter Habermehl; Martin Leucker; Arnaud Sangnier; Daniel Thoma (CONCUR, 2017)

Monitoring as a service for networked medical cyber-physical systems. - Franziska Kühn; Daniel Thoma; Dennis Labitzke; Stefan Fischer 001 (IECON, 2017)

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. - Lukas Convent; Sebastian Hungerecker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma; Alexander Weiss (RV, 2018)

TeSSLa: Temporal Stream-Based Specification Language. - Lukas Convent; Sebastian Hungerecker; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (SBMF, 2018)

Monitoring Events that Carry Data. - Klaus Havelund; Giles Reger; Daniel Thoma; Eugen Zalinescu (Lectures on Runtime Verification, 2018)

Test und Fehlersuche in komplexen Autonomen Systemen. - Thomas Preußer; Albert Schulz; Alexander Weiss; Martin Heininger; Martin Leucker; Malte Schmitz 001; Torben Scheffel; Daniel Thoma (Echtzeit, 2019)

Runtime Verification for Timed Event Streams with Partial Information. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (RV, 2019)

Non-Intrusive MC/DC Measurement Based on Traces. - Faustin Ahishakiye; Svetlana Jaksic; Felix Dino Lange; Malte Schmitz 001; Volker Stolz; Daniel Thoma (TASE, 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Aggregate Update Problem for Multi-clocked Dataflow Languages. - Hannes Kallwies; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (CGO, 2022)

Runtime Verification of AUTOSAR Timing Extensions. - Max Jonas Friese; Hannes Kallwies; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Daniel Thoma (RTNS, 2022)

TeSSLa - An Ecosystem for Runtime Verification. - Hannes Kallwies; Martin Leucker; Malte Schmitz 001; Albert Schulz; Daniel Thoma; Alexander Weiss (RV, 2022)

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. - Daniel Thoma; Martin Sachenbacher; Martin Leucker; Aliyu Tanko Ali (FMDT@FM, 2023)

Adding State to Stream Runtime Verification. - Manuel Caldeira; Hannes Kallwies; Martin Leucker; Daniel Thoma (RV, 2024)