6 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.DS2011★ 2 cited
Parallel Recursive State Compression for Free
Alfons Laarman, Jaco van de Pol, Michael Weber
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a tree-based multi-core…
cs.LO2010★ 6 cited
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol
This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prov…