Daniel Thoma

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 18

Top Topics

Partial Information

International Competition

Specification Language

Mazurkiewicz Traces

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. FMDT@FM (2023)
Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss
TeSSLa - An Ecosystem for Runtime Verification. RV (2022)
Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma
Runtime Verification of AUTOSAR Timing Extensions. RTNS (2022)
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO (2022)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification For Timed Event Streams With Partial Information. CoRR (2019)
Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Non-Intrusive MC/DC Measurement Based on Traces. TASE (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit (2019)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification for Timed Event Streams with Partial Information. RV (2019)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-based Specification Language. CoRR (2018)
Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. RV (2018)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-Based Specification Language. SBMF (2018)
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
Model-checking Counting Temporal Logics on Flat Structures. CoRR (2017)
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
Model-Checking Counting Temporal Logics on Flat Structures. CONCUR (2017)
Franziska Kühn, Daniel Thoma, Dennis Labitzke, Stefan Fischer
Monitoring as a service for networked medical cyber-physical systems. IECON (2017)
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Monitoring with Union-Find Structures. TACAS (2016)
Normann Decker, Daniel Thoma
On Freeze LTL with Ordered Attributes. FoSSaCS (2016)
Normann Decker, Martin Leucker, Daniel Thoma
Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Normann Decker, Daniel Thoma
On Freeze LTL with Ordered Attributes. CoRR (2015)
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
Second International Competition on Runtime Verification CRV 2015. RV (2015)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Learning Transparent Data Automata. Petri Nets (2014)
Normann Decker, Martin Leucker, Daniel Thoma
Monitoring Modulo Theories. TACAS (2014)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Ordered Navigation on Multi-attributed Data Words. CoRR (2014)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Ordered Navigation on Multi-attributed Data Words. CONCUR (2014)
Normann Decker, Franziska Kühn, Daniel Thoma
Runtime Verification of Web Services for Interconnected Medical Devices. ISSRE (2014)
Normann Decker, Martin Leucker, Daniel Thoma
-Adding Runtime Verification to jUnit. NASA Formal Methods (2013)
Normann Decker, Martin Leucker, Daniel Thoma
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV (2013)
Martin Leucker, Daniel Thoma
A Formal Approach to Software Product Families. ISoLA (1) (2012)
Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma
for Multi-valued Systems. ATVA (2009)