SpinS: Extending LTSmin with Promela through SpinJa. - Freark I. van der Berg; Alfons Laarman (PASM/PDMC, 2012)

DFTCalc: A Tool for Efficient Fault Tree Analysis. - Florian Arnold; Axel Belinfante; Freark I. van der Berg; Dennis Guck; Mariëlle Stoelinga (SAFECOMP, 2013)

Concurrent Chaining Hash Maps for Software Model Checking. - Freark I. van der Berg; Jaco van de Pol (FMCAD, 2019)

LLMC: Verifying High-Performance Software. - Freark I. van der Berg (CAV (2), 2021)

Recursive Variable-Length State Compression for Multi-core Software Model Checking. - Freark I. van der Berg (NFM, 2021)