Research Output 2007 2018

Filter
PhD Thesis - Research UT, graduation UT
2018

Contract-based specification of embedded control systems

Oguz, O. 16 Feb 2018 Enschede. 216 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Specifications
Model checking
Hybrid systems
Embedded systems
Algebra
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
2016

Sylvan: multi-core decision diagrams

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Resource allocation
Data structures
Experiments

Sylvan - Multi-core decision diagrams

van Dijk, T. 13 Jul 2016 Enschede: Centre for Telematics and Information Technology (CTIT). 172 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Resource allocation
Data structures
Experiments
2014

JTorX: Exploring Model-Based Testing

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Testing
Engines
Visualization
Education

Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs

Ngo, M. T. 17 Apr 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 189 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Scheduling
Security of data
Industry
Information systems
Internet

Qualitative and quantitative information flow analysis for multi-thread programs

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

Research output: ScientificPhD Thesis - Research UT, graduation UT

Program processors
Security of data
Information systems
Computer systems
Scheduling

Scalable multi-core model checking

Laarman, A. 9 May 2014 Enschede. 368 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Scalability
Experiments
Communication
Patents and inventions
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
Model checking
Specifications
Explosions
Syntactics
2012

Compositional Synthesis of Safety Controllers

Kuijper, W. 7 Dec 2012 Enschede. 184 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Controllers
Observability
Scalability
Set theory
Refining