Daniel Thoma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
13
Active years
2009–2025
Best venue rank
B
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELS | TwinLang - A Digital Twin Modelling and Management Language. | Martin Leucker, Daniel Thoma, Lars Bernd Vosteen |
| 2024 | RV | Adding State to Stream Runtime Verification. | Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma |
| 2023 | FM | A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. | Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali |
| 2022 | CGO | Aggregate Update Problem for Multi-clocked Dataflow Languages. | Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2022 | RTNS | Runtime Verification of AUTOSAR Timing Extensions. | Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma |
| 2022 | RV | TeSSLa - An Ecosystem for Runtime Verification. | Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss |
| 2019 | RV | Runtime Verification for Timed Event Streams with Partial Information. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2019 | TASE | Non-Intrusive MC/DC Measurement Based on Traces. | Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma |
| 2018 | RV | Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. | Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss |
| 2017 | CONCUR | Model-Checking Counting Temporal Logics on Flat Structures. | Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma |
| 2017 | IECON | Monitoring as a service for networked medical cyber-physical systems. | Franziska Khn, Daniel Thoma, Dennis Labitzke, Stefan Fischer |
| 2016 | FOSSACS | On Freeze LTL with Ordered Attributes. | Normann Decker, Daniel Thoma |
| 2016 | TACAS | Runtime Monitoring with Union-Find Structures. | Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2015 | RV | Second International Competition on Runtime Verification CRV 2015. | Ylis Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma |
| 2014 | CONCUR | Ordered Navigation on Multi-attributed Data Words. | Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma |
| 2014 | ISSRE | Runtime Verification of Web Services for Interconnected Medical Devices. | Normann Decker, Franziska Khn, Daniel Thoma |
| 2014 | TACAS | Monitoring Modulo Theories. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2013 | RV | Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2012 | ISoLA | A Formal Approach to Software Product Families. | Martin Leucker, Daniel Thoma |
| 2009 | ATVA | Untitled record | Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma |