Marcus Gelderie

18 papers B 2C 7Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Impact and Performance of Randomized Test Generation Using Prolog.
Theory Pract. Log. Program.
Marcus Gelderie, Maximilian Luff, Maximilian Peltzer
2025 J jnl
Impact and Performance of Randomized Test-Generation using Prolog.
CoRR
Marcus Gelderie, Maximilian Luff, Maximilian Peltzer
2024 C conf
Differential Privacy for Distributed Traffic Monitoring in Smart Cities.
ICISSP
Marcus Gelderie, Maximilian Luff, Lukas Brodschelm
2024 C conf
Impact and Performance of Randomized Test-Generation Using Prolog.
LOPSTR
Marcus Gelderie, Maximilian Luff, Maximilian Peltzer
2024 B conf
Is attacking more fun than defending? - Observations from Developing and Evaluating Practical Game Based Learning.
KES
Valentin Barth, Tamara Wanner, Marcus Gelderie, Jürgen Schüle
2024 C conf
On the Privacy Afforded by Opaque Identifiers in Traffic Monitoring.
SECRYPT
Marcus Gelderie
2024 C conf
Using ILP to Learn AppArmor Policies.
ICISSP
Lukas Brodschelm, Marcus Gelderie
2022 C conf
Application Sandboxing for Linux Desktops: A User-friendly Approach.
SECRYPT
Lukas Brodschelm, Marcus Gelderie
2022 C conf
Seccomp Filters from Fuzzing.
SECRYPT
Marcus Gelderie, Valentin Barth, Maximilian Luff, Julian Birami
2017 J jnl
Classifying recognizable infinitary trace languages using word automata.
Inf. Comput.
Namit Chaturvedi, Marcus Gelderie
2014 — conf
Classifying Recognizable Infinitary Trace Languages Using Word Automata.
MFCS (1)
Namit Chaturvedi, Marcus Gelderie
2014 — —
Strategy machines: representation and complexity of strategies in infinite games.
Marcus Gelderie
2014 J jnl
Weak $ω$-Regular Trace Languages.
CoRR
Namit Chaturvedi, Marcus Gelderie
2013 — conf
Strategy Composition in Compositional Games.
ICALP (2)
Marcus Gelderie
2012 B conf
Strategy Machines and Their Complexity.
MFCS
Marcus Gelderie
2011 — conf
Classifying Regular Languages via Cascade Products of Automata.
Informatiktage
Marcus Gelderie
2011 C conf
Classifying Regular Languages via Cascade Products of Automata.
LATA
Marcus Gelderie
2011 — conf
Memory Reduction via Delayed Simulation
iWIGP
Marcus Gelderie, Michael Holtmann