Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 4 Similar Profiles
Fault tree analysis Engineering & Materials Science
Model checking Engineering & Materials Science
Biomedical equipment Engineering & Materials Science
Stochastic models Engineering & Materials Science
Risk management Engineering & Materials Science
Nuclear power plants Engineering & Materials Science

Research Output 2012 2013

  • 2 Conference contribution
  • 1 Report
19 Citations

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: Scientific - peer-reviewConference contribution

Fault tree analysis
Biomedical equipment
Model checking
Stochastic models
Risk management

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: ProfessionalReport

Fault tree analysis
Biomedical equipment
Model checking
Stochastic models
Risk management
5 Citations

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: Scientific - peer-reviewConference contribution

Model checking
Inspection
Experiments
Modeling languages