Freark Iwert van der Berg

ir.

20122019

Research output per year

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

Fingerprint Dive into the research topics where Freark Iwert van der Berg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 3 Conference contribution
  • 1 Report

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

  • 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
    37 Citations (Scopus)
    149 Downloads (Pure)

    DFTCalc: a tool for efficient fault tree analysis (extended version)

    Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-13-13)

    Research output: Book/ReportReportProfessional

    File
    176 Downloads (Pure)

    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)
    144 Downloads (Pure)