Follow
Freark van der Berg
Freark van der Berg
Verified email at utwente.nl
Title
Cited by
Cited by
Year
DFTCalc: A tool for efficient fault tree analysis
F Arnold, A Belinfante, F Van der Berg, D Guck, M Stoelinga
International Conference on Computer Safety, Reliability, and Security, 293-301, 2013
782013
SpinS: Extending LTSmin with Promela through SpinJa
F Van Der Berg, A Laarman
Electronic Notes in Theoretical Computer Science 296, 95-105, 2013
312013
Dftcalc: a tool for efficient fault tree analysis (extended version)
F Arnold, A Belinfante, F Berg, D Guck, M Stoelinga
University of Twente, Centre for Telematics and Information Technology (CTIT), 2013
102013
Model Checking LLVM IR using LTSmin (using relaxed memory model semantics)
FI van der Berg
Master’s thesis, University of Twente, 2013
72013
Recursive Variable-Length State Compression for Multi-Core Software Model Checking
FI van der Berg
NASA Formal Methods Symposium, 340-357, 2021
52021
Solving parity games on the playstation 3
F van der Berg
13th Twente Student Conference on IT, 2010
52010
Concurrent Chaining Hash Maps for Software Model Checking
FI van der Berg, J van de Pol
2019 Formal Methods in Computer Aided Design (FMCAD), 46-54, 2019
42019
LLMC: Verifying High-Performance Software
FI van der Berg
International Conference on Computer Aided Verification, 690-703, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–8