Concepedia

Normann Decker

ND

6

Publications

190

Citations

6

H-Index

2012

Active since

Affiliations

University of Lübeck(Current)

Centre National de la Recherche Scientifique

Normann Decker is an author at University of Lübeck specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsSystem SoftwareSoftware TestingFormal VerificationComputer EngineeringComputer Architecture

Publications per year

2012–2018

6

Publications

6

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

Monitoring modulo theories

Normann Decker, Martin Leucker, Daniel Thoma · International Journal on Software Tools for Technology Transfer · 2015 · 49 citations

Modulo Theories, Engineering, Computational Number Theory +4

Online analysis of debug trace data for embedded systems

Normann Decker, Boris Dreyer, Philip Gottschling et al. · 2018 · 26 citations

Engineering, Computer Architecture, Software Engineering +23

Frequency Linear-time Temporal Logic

Benedikt Bollig, Normann Decker, Martin Leucker · 2012 · 21 citations

Formal Specification, Engineering, Automated Reasoning +13

ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface

Anke Fähnrich, Moritz Krebbel, Normann Decker et al. · BMC Bioinformatics · 2017 · 18 citations · Full text

Rows per page

1–5 of 6