Daniel Thoma

According to our database, Daniel Thoma authored at least 24 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab.

Daniel Thoma, Martin Sachenbacher, Martin Leucker, Aliyu Tanko Ali

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

2022

TeSSLa - An Ecosystem for Runtime Verification.

Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Verification of AUTOSAR Timing Extensions.

Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Aggregate Update Problem for Multi-clocked Dataflow Languages.

Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

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, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang

Int. J. Softw. Tools Technol. Transf., 2019

Non-Intrusive MC/DC Measurement Based on Traces.

Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Runtime Verification for Timed Event Streams with Partial Information.

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Runtime Verification - 19th International Conference, 2019

Test und Fehlersuche in komplexen Autonomen Systemen.

Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma

Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019

2018

Monitoring Events that Carry Data.

Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

TeSSLa: Temporal Stream-Based Specification Language.

Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.

Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss

Proceedings of the Runtime Verification - 18th International Conference, 2018

2017

Monitoring as a service for networked medical cyber-physical systems.

Franziska Kühn, Daniel Thoma, Dennis Labitzke, Stefan Fischer

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

Model-Checking Counting Temporal Logics on Flat Structures.

Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Monitoring modulo theories.

Normann Decker, Martin Leucker, Daniel Thoma

Int. J. Softw. Tools Technol. Transf., 2016

Runtime Monitoring with Union-Find Structures.

Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

On Freeze LTL with Ordered Attributes.

Normann Decker, Daniel Thoma

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

Second International Competition on Runtime Verification CRV 2015.

Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma

Proceedings of the Runtime Verification - 6th International Conference, 2015

2014

Runtime Verification of Web Services for Interconnected Medical Devices.

Normann Decker, Franziska Kühn, Daniel Thoma

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Ordered Navigation on Multi-attributed Data Words.

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Learning Transparent Data Automata.

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties.

Normann Decker, Martin Leucker, Daniel Thoma

Proceedings of the Runtime Verification - 4th International Conference, 2013

jUnit^RV-Adding Runtime Verification to jUnit.

Normann Decker, Martin Leucker, Daniel Thoma

Proceedings of the NASA Formal Methods, 2013

2012

A Formal Approach to Software Product Families.

Martin Leucker, Daniel Thoma

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2009

<i>Don't Know</i> for Multi-valued Systems.

Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma

Proceedings of the Automated Technology for Verification and Analysis, 2009