Research Output 2007 2018

Filter
Report
2016
Quality of service
Model checking
Embedded systems
Video streaming
Mobile devices
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: ProfessionalReport

Power management
Model checking
Energy conservation
Computer systems
Electric power utilization
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: Other research outputReport

Throughput
Model checking
Energy utilization
Costs
8 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: ProfessionalReport

Throughput
Model checking
Energy utilization
Costs
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: ProfessionalReport

Automata
Confluence
Model
Specification
Process algebra
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: ScientificReport

Specifications
Syntactics
Linearization
Chemical analysis
2011
17 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: ProfessionalReport

Experiments
Model checking
Scalability
2010
Process algebra
Symbolic analysis
Probabilistic automata
Linear process
Bisimulation
49 Citations

Boosting Multi-Core Reachability Performance with Shared Hash Tables

Sharygina, N. (ed.), Laarman, A., Bloem, R. (ed.), van de Pol, J. C. & Weber, M. 16 Apr 2010 Ithaca, NY: ArXiv. 25 p.

Research output: ProfessionalReport

Model checking
Resource allocation
Program processors
Data structures
Probabilistic automata
Confluence
Process algebra
Bisimulation
Branching
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: ProfessionalReport

Modeling languages
Model checking
Algebra
Data structures
Experiments

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: ProfessionalReport

Refinement
State space
Signature
Iteration
Experiment
11 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: ScientificReport

Flow control
Specifications
Data flow analysis
Static analysis
Linearization
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: ProfessionalReport

2007

Bug Hunting with False Negatives Revisited

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

Research output: ProfessionalReport

Model checking