Publications

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

Continue reading