According to our database1, Daniel Thoma authored at least 20 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018
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
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Foundations of Software Science and Computation Structures, 2016
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
Proceedings of the Runtime Verification - 4th International Conference, 2013
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2009