Normann Decker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2012–2019
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | VMCAI | Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. | Normann Decker, Anton Pirogov |
| 2018 | DATE | 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 |
| 2017 | CONCUR | Model-Checking Counting Temporal Logics on Flat Structures. | Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma |
| 2016 | FOSSACS | On Freeze LTL with Ordered Attributes. | Normann Decker, Daniel Thoma |
| 2016 | TACAS | Runtime Monitoring with Union-Find Structures. | Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2014 | CONCUR | Ordered Navigation on Multi-attributed Data Words. | Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma |
| 2014 | ISSRE | Runtime Verification of Web Services for Interconnected Medical Devices. | Normann Decker, Franziska Khn, Daniel Thoma |
| 2014 | TACAS | Monitoring Modulo Theories. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2013 | RV | Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. | Normann Decker, Martin Leucker, Daniel Thoma |
| 2012 | TASE | Frequency Linear-time Temporal Logic. | Benedikt Bollig, Normann Decker, Martin Leucker |