Publications

2023
Thoma, Daniel, Sachenbacher Martin, Leucker Martin, and Ali Aliyu Tanko A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab. Applications of Formal Methods and Digital Twins. 2023.  
2022
Kallwies, Hannes, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel Aggregate Update Problem for Multi-clocked Dataflow Languages. 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2022.  
Friese, Max Jonas, Kallwies Hannes, Leucker Martin, Sachenbacher Martin, Streichhahn Hendrik, and Thoma Daniel Runtime Verification of AUTOSAR Timing Extensions. 30th International Conference on Real-Time Networks and Systems (RTNS). 2022.  
Kallwies, Hannes, Leucker Martin, Schmitz Malte, Schulz Albert, Thoma Daniel, and Weiss Alexander TeSSLa – An Ecosystem for Runtime Verification. 22nd International Conference on Runtime Verification (RV). 2022.  
2019
Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Verification For Timed Event Streams With Partial Information. Runtime Verification (RV). 2019.  
Preusser, Thomas, Schulz Albert, Weiss Alexander, Heininger Martin, Leucker Martin, Schmitz Malte, Scheffel Torben, and Thoma Daniel Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit. 2019.  
2018
Convent, Lukas, Hungerecker Sebastian, Scheffel Torben, Schmitz Malte, Thoma Daniel, and Weiss Alexander Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. Runtime Verification. Lecture Notes in Computer Science 11237 2018.  
Jakšić, Svetlana, Schmitz Malte, Stolz Volker, and Thoma Daniel Static analysis for dynamic data race detection with TeSSLa. 30th Nordic Workshop on Programming Theory. Report Nr. 485 2018.  
Convent, Lukas, Hungerecker Sebastian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel TeSSLa: Temporal Stream-Based Specification Language. Brazilian Symposium on Formal Methods SBMF. Lecture Notes in Computer Science 11254 2018.  
2017
Decker, Normann, Habermehl Peter, Leucker Martin, Sangnier Arnaud, and Thoma Daniel Model-Checking Counting Temporal Logics on Flat Structures. 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs) 85 2017.  
Scheffel, Torben, Hungerecker Sebastian, Leucker Martin, Schmitz Malte, and Thoma Daniel TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams. Report from Dagstuhl Seminar. Vol. 7, Issue 11, pp. 59–85 2017.  
2016
Decker, Normann, and Thoma Daniel On Freeze LTL with Ordered Attributes. FoSSaCS. LNCS 2016.  
Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring modulo theories. International Journal on Software Tools for Technology Transfer. 18(2):205-225. 2016.  
Decker, Normann, Harder Jannis, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Monitoring with Union-Find Structures. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. LNCS, 2016.  
2014
Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Learning Transparent Data Automata. Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014. LNCS 8489 2014.  
Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring Modulo Theories. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. LNCS 8413 2014.  
Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. Concurrency Theory - 25th International Conference, CONCUR 2014. LNCS 8704 2014.  
Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. CoRR. abs/1404.6064 2014.  
Decker, Normann, Kühn Franziska, and Thoma Daniel Runtime Verification of Web Services for Interconnected Medical Devices. 25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014. 2014.  
2013
Decker, Normann, Leucker Martin, and Thoma Daniel Impartiality and Anticipation for Monitoring of Visibly Context-free Properties. Runtime Verification 2013. Lecture Notes in Computer Science 8174, pp. 183--200 2013.  
Decker, Normann, Leucker Martin, and Thoma Daniel jUnitRV - Adding Runtime Verification to jUnit. NASA Formal Methods. LNCS 7871 2013.  
2012
Leucker, Martin, and Thoma Daniel A Formal Approach to Software Product Families. ISoLA. Lecture Notes in Computer Science 7609 2012.  
2009
Campetelli, Alarico, Gruler Alexander, Leucker Martin, and Thoma Daniel Don't know for Multi-valued Systems. Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09). 5799 :289–305. 2009.