Normann Decker

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 13

Top Topics

International Competition

Mazurkiewicz Traces

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Benedikt Bollig, Normann Decker, Martin Leucker
Erratum to "Frequency Linear-time Temporal Logic". CoRR (2020)
Normann Decker, Anton Pirogov
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. CoRR (2019)
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Normann Decker, Anton Pirogov
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. VMCAI (2019)
Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Online analysis of debug trace data for embedded systems. DATE (2018)
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
Model-checking Counting Temporal Logics on Flat Structures. CoRR (2017)
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
Model-Checking Counting Temporal Logics on Flat Structures. CONCUR (2017)
Anke Fähnrich, Moritz Krebbel, Normann Decker, Martin Leucker, Felix D. Lange, Kathrin Kalies, Steffen Möller
ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. BMC Bioinform. 18 (1) (2017)
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. SBMF (2017)
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Monitoring with Union-Find Structures. TACAS (2016)
Normann Decker, Daniel Thoma
On Freeze LTL with Ordered Attributes. FoSSaCS (2016)
Normann Decker, Martin Leucker, Daniel Thoma
Monitoring modulo theories. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Normann Decker, Daniel Thoma
On Freeze LTL with Ordered Attributes. CoRR (2015)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Learning Transparent Data Automata. Petri Nets (2014)
Normann Decker, Martin Leucker, Daniel Thoma
Monitoring Modulo Theories. TACAS (2014)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Ordered Navigation on Multi-attributed Data Words. CoRR (2014)
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
Ordered Navigation on Multi-attributed Data Words. CONCUR (2014)
Normann Decker, Franziska Kühn, Daniel Thoma
Runtime Verification of Web Services for Interconnected Medical Devices. ISSRE (2014)
Normann Decker, Martin Leucker, Daniel Thoma
-Adding Runtime Verification to jUnit. NASA Formal Methods (2013)
Normann Decker, Martin Leucker, Daniel Thoma
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. RV (2013)
Benedikt Bollig, Normann Decker, Martin Leucker
Frequency Linear-time Temporal Logic. TASE (2012)