Normann Decker

22 papers A 4B 6Misc 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2021 — —
Model checking for flat systems and temporal logic with counting.
Normann Decker
2020 J jnl
Erratum to "Frequency Linear-time Temporal Logic".
CoRR
Benedikt Bollig, Normann Decker, Martin Leucker
2019 J jnl
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf.
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
2019 B conf
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.
VMCAI
Normann Decker, Anton Pirogov
2019 J jnl
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic.
CoRR
Normann Decker, Anton Pirogov
2018 A conf
Online analysis of debug trace data for embedded systems.
DATE
Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
2017 J jnl
ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface.
BMC Bioinform.
Anke Fähnrich, Moritz Krebbel, Normann Decker, Martin Leucker, Felix D. Lange, Kathrin Kalies, Steffen Möller
2017 B conf
Model-Checking Counting Temporal Logics on Flat Structures.
CONCUR
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017 J jnl
Model-checking Counting Temporal Logics on Flat Structures.
CoRR
Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma
2017 — conf
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.
SBMF
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
2016 J jnl
Monitoring modulo theories.
Int. J. Softw. Tools Technol. Transf.
Normann Decker, Martin Leucker, Daniel Thoma
2016 B conf
On Freeze LTL with Ordered Attributes.
FoSSaCS
Normann Decker, Daniel Thoma
2016 A conf
Runtime Monitoring with Union-Find Structures.
TACAS
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
2015 J jnl
On Freeze LTL with Ordered Attributes.
CoRR
Normann Decker, Daniel Thoma
2014 B conf
Learning Transparent Data Automata.
Petri Nets
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 A conf
Monitoring Modulo Theories.
TACAS
Normann Decker, Martin Leucker, Daniel Thoma
2014 B conf
Ordered Navigation on Multi-attributed Data Words.
CONCUR
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 J jnl
Ordered Navigation on Multi-attributed Data Words.
CoRR
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma
2014 A conf
Runtime Verification of Web Services for Interconnected Medical Devices.
ISSRE
Normann Decker, Franziska Kühn, Daniel Thoma
2013 B conf
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties.
RV
Normann Decker, Martin Leucker, Daniel Thoma
2013 — conf
jUnit
NASA Formal Methods
Normann Decker, Martin Leucker, Daniel Thoma
2012 Misc conf
Frequency Linear-time Temporal Logic.
TASE
Benedikt Bollig, Normann Decker, Martin Leucker