Research Output 2004 2017

Filter
PhD Thesis - Research UT, graduation UT
2017

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

Ahmad, W. 13 Apr 2017 Enschede. 228 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Scheduling
Video conferencing
Mobile computing
Energy harvesting
Energy management

Reliable systems: fault tree analysis via Markov reward automata

Guck, D. 23 Mar 2017 Enschede. 228 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Hardware
Preventive maintenance
Maintainability
Availability

Reliable systems - Fault tree analysis via Markov reward automata

Guck, D. 23 Mar 2017 222 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Hardware
Preventive maintenance
Maintainability
Availability
2013

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: ScientificPhD Thesis - Research UT, graduation UT

Markov processes
Specifications
Model checking
Explosions
Experiments
2007

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: ScientificPhD Thesis - Research UT, graduation UT

Testing
Large scale systems
Formal methods
Syntactics