Freark I. van der Berg

According to our database, Freark I. van der Berg authored at least 5 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Recursive Variable-Length State Compression for Multi-core Software Model Checking.

Freark I. van der Berg

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

LLMC: Verifying High-Performance Software.

Freark I. van der Berg

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Concurrent Chaining Hash Maps for Software Model Checking.

Freark I. van der Berg, Jaco van de Pol

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2013

DFTCalc: A Tool for Efficient Fault Tree Analysis.

Florian Arnold, Axel Belinfante, Freark I. van der Berg, Dennis Guck, Mariëlle Stoelinga

Proceedings of the Computer Safety, Reliability, and Security, 2013

2012

SpinS: Extending LTSmin with Promela through SpinJa.

Freark I. van der Berg, Alfons Laarman

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012