Publications

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.  

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, Prilop Meiko, and Schmitz Malte Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes. International Symposium on Theoretical Aspects of Software Engineering (TASE). 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.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander Runtime Verification of Real-Time Event Streams under Non-synchronized Arrival. Software Quality Journal. 2020.  

Macias, Fernando, Rutle Adrian, Stolz Volker, Scheffel Torben, and Schmitz Malte Empowering Multilevel DSMLs with Integrated Runtime Verification. VORTEX. 2019.  

Ahishakiye, Faustin, Jakšić Svetlana, Lange Felix D., Schmitz Malte, Stolz Volker, and Thoma Daniel Non-intrusive MC/DC Measurement based on Traces. TASE. 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.  

Janß, Armin, Thorn Johannes, Schmitz Malte, Mildner Alexander, Dell’Anna-Pudlik Jasmin, Leucker Martin, and Radermacher Klaus Extended device profiles and testing procedures for the approval process of integrated medical devices using the IEEE 11073 communication standard. Biomedical Engineering / Biomedizinische Technik. 63(1):95–103. 2018.  

Rockstroh, Max, Franke Stefan, Dees Raluca, Merzweiler Angela, Schneider Gerd, Dingler Max, Dietz Christian, Pfeifer Jonas, Kühn Franziska, Schmitz Malte, et al. From SOMDA to application – integration strategies in the OR.NET demonstration sites. Biomedical Engineering / Biomedizinische Technik. 63(1):69–80. 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.  

Kasparick, Martin, Schmitz Malte, Andersen Björn, Rockstroh Max, Franke Stefan, Schlichting Stefan, Golatowski Frank, and Timmermann Dirk OR.NET: a service-oriented architecture for safe and dynamic medical device interoperability. Biomedical Engineering / Biomedizinische Technik. 63(1):11–33. 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.  

Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams. ACM Symposium on Applied Computing (SAC). 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.  

Decker, Normann, Gottschling Philip, Hochberger Christian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Weiss Alexander Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. 20th Brazilian Symposium on Formal Methods (SBMF). LNCS 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.  

Kasparick, Martin, Schmitz Malte, Golatowski Frank, and Timmermann Dirk Dynamic Remote Control through Service Orchestration of Point-of-Care and Surgical Devices based on IEEE 11073 SDC. IEEE-NIH 2016 Special Topics Conference on Healthcare Innovations and Point-of-Care Technologies, Cancun, Mexico. 2016.  

Macias, Fernando, Scheffel Torben, Schmitz Malte, Wang Rui, Leucker Martin, Rutle Adrian, and Stolz Volker Integration of Runtime Verification into Metamodeling. Nordic Workshop on Programming Theory (NWPT). 2016.  

Macias, Fernando, Scheffel Torben, Schmitz Malte, and Wang Rui Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). Runtime Verification. Lecture Notes in Computer Science 10012 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.  

Leucker, Martin, Schmitz Malte, and Tellinghusen Danilo à Runtime Verification for Interconnected Medical Devices. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {II}. Lecture Notes in Computer Science 9953 2016.  

Leucker, Martin, and Schmitz Malte Secured SOA for the Safe Interconnection of Medical Devices (Position Paper). Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.. CEUR-WS 1337 2015.  

Busshaus, Timm, Fischer Stefan, Kühn Franziska, Leucker Martin, Mildner Alexander, and Schmitz Malte Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente – Technologietransfer im CMSSE. Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany. LNI 239 2015.  

Scheffel, Torben, and Schmitz Malte Three-Valued Asynchronous Distributed Runtime Verification. International Conference on Formal Methods and Models for System Design (MEMOCODE). 12 2014.