Daniel Thoma
Research Staff
Recent Publications
TwinLang - A Digital Twin Modelling and Management Language
28th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2025 - Companion, Grand Rapids, MI, USA, October 5-10, 2025, 2025
Martin Leucker and Daniel Thoma and Lars Bernd Vosteen
Adding State to Stream Runtime Verification
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings, 2024
Manuel Caldeira and Hannes Kallwies and Martin Leucker and Daniel Thoma
A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023, 2023
Daniel Thoma and Martin Sachenbacher and Martin Leucker and Aliyu Tanko Ali
Aggregate Update Problem for Multi-clocked Dataflow Languages
IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2022, Seoul, Korea, Republic of, April 2-6, 2022, 2022
Hannes Kallwies and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma
Runtime Verification of AUTOSAR Timing Extensions
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7 - 8, 2022, 2022
Max Jonas Friese and Hannes Kallwies and Martin Leucker and Martin Sachenbacher and Hendrik Streichhahn and Daniel Thoma
Theses on Offer
Contact Information
thoma@isp.uni-luebeck.de
Address
3. Floor, Building MFC II
Phone
+49 451 310 16510