| 2025 | Impact and Performance of Randomized Test Generation Using Prolog GELDERIE, M., LUFF, M. and PELTZER, M. (2025) ‘Impact and Performance of Randomized Test Generation Using Prolog’, Theory and Practice of Logic Programming, 25(5), pp. 867–895. doi:10.1017/S1471068425100082. |
| 2025 | Impact of Spatial and Temporal Game Elements on Educational Games in IT-Security Dede, E. ; Wanner, T.; Gelderie, M.; In Proceedings of the 14th EAI International Conference, ArtsIT 2025, Dubai, United Arab Emirates, November 7-9 2025. |
| 2024 | Differential Privacy for Distributed Traffic Monitoring in Smart Cities (Full Version) Gelderie, M., Luff, M. and Brodschelm, L. This is an extended version with full proofs. Link Datei |
| 2024 | Impact and Performance of Randomized Test-Generation using Prolog Gelderie, M., Luff, M., Peltzer, M. (2024). In: Bowles, J., Søndergaard, H. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2024. Lecture Notes in Computer Science, vol 14919. Springer, Cham. https://doi.org/10.1007/978-3-031-71294-4_10 Datei |
| 2024 | Is attacking more fun than defending? — Observations from Developing and Evaluating Practical Game Based Learning Barth, V.; Wanner, T.; Gelderie, M.; Schüle, J. Procedia Computer Science, Volume 246, 2024, Pages 3148-3157, ISSN 1877-0509, Link |
| 2024 | On the Privacy Afforded by Opaque Identifiers in Traffic Monitoring Gelderie, M. |
| 2024 | On the Privacy Afforded by Opaque Identifiers in Traffic Monitoring (Extended Version) Gelderie, M. Extended version with full proofs. A short version of this paper was be published in the Proceedings of the 21st International Conference on Security and Cryptography - SECRYPT; ISBN 978-989-758-709-2; ISSN 2184-7711, SciTePress, pages 798-803. DOI: 10.5220/0012833200003767 Datei |
| 2024 | Using ILP to Learn AppArmor Policies Brodschelm L. and Gelderie, M. In Proceedings of the 10th International Conference on Information Systems Security and Privacy (ICISSP 2024), pages 766-773. Link Datei |
| 2022 | All Work and No Play – Game-Based vs. Text-Based Learning in IT-Security Marcus Gelderie, Tamara Wanner; In: Uskov, V.L., Howlett, R.J., Jain, L.C. (eds) Smart Education and e-Learning - Smart Pedagogy. SEEL-22 2022. Smart Innovation, Systems and Technologies, vol 305. Springer, Singapore. Link Datei |
| 2022 | Application Sandboxing for Linux Desktops: A User-friendly Approach Lukas Brodschelm, Marcus Gelderie; SECRYPT 2022: 317-324 Link Datei |
| 2022 | Seccomp Filters from Fuzzing Marcus Gelderie, Valentin Barth, Maximilian Luff, Julian Birami; SECRYPT 2022: 507-512 Link Datei |
| 2017 | Classifying recognizable infinitary trace languages using word automata Namit Chaturvedi, Marcus Gelderie; Inf. Comput. 256: 23-34 (2017) |
| 2014 | Classifying Recognizable Infinitary Trace Languages Using Word Automata Namit Chaturvedi, Marcus Gelderie; MFCS (1) 2014: 171-182 |
| 2014 | Weak ω-Regular Trace Languages Namit Chaturvedi, Marcus Gelderie; CoRR abs/1402.3199 (2014) |
| 2013 | Strategy Composition in Compositional Games Marcus Gelderie; ICALP (2) 2013: 263-274 |
| 2012 | Strategy Machines and Their Complexity Marcus Gelderie; MFCS 2012: 431-442 |
| 2011 | Classifying Regular Languages via Cascade Products of Automata Marcus Gelderie; LATA 2011: 286-297 |
| 2011 | Classifying Regular Languages via Cascade Products of Automata Marcus Gelderie; Informatiktage 2011: 19-22 |
| 2011 | Memory Reduction via Delayed Simulation Marcus Gelderie, Michael Holtmann; iWIGP 2011: 46-60 Link |
