Daniel Thoma

According to our database1, Daniel Thoma authored at least 20 papers between 2009 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019

Non-Intrusive MC/DC Measurement Based on Traces.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Runtime Verification for Timed Event Streams with Partial Information.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Test und Fehlersuche in komplexen Autonomen Systemen.
Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019

Monitoring Events that Carry Data.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

TeSSLa: Temporal Stream-Based Specification Language.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Monitoring as a service for networked medical cyber-physical systems.
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.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Monitoring modulo theories.
Int. J. Softw. Tools Technol. Transf., 2016

Runtime Monitoring with Union-Find Structures.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

On Freeze LTL with Ordered Attributes.
Proceedings of the Foundations of Software Science and Computation Structures, 2016

Second International Competition on Runtime Verification CRV 2015.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Runtime Verification of Web Services for Interconnected Medical Devices.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Ordered Navigation on Multi-attributed Data Words.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Learning Transparent Data Automata.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties.
Proceedings of the Runtime Verification - 4th International Conference, 2013

jUnit<sup>RV</sup>-Adding Runtime Verification to jUnit.
Proceedings of the NASA Formal Methods, 2013

A Formal Approach to Software Product Families.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

<i>Don't Know</i> for Multi-valued Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2009