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

Research Output 2007 2018

Filter
PhD Thesis - Research UT, graduation UT
2018

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
Computer applications
Testing

Contract-based specification of embedded control systems

Oguz, O., 16 Feb 2018, Enschede: University of Twente. 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Specifications
Control systems
Model checking
Hybrid systems
Embedded systems
2017

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
2016

Sylvan: multi-core decision diagrams

van Dijk, T., 13 Jul 2016, Enschede: Universiteit Twente. 154 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Resource allocation
Data structures
Processing
Experiments
2014

JTorX: Exploring Model-Based Testing

Belinfante, A., 18 Sep 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 324 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

Qualitative and quantitative information flow analysis for multi-threaded programs

Ngo, M. T., 17 Apr 2014, Enschede: Universiteit Twente. 180 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Program processors
Security of data
Information systems
Computer systems
Scheduling

Scalable multi-core model checking

Laarman, A., 9 May 2014, Enschede: University of Twente. 368 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
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: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
2012

Compositional Synthesis of Safety Controllers

Kuijper, W., 7 Dec 2012, Enschede: University of Twente. 184 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File