Skip to content
- Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss: https://www.isp.uni-luebeck.de/research/publications/rapidly-adjustable-non-intrusive-online-monitoring-multi-core-systems 20th Brazilian Symposium on Formal Methods (SBMF). LNCS 2017.
- Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma: https://www.isp.uni-luebeck.de/research/publications/model-checking-counting-temporal-logics-flat-structures 2017 Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
- Svetlana Jakšić, Martin Leucker, Dan Li, Volker Stolz: COEMS – open traces from the industry. RV-CuBES 2017: 96-105
- Svetlana Jakšić, Dan Li, Ka I Pun and Volker Stolz: Stream-based dynamic data race detection. NIK 2018.
- Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss: https://www.isp.uni-luebeck.de/research/publications/online-analysis-debug-trace-data-embedded-systems 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)
- Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm: https://www.isp.uni-luebeck.de/research/publications/tessla-runtime-verification-non-synchronized-real-time-streams ACM Symposium on Applied Computing (SAC) 2018.
- Faustin Ahishakiye, Felix D. Lange: Non-intrusive MC/DC measurement based on traces. PhD-iFM 2018
- Svetlana Jakšić, Malte Schmitz, Volker Stolz, and Daniel Thoma: Static analysis for dynamic data race detection with TeSSLa. NWPT 2018
- Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss: Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. RV 2018: 43-63
- Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-Based Specification Language. SBMF 2018: 144-162
- Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli: On Distributed Runtime Verification by Aggregate Computing. VORTEX 2018: 47-61.
- Faustin Ahishakiye, Volker Stolz, Svetlana Jakšić, Felix D. Lange, Malte Schmitz, Daniel Thoma: 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.
- Leucker, Martin, Sánchez César, Scheffel Torben, Schmitz Malte, and Schramm Alexander: Runtime Veri cation of Real-Time Event Streams under Non-synchronized Arrival. Software Quality Journal. 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.
- Thomas B. Preußer, Alexander Weiss: The CEDARtools Platform – Massive External Memory with High Bandwidth and Low Latency Under Fine-Granular Random Access Patterns. 29th International Conference on Field Programmable Logic and Applications (FPL), 2019
- Alexander Weiss, Thomas B. Preusser: Was nach den Modul-Tests kommt – Dynamische und strukturelle Tests auf höheren Ebenen. ESE Kongress 2019
- Thomas B. Preußer, Alexander Weiss: Conclusive On-the-fly Validation
of High-Level Functional Tests. Embedded World Conference 2020
- Albert Schulz, Alexander Weiss, Franz Münz: Debugging Complex Failures of Real-Time Multi-Core Systems. Embedded World Conference 2020
- Alexander Weiss, Max Jonas Friese, Stephan Grünfelder, Michael Paulitsch: Tracing von eingebetteten Multicore-Systemen. Hanser Automotive 3/2020
