Welcome...

ir. F.I. van der Berg (Freark)

PhD Candidate / PhD Student

Expertise

Fault Tree Analysis
Model Checking
Biomedical Equipment
Stochastic Models
Risk Management
Nuclear Power Plants
Inspection
Modeling Languages
Experiments

Publications

Recent Articles
Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D., & Stoelinga, M. I. A. (2013). DFTCalc: a tool for efficient fault tree analysis. In Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP) (pp. 293-301). (Lecture Notes in Computer Science; Vol. 8153). Berlin: Springer. DOI: 10.1007/978-3-642-40793-2_27
Arnold, F., Belinfante, A., van der Berg, F., van der Berg, F. I., Guck, D., & Stoelinga, M. I. A. (2013). DFTCalc: a tool for efficient fault tree analysis (extended version). (CTIT Technical Report Series; No. TR-CTIT-13-13). Enschede: University of Twente, Centre for Telematica and Information Technology (CTIT).
van der Berg, F., van der Berg, F. I., & Laarman, A. (2012). SpinS: Extending LTSmin with Promela through SpinJa. In K. Heljanko, & W. J. Knottenbelt (Eds.), 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012 (pp. 95-105). (Electronic Notes in Theoretical Computer Science; Vol. 296). Amsterdam: Open Publishing Association. DOI: 10.1016/j.entcs.2013.07.007

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3082
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3082
P.O. Box 217
7500 AE Enschede
The Netherlands