Publications

2017
Fähnrich, Anke, Krebbel Moritz, Decker Normann, Leucker Martin, Lange Felix D., Kalies Kathrin, and Möller Steffen ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface. BMC Bioinformatics. 18 :164. 2017.  
Decker, Normann, Habermehl Peter, Leucker Martin, Sangnier Arnaud, and Thoma Daniel Model-Checking Counting Temporal Logics on Flat Structures. 28th International Conference on Concurrency Theory (CONCUR 2017). Leibniz International Proceedings in Informatics (LIPIcs) 85 2017.  
Decker, Normann, Gottschling Philip, Hochberger Christian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Weiss Alexander Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. 20th Brazilian Symposium on Formal Methods (SBMF). LNCS 2017.  
2016
Decker, Normann, and Thoma Daniel On Freeze LTL with Ordered Attributes. FoSSaCS. LNCS 2016.  
Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring modulo theories. International Journal on Software Tools for Technology Transfer. 18(2):205-225. 2016.  
Decker, Normann, Harder Jannis, Scheffel Torben, Schmitz Malte, and Thoma Daniel Runtime Monitoring with Union-Find Structures. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. LNCS, 2016.  
2014
Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Learning Transparent Data Automata. Application and Theory of Petri Nets and Concurrency, International Conference, PETRI NETS 2014. LNCS 8489 2014.  
Decker, Normann, Leucker Martin, and Thoma Daniel Monitoring Modulo Theories. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. LNCS 8413 2014.  
Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. Concurrency Theory - 25th International Conference, CONCUR 2014. LNCS 8704 2014.  
Decker, Normann, Habermehl Peter, Leucker Martin, and Thoma Daniel Ordered Navigation on Multi-attributed Data Words. CoRR. abs/1404.6064 2014.  
Decker, Normann, Kühn Franziska, and Thoma Daniel Runtime Verification of Web Services for Interconnected Medical Devices. 25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014. 2014.  
2013
Decker, Normann, Leucker Martin, and Thoma Daniel Impartiality and Anticipation for Monitoring of Visibly Context-free Properties. Runtime Verification 2013. Lecture Notes in Computer Science 8174, pp. 183--200 2013.  
Decker, Normann, Leucker Martin, and Thoma Daniel jUnitRV - Adding Runtime Verification to jUnit. NASA Formal Methods. LNCS 7871 2013.  
2012
Benedikt Bollig, Decker Normann, and Leucker Martin Frequency Linear-time Temporal Logic. Sixth IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2012). 2012.