Research Output 2012 2013

  • 2 Conference contribution
  • 1 Report
Filter
Conference contribution
2013
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
2012
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