Photo of Jaco van de Pol

Jaco van de Pol

prof.dr.

20072018
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

Contract-based specification of embedded control systems

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

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. 228 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

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 UT

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 UT

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 UT

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

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 UT

File
2012

Compositional Synthesis of Safety Controllers

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

Research output: ThesisPhD Thesis - Research UT, graduation UT

File