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/ReportReportProfessional

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/ReportReportProfessional

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/ReportReportOther research output

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/ReportReportProfessional

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/ReportReportProfessional

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/ReportReportAcademic

File
2011
21 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/ReportReportProfessional

File
2010

A linear process-algebraic format for probabilistic systems with data (extended version)

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., 7 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-10-11)

Research output: Book/ReportReportAcademic

File
53 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/ReportReportProfessional

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/ReportReportProfessional

File
5 Citations

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/ReportReportProfessional

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/ReportReportAcademic

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/ReportReportProfessional

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/ReportReportProfessional

Open Access
File