5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Impact and Performance of Randomized Test-Generation using Prolog
Marcus Gelderie, Maximilian Luff, Maximilian Peltzer
We study randomized generation of sequences of test-inputs to a system using Prolog. Prolog is a natural fit to generate test-sequences that have complex logical inter-dependent st…
cs.FL2014★ 1 cited
Weak -Regular Trace Languages
Namit Chaturvedi, Marcus Gelderie
Mazurkiewicz traces describe concurrent behaviors of distributed systems. Trace-closed word languages, which are "linearizations" of trace languages, constitute a weaker notion of…
cs.GT2011★ 5 cited
Memory Reduction via Delayed Simulation
Marcus Gelderie, Michael Holtmann
We address a central (and classical) issue in the theory of infinite games: the reduction of the memory size that is needed to implement winning strategies in regular infinite game…