No photo of Freark Iwert van der Berg

Freark Iwert van der Berg

ir.

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

Research Output 2012 2013

  • 2 Conference contribution
  • 1 Report
33 Citations (Scopus)
82 Downloads (Pure)

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

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
8 Citations (Scopus)
100 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