| 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 | 79 | 2013 |
| SpinS: Extending LTSmin with Promela through SpinJa F Van Der Berg, A Laarman Electronic Notes in Theoretical Computer Science 296, 95-105, 2013 | 31 | 2013 |
| 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 | 10 | 2013 |
| Model Checking LLVM IR using LTSmin (using relaxed memory model semantics) FI van der Berg Master’s thesis, University of Twente, 2013 | 7 | 2013 |
| 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 | 6 | 2019 |
| Solving parity games on the playstation 3 F van der Berg 13th Twente Student Conference on IT, 2010 | 6 | 2010 |
| Recursive Variable-Length State Compression for Multi-Core Software Model Checking FI van der Berg NASA Formal Methods Symposium, 340-357, 2021 | 5 | 2021 |
| LLMC: Verifying High-Performance Software FI van der Berg International Conference on Computer Aided Verification, 690-703, 2021 | 2 | 2021 |
