42 citations · 44 across the 3 of their papers we have counts for
3 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.PL2011
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
Wouter Kuijper, Michael Weber
We introduce a new compile-time notion of type subsumption based on type simulation. We show how to apply this static subsumption relation to support a more intuitive, object orien…
cs.DC2010★ 42 cited
Boosting Multi-Core Reachability Performance with Shared Hash Tables
Alfons Laarman, Jaco van de Pol, Michael Weber
This paper focuses on data structures for multi-core reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of an efficie…