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

Research Output 2007 2019

Filter
Report
2016
48 Downloads (Pure)

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
56 Downloads (Pure)

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
26 Downloads (Pure)

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
11 Citations (Scopus)
60 Downloads (Pure)

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
18 Downloads (Pure)

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
17 Downloads (Pure)

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
23 Citations (Scopus)
8 Downloads (Pure)

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
23 Downloads (Pure)

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
58 Citations (Scopus)
8 Downloads (Pure)

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
68 Downloads (Pure)

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 (Scopus)
38 Downloads (Pure)

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 (Scopus)
40 Downloads (Pure)

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
17 Downloads (Pure)

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
9 Downloads (Pure)

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