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.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Philipp Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Complete List
- Open Positions