Welkom...

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

Promovendus

Expertises

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

Publicaties

Recente Artikelen
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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3082
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3082
Postbus 217
7500 AE Enschede