Normann Decker

According to our database, Normann Decker authored at least 17 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Model checking for flat systems and temporal logic with counting.

Normann Decker

PhD thesis, 2021

2020

Erratum to "Frequency Linear-time Temporal Logic".

Benedikt Bollig, Normann Decker, Martin Leucker

CoRR, 2020

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, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang

Int. J. Softw. Tools Technol. Transf., 2019

Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.

Normann Decker, Anton Pirogov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

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

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

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

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Model-Checking Counting Temporal Logics on Flat Structures.

Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Monitoring modulo theories.

Normann Decker, Martin Leucker, Daniel Thoma

Int. J. Softw. Tools Technol. Transf., 2016

Runtime Monitoring with Union-Find Structures.

Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

On Freeze LTL with Ordered Attributes.

Normann Decker, Daniel Thoma

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2014

Runtime Verification of Web Services for Interconnected Medical Devices.

Normann Decker, Franziska Kühn, Daniel Thoma

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Ordered Navigation on Multi-attributed Data Words.

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Learning Transparent Data Automata.

Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties.

Normann Decker, Martin Leucker, Daniel Thoma

Proceedings of the Runtime Verification - 4th International Conference, 2013

jUnit^RV-Adding Runtime Verification to jUnit.

Normann Decker, Martin Leucker, Daniel Thoma

Proceedings of the NASA Formal Methods, 2013

2012

Frequency Linear-time Temporal Logic.

Benedikt Bollig, Normann Decker, Martin Leucker

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012