Search everything

Attack time analysis for insiders

Arnold, F., 2013, p. 40-.

Research output: Contribution to conferenceAbstract

310 Downloads (Pure)

A tutorial on interactive Markov chains

Arnold, F., Gebler, D., Guck, D. & Hatefi, H., Jun 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Remke, A. K. I., Remke, A. K. I., Stoelinga, M. I. A. & Stoelinga, M. I. A. (eds.). Berlin: Springer, p. 26-66 41 p. (Lecture Notes in Computer Science; vol. 8453).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
152 Downloads (Pure)

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

Sequential and Parallel Attack Tree Modelling

Arnold, F., Guck, D., Kumar, R. & Stoelinga, M., Sep 2015, Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Koornneef, F. & van Gulijk, C. (eds.). Cham: Springer, p. 291-299 9 p. (Lecture Notes in Computer Science; vol. 9338).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Engineers
Planning
73 Downloads (Pure)

Quantitative penetration testing with item response theory (extended version)

Arnold, F., Pieters, W. & Stoelinga, M. I. A., Oct 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 11 p. (CTIT Technical Report Series; no. TR-CTIT-13-20)

Research output: Book/ReportReportProfessional

File
35 Citations (Scopus)
85 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
23 Downloads (Pure)

Quantitative Penetration Testing with Item Response Theory

Arnold, F., Pieters, W. & Stoelinga, M. I. A., 2014, In : Journal of information assurance and security. 9, 3, p. 118-127 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
35 Citations (Scopus)

Time-dependent analysis of attacks

Arnold, F., Hermanns, H., Pulungan, R. & Stoelinga, M., Apr 2014, Proceedings of the Third International Conference on Principles and Security of Trust, POST 2014. Berlin: Springer, p. 285-305 21 p. (Lecture Notes in Computer Science; vol. 8414).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Probability distributions
4 Citations (Scopus)
7 Downloads (Pure)

Quantitative penetration testing with item response theory

Arnold, F., Pieters, W. & Stoelinga, M., 6 Dec 2013, 9th International Conference on Information Assurance and Security, IAS 2013. Piscataway, NJ: IEEE, p. 49-54 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Testing
Cost effectiveness
Risk management
34 Downloads (Pure)

A certain risk: Quantitative risk management for high-tech systems

Stoelinga, M., 23 Nov 2018, Enschede: University of Twente. 52 p.

Research output: Book/ReportInaugural speechOther research output

Open Access
File
17 Downloads (Pure)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, D. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)

Research output: Book/ReportBook editingAcademic

Open Access
File
128 Downloads (Pure)
Open Access
File
93 Downloads (Pure)

Fabrication of microstructures by powder blasting

Wensink, H., 22 Feb 2002, Enschede: University of Twente. 141 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
11 Downloads (Pure)

Demand driven land evaluation : with case studies in Santa Catarina, Brazil

Bacic, I. L. Z., 2003, Wageningen: Wageningen University.

Research output: ThesisPhD Thesis - Research external, graduation external

Open Access
File
44 Downloads (Pure)

Low flows: mechanisms, forecasts and climate change impacts

Demirel, M. C., 20 Feb 2014, Enschede: University of Twente. 182 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
low flow
climate change
seasonality
forecast
basin
21 Downloads (Pure)

Mass Spectrometric Detection of Enzymatic Bioassays

Liesener, A., 20 May 2005, Enschede: Ipskamp Printing. 189 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Bioassay
Assays
225 Downloads (Pure)
Open Access
File
Polyvinyl alcohols
Printing
Lasers
Polymers
Water
217 Downloads (Pure)

Efficient Modelling, Generation and Analysis of Markov Automata

Timmer, M., 13 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 340 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
86 Downloads (Pure)

Oxygen transport membranes for power generation with carbon capture

Ruhl, R., 8 Nov 2018, Enschede: University of Twente. 271 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Carbon capture
Power generation
Oxygen
Membranes
Oxides
6 Citations (Scopus)
3 Downloads (Pure)

Discharge rate and synaptic noise affect reflex response regime of motor unit population

Yavuz, U. S., Negro, F., Sebik, O., Froemmel, C., Farina, D. & Turker, K. S., Nov 2015, In : Acta physiologica. 215, p. 37-37

Research output: Contribution to journalMeeting AbstractAcademic

Open Access
File
27 Downloads (Pure)

An Efficient and Flexible Implementation of Aspect-Oriented Languages

Bockisch, C., 1 Jul 2008, Germany: TU-Prints. 181 p.

Research output: ThesisPhD Thesis - Research external, graduation external

File
200 Downloads (Pure)

Named entity extraction and disambiguation for informal text: the missing link

Habib, M. B., 9 May 2014, Enschede: University of Twente. 220 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
Feedback
Websites
Reinforcement
Internet
Monitoring
58 Downloads (Pure)

Application of membrane technology in microfluidic devices

de Jong, J., 18 Apr 2008, Enschede: University of Twente. 164 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Membrane technology
Microfluidics
Microelectronics
Information technology
Mass transfer
139 Downloads (Pure)

Field-plate assisted RESURF power devices: Gradient based optimization, degradation and analysis

Boksteen, B. K., 26 Aug 2015, Enschede: GildePrint. 138 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

File
139 Downloads (Pure)

Quantitative Ansätze zur IT-Risikoanalyse

Tews, E. & Schlehuber, C., 2014, Sicherheit 2014: Sicherheit, Schutz und Zuverlässigkeit. Katzenbeisser, S., Lotz, V. & Weippl, E. R. (eds.). Nederlands Centrum Geestelijke Volksgezondheid, Vol. 228. p. 293-303 11 p. (LNI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File