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
Report
2016

Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata (extended version)

Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C. 15 Apr 2016 Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-16-03)

Research output: Book/ReportReport

File
2015

Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version)

Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 24 Jun 2015 Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-15-04)

Research output: Book/ReportReport

File
2014

Resource-constrained optimal scheduling of SDF graphs via timed automata (extended version)

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 21 Jan 2014 Enschede, the Netherlands: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT technical reports; no. TR-CTIT-13-17)

Research output: Book/ReportReport

File
10 Citations

Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata

Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C. 21 Jan 2014 Enschede: Centre for Telematics and Information Technology (CTIT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-13-17)

Research output: Book/ReportReport

File
2013

Confluence reduction for Markov automata (extended version)

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A. Jun 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)

Research output: Book/ReportReport

File
2012

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A. 11 Jun 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReport

File
2011
19 Citations

Parallel Recursive State Compression for Free

Laarman, A., van de Pol, J. C. & Weber, M. 15 Apr 2011 Ithaca, NY: ArXiv. 19 p.

Research output: Book/ReportReport

File
2010
File
51 Citations

Boosting Multi-Core Reachability Performance with Shared Hash Tables

Laarman, A., van de Pol, J. & Weber, M. 16 Apr 2010 Ithaca, NY: ArXiv. 25 p.

Research output: Book/ReportReport

Open Access
File
Model checking
Resource allocation
Program processors
Data structures
2009

Bridging the Gap between Enumerative and Symbolic Model Checkers

Blom, S., van de Pol, J. C. & Weber, M. 5 Jun 2009 Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-09-30)

Research output: Book/ReportReport

File

Distributed Branching Bisimulation Minimization by Inductive Signatures

Blom, S. & van de Pol, J. C. 9 Oct 2009 Enschede: Formal Methods and Tools (FMT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-09-37)

Research output: Book/ReportReport

File
12 Citations

State Space Reduction of Linear Processes using Control Flow Reconstruction

van de Pol, J. C. & Timmer, M. 23 Jun 2009 Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-09-24)

Research output: Book/ReportReport

File
2008

Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs)

Badban, B., Fokkink, W. & van de Pol, J. C. 30 Jun 2008 Enschede: Formal Methods and Tools (FMT). 55 p. (CTIT Technical Report Series; no. 302/TR-CTIT-08-45)

Research output: Book/ReportReport

File
2007

Bug Hunting with False Negatives Revisited

Calame, J. R., Ioustinova, N., van de Pol, J. C. & Sidorova, N. Dec 2007 Amsterdam: Centrum voor Wiskunde en Informatica. 24 p. (Report Software Engineering; no. 7/SEN-R0708)

Research output: Book/ReportReport

Open Access
File