Daniel Thoma

31 papers A 4B 10C 1Misc 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
TwinLang - A Digital Twin Modelling and Management Language.
MODELS-C
Martin Leucker, Daniel Thoma, Lars Bernd Vosteen
2024 B conf
Adding State to Stream Runtime Verification.
RV
Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma
2023 — conf
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab.
FMDT@FM
Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali
2022 A conf
Aggregate Update Problem for Multi-clocked Dataflow Languages.
CGO
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2022 Misc conf
Runtime Verification of AUTOSAR Timing Extensions.
RTNS
Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma
2022 B conf
TeSSLa - An Ecosystem for Runtime Verification.
RV
Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss
2019 J jnl
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf.
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
2019 Misc conf
Non-Intrusive MC/DC Measurement Based on Traces.
TASE
Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
2019 J jnl
Runtime Verification For Timed Event Streams With Partial Information.
CoRR
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
2019 B conf
Runtime Verification for Timed Event Streams with Partial Information.
RV
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
2019 — conf
Test und Fehlersuche in komplexen Autonomen Systemen.
Echtzeit
Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
2018 B conf
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.
RV
Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
2018 — ch.
Monitoring Events that Carry Data.
Lectures on Runtime Verification
Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu
2018 — conf
TeSSLa: Temporal Stream-Based Specification Language.
SBMF
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2018 J jnl
TeSSLa: Temporal Stream-based Specification Language.
CoRR
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2017 B conf
Model-Checking Counting Temporal Logics on Flat Structures.
CONCUR
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017 J jnl
Model-checking Counting Temporal Logics on Flat Structures.
CoRR
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017 C conf
Monitoring as a service for networked medical cyber-physical systems.
IECON
Franziska Kühn, Daniel Thoma, Dennis Labitzke, Stefan Fischer
2016 J jnl
Monitoring modulo theories.
Int. J. Softw. Tools Technol. Transf.
Normann Decker, Martin Leucker, Daniel Thoma
2016 B conf
On Freeze LTL with Ordered Attributes.
FoSSaCS
Normann Decker, Daniel Thoma
2016 A conf
Runtime Monitoring with Union-Find Structures.
TACAS
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
2015 J jnl
On Freeze LTL with Ordered Attributes.
CoRR
Normann Decker, Daniel Thoma
2015 B conf
Second International Competition on Runtime Verification CRV 2015.
RV
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
2014 B conf
Learning Transparent Data Automata.
Petri Nets
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 A conf
Monitoring Modulo Theories.
TACAS
Normann Decker, Martin Leucker, Daniel Thoma
2014 B conf
Ordered Navigation on Multi-attributed Data Words.
CONCUR
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 J jnl
Ordered Navigation on Multi-attributed Data Words.
CoRR
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 A conf
Runtime Verification of Web Services for Interconnected Medical Devices.
ISSRE
Normann Decker, Franziska Kühn, Daniel Thoma
2013 B conf
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties.
RV
Normann Decker, Martin Leucker, Daniel Thoma
2013 — conf
jUnit
NASA Formal Methods
Normann Decker, Martin Leucker, Daniel Thoma
2012 — conf
A Formal Approach to Software Product Families.
ISoLA (1)
Martin Leucker, Daniel Thoma