Frequency Linear-time Temporal Logic. - Benedikt Bollig; Normann Decker; Martin Leucker (TASE, 2012)

jUnitRV-Adding Runtime Verification to jUnit. - Normann Decker; Martin Leucker; Daniel Thoma (NASA Formal Methods, 2013)

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. - Normann Decker; Martin Leucker; Daniel Thoma (RV, 2013)

Learning Transparent Data Automata. - Normann Decker; Peter Habermehl; Martin Leucker; Daniel Thoma (Petri Nets, 2014)

Ordered Navigation on Multi-attributed Data Words. - Normann Decker; Peter Habermehl; Martin Leucker; Daniel Thoma (CONCUR, 2014)

Runtime Verification of Web Services for Interconnected Medical Devices. - Normann Decker; Franziska Kühn; Daniel Thoma (ISSRE, 2014)

On Freeze LTL with Ordered Attributes. - Normann Decker; Daniel Thoma (FoSSaCS, 2016)

Runtime Monitoring with Union-Find Structures. - Normann Decker; Jannis Harder 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (TACAS, 2016)

Monitoring modulo theories. - Normann Decker; Martin Leucker; Daniel Thoma (Int. J. Softw. Tools Technol. Transf., 2016)

Model-Checking Counting Temporal Logics on Flat Structures. - Normann Decker; Peter Habermehl; Martin Leucker; Arnaud Sangnier; Daniel Thoma (CONCUR, 2017)

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. - Normann Decker; Philip Gottschling; Christian Hochberger; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Alexander Weiss (SBMF, 2017)

ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. - Anke Fähnrich; Moritz Krebbel; Normann Decker; Martin Leucker; Felix D. Lange; Kathrin Kalies; Steffen Möller (BMC Bioinform., 2017)

Online analysis of debug trace data for embedded systems. - Normann Decker; Boris Dreyer; Philip Gottschling; Christian Hochberger; Alexander Lange; Martin Leucker; Torben Scheffel; Simon Wegener; Alexander Weiss (DATE, 2018)

Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. - Normann Decker; Anton Pirogov (VMCAI, 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Erratum to "Frequency Linear-time Temporal Logic". - Benedikt Bollig; Normann Decker; Martin Leucker (CoRR, 2020)

Model checking for flat systems and temporal logic with counting. - Normann Decker (2021)