Freark Iwert van der Berg

ir.

20122019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 3 Conference contribution
  • 1 Report
Filter
Conference contribution
2019

Concurrent chaining hash maps for software model checking

van der Berg, F. I. & van de Pol, J., Oct 2019, 2019 Formal Methods in Computer Aided Design (FMCAD). Barrett, C. & Yang, J. (eds.). Piscataway, NY: IEEE, p. 46-54 9 p. 8894279. (Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD); vol. 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2013

DFTCalc: a tool for efficient fault tree analysis

Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A., Sep 2013, Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin: Springer, p. 293-301 9 p. (Lecture Notes in Computer Science; vol. 8153).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
38 Citations (Scopus)
175 Downloads (Pure)
2012

SpinS: Extending LTSmin with Promela through SpinJa

van der Berg, F., van der Berg, F. I. & Laarman, A., 17 Sep 2012, 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012. Heljanko, K. & Knottenbelt, W. J. (eds.). Amsterdam: Open Publishing Association, p. 95-105 8 p. (Electronic Notes in Theoretical Computer Science; vol. 296).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
8 Citations (Scopus)
151 Downloads (Pure)