Normann Decker
Former Employee
Recent Publications
Erratum to "Frequency Linear-time Temporal Logic"
CoRR, 2020
Benedikt Bollig and Normann Decker and Martin Leucker
Online analysis of debug trace data for embedded systems
2018 Design, Automation & Test in Europe Conference & Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, 2018
Normann Decker and Boris Dreyer and Philip Gottschling and Christian Hochberger and Alexander Lange and Martin Leucker and Torben Scheffel and Simon Wegener and Alexander Weiss
ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface
BMC Bioinform., 2017
Anke Fähnrich and Moritz Krebbel and Normann Decker and Martin Leucker and Felix D. Lange and Kathrin Kalies and Steffen Möller
Model-Checking Counting Temporal Logics on Flat Structures
28th International Conference on Concurrency Theory, CONCUR 2017, Berlin, Germany, September 5-8, 2017, 2017
Normann Decker and Peter Habermehl and Martin Leucker and Arnaud Sangnier and Daniel Thoma
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, 2017
Normann Decker and Philip Gottschling and Christian Hochberger and Martin Leucker and Torben Scheffel and Malte Schmitz and Alexander Weiss
Theses on Offer
Contact Information
decker@placeholder.isp.uni-luebeck.de
Address
N/A
Phone
N/A