Publications
2024
Caldeira, Manuel, Kallwies Hannes, Leucker Martin, and Thoma Daniel
Adding State to Stream Runtime Verification. 24th International Conference on Runtime Verification. 15191 2024.
Hipler, Raik, Kallwies Hannes, Leucker Martin, and Sánchez César
General Anticipatory Runtime Verification. 36th International Conference on Computer Aided Verification (CAV). 2024.
Requeno, José, Gómez-Martínez Elena, Kallwies Hannes, Haustein Melanie, Leucker Martin, Stolz Volker, and Stünkel Patrick
Runtime Verification of Timed Petri Nets. International Workshop on Petri Nets and Software Engineering (PNSE). 2024.
Kallwies, Hannes
Synchronous stream runtime verification with uncertainties and assumptions. Univeristy of Lübeck. Doctoral Thesis :xv,231pages. 2024.
2023
Kallwies, Hannes, Leucker Martin, and Sánchez César
General Anticipatory Monitoring for Temporal Logics on Finite Traces. 23rd International Conference on Runtime Verification (RV). 2023.
Begemann, Marian Johannes, Kallwies Hannes, Leucker Martin, and Schmitz Malte
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. 20th International Colloquium on Theoretical Aspects of Computing (ICTAC). 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.
Kallwies, Hannes, Leucker Martin, Sánchez César, and Scheffel Torben
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. 22nd International Conference on Runtime Verification (RV). 2022.
Kallwies, Hannes, Leucker Martin, Prilop Meiko, and Schmitz Malte
Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes. International Symposium on Theoretical Aspects of Software Engineering (TASE). 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, and Sánchez César
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. 20th Automated Technology for Verification and Analysis (ATVA). 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.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Marc Bätje
- Moritz Bayerkuhnlein
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Enno Friedl
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Complete List
- Open Positions