No photo of Mariëlle Ida Antoinette Stoelinga

Mariëlle Ida Antoinette Stoelinga

dr.

20042019
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

Filter
PhD Thesis - Research UT, graduation UT
2018
6 Downloads (Pure)

Choice and chance: model-based testing of stochastic behaviour

Gerhold, M., 12 Dec 2018, Enschede: University of Twente. 263 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Specification languages
Computer applications
Formal methods
Stochastic systems
92 Downloads (Pure)

Truth or dare: quantitative security risk analysis via attack trees

Kumar, R., 17 Oct 2018, Enschede: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Risk analysis
Taxonomies
Model checking
Security of data
Computer viruses
90 Downloads (Pure)

Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking

Ruijters, E. J. J., May 2018, Enschede: University of Twente. 272 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Statistical Models
Costs
Inspection
Repair
2017
144 Downloads (Pure)

Green computing: efficient energy management of multiprocessor streaming applications via model checking

Ahmad, W., 13 Apr 2017, Enschede: University of Twente. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Energy management
Model checking
Scheduling
Video conferencing
Mobile computing
80 Downloads (Pure)

Reliable systems: fault tree analysis via Markov reward automata

Guck, D., 23 Mar 2017, Enschede: University of Twente. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Fault tree analysis
Model checking
Preventive maintenance
Maintainability
Hardware
2013
153 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 UTAcademic

File
2007
18 Downloads (Pure)

Theories for Model-based Testing: Real-time and Coverage

Brandan Briones, L., 21 Mar 2007, Enschede: Centre for Telematics and Information Technology (CTIT). 134 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Large scale systems
Acoustic waves
Formal methods
Syntactics