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

Research Output 2007 2019

2010
2 Citations (Scopus)
26 Downloads (Pure)

UPPAAL in Practice: Quantitative Verication of a RapidIO Network

Xing, J., Theelen, B. D., Langerak, R., van de Pol, J., Tretmans, J. & Voeten, J. P. M., 18 Oct 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 160-174 15 p. (Lecture Notes in Computer Science; vol. 6416).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Packet networks
Object oriented programming
Model checking
Distributed computer systems
Motion control
2009
5 Citations (Scopus)
43 Downloads (Pure)

A Database Approach to Distributed State-Space Generation

Blom, S., Cerna, I. (ed.), Haverkort, B. R. H. M. (ed.), Lisser, B., van de Pol, J. C. & Weber, M., 5 Mar 2009, In : Journal of logic and computation. Advance Ac, 1, p. 45-62 18 p., 10.1093/logcom/exp004.

Research output: Contribution to journalArticleAcademicpeer-review

File
61 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
8 Citations (Scopus)
37 Downloads (Pure)

Compositional Control Synthesis for Partially Observable Systems

Kuijper, W. & van de Pol, J. C., Sep 2009, CONCUR 2009 - Concurrency Theory. Bravetti, M. & Zavattaro, G. (eds.). Berlin / Heidelberg: Springer, p. 431-447 17 p. 10.1007/978-3-642-04081-8_29. (Lecture Notes in Computer Science; vol. 5710).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
37 Downloads (Pure)

Computing Weakest Strategies for Safety Games of Imperfect Information

Kuijper, W. & van de Pol, J. C., Mar 2009, Tools and Algorithms for the Construction and Analysis of Systems. Kowalewski, S. & Philippou, A. (eds.). Berlin / Heidelberg: Springer, p. 92-106 15 p. 10.1007/978-3-642-00768-2_10. (Lecture Notes in Computer Science; vol. 5505).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
16 Citations (Scopus)
125 Downloads (Pure)

Distributed Algorithms for SCC Decomposition

Cerna, I. (ed.), Barnat, J., Chaloupka, J., Haverkort, B. R. H. M. (ed.) & van de Pol, J. C., 17 Feb 2009, In : Journal of logic and computation. Advance Ac, 1, p. 23-44 22 p., 10.1093/logcom/exp003.

Research output: Contribution to journalArticleAcademicpeer-review

File
5 Citations (Scopus)
34 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
6 Downloads (Pure)

Probabilistic specifications with data types

Katoen, J. P., van de Pol, J., Stoelinga, M. & Timmer, M., 5 Nov 2009. 1 p.

Research output: Contribution to conferencePosterOther research output

Open Access
File
4 Citations (Scopus)
16 Downloads (Pure)

Solving scheduling problems by untimed model checking. The clinical chemical analyser case study

Margaria, T. (ed.), Wijs, A. J., Massink, M. (ed.), van de Pol, J. C. & Bortnik, E. M., 19 Mar 2009, In : International journal on software tools for technology transfer. 11, 5, p. 375-392 18 p., 10.1007/s10009-009-0110-9.

Research output: Contribution to journalArticleAcademicpeer-review

File
12 Citations (Scopus)
35 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
13 Downloads (Pure)

State Space Reduction of Linear Processes Using Control Flow Reconstruction

van de Pol, J. C. & Timmer, M., 13 Oct 2009, Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin: Springer, p. 54-68 15 p. (Lecture Notes in Computer Science; vol. 5799).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Flow control
Process control
Specifications
Data flow analysis
Static analysis
16 Downloads (Pure)

Towards an Information Retrieval Theory of Everything

Hiemstra, D., Lammerink, J. M. W. (ed.), Katoen, J. P. (ed.), Kok, J. N. (ed.), van de Pol, J. C. (ed.) & Raamsdonk, F. (ed.), 2009, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 2009, p. 27-38 12 p.

Research output: Contribution to journalArticleAcademic

File
2008
9 Citations (Scopus)

A Database Approach to Distributed State Space Generation

Blom, S., Lisser, B., van de Pol, J. & Weber, M., 4 Mar 2008, Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation: PDMC 2007, 8 July 2007, Berlin, Germany. Černá, I. & Haverkort, B. R. (eds.). Amsterdam: Elsevier, p. 17-32 16 p. (Electronic Notes in Theoretical Computer Science; vol. 198, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Hash functions
Bandwidth
Experiments
Virtual machine
9 Citations (Scopus)
28 Downloads (Pure)

A Multi-Core Solver for Parity Games

van de Pol, J. C. & Weber, M., 29 Mar 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008). Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 19-34 14 p. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
Model checking
Parallel algorithms
Network protocols
Data storage equipment
16 Downloads (Pure)

Applying Formal Methods to Gossiping Networks with mCRL and Groove

Crouzen, P., van de Pol, J. & Rensink, A., Dec 2008, In : SIGMETRICS performance evaluation review. 36, 3, p. 7-16 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Formal methods
Sampling

Applying Model-based Testing to HTML Rendering Engines - A Case Study

Calamé, J. R. & van de Pol, J. C., 6 Jun 2008, Testing of Software and Communicating Systems. Suzuki, K., Higashino, T., Ulrich, A. & Hasegawa, T. (eds.). London: Springer, p. 250-265 16 p. 10.1007/978-3-540-68524-1_18. (Lecture Notes in Computer Science; vol. 5047, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Downloads (Pure)

A Typical Verification Challenge for the GRID

van de Pol, J. C., 2008, Dagstuhl Seminar Proceedings 08332 'Distributed Verification and Grid Computing '. Bal, H. E., Brim, L. & Leucker, M. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. - 2 p. (Dagstuhl Seminar Proceedings; no. 08332).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
9 Citations (Scopus)
41 Downloads (Pure)

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Blom, S., Haverkort, B. R. H. M., Kuntz, G. W. M. & van de Pol, J. C., 3 Dec 2008, Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation. Černá, I. & Lüttgen, G. (eds.). Amsterdam: Elsevier, p. 35-50 16 p. 10.1016/j.entcs.2008.11.012. (Electronic Notes in Theoretical Computer Science; vol. 220, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)

Improved Distributed Algorithms for SCC Decomposition

Barnat, J., Chaloupka, J. & van de Pol, J. C., 4 Mar 2008, Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation. Cerna, I. & Haverkort, B. R. H. M. (eds.). Amsterdam: Elsevier, p. 63-77 15 p. 10.1016/j.entcs.2008.02.001. (Electronic Notes in Theoretical Computer Science; vol. 198, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
36 Downloads (Pure)

Leader Election in Anonymous Rings: Franklin Goes Probabilistic

Bakhshi, R., Fokkink, W., Pang, J. & van de Pol, J. C., 22 Jul 2008, Fifth IFIP International Conference On Theoretical Computer Science. Ausiello, G., Karhumäki, J., Mauri, G. & Ong, L. (eds.). Boston: Springer, p. 57-72 16 p. 10.1007/978-0-387-09680-3_4. (IFIP International Federation for Information Processing; vol. 273/2008, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
3 Citations (Scopus)

Mechanical verification of a two-way sliding window protocol

Badban, B., Fokkink, W. & van de Pol, J. C., Sep 2008, Communicating Process Architectures 2008. Welch, P. H., Polack, F. A. C., Barnes, F. R. M., McEwan, A. A., Stiles, G. S., Broenink, J. F. & Sampson, A. T. (eds.). Amsterdam: IOS Press, p. 179-202 24 p. 10.3233/978-1-58603-907-3-179. (Concurrent Systems Engineering Series; vol. 66, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 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
1 Citation (Scopus)
22 Downloads (Pure)

PDL over Accelerated Labeled Transition Systems

Chen, T., van de Pol, J. C. & Wang, Y., Jun 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos: IEEE Computer Society, p. 193-200 8 p. 10.1109/TASE.2008.42

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File

Simulated time for host-based testing with TTCN-3

Blom, S., Deiß, T., Ioustinova, N., Kontio, A., van de Pol, J. C., Rennoch, A. & Sidorova, N., 8 Mar 2008, In : Software testing, verification and reliability. 18, 1, p. 29-49 21 p., 10.1002/stvr.372.

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)
44 Downloads (Pure)

Symbolic Reachability for Process Algebras with Recursive Data Types

Blom, S. & van de Pol, J. C., 25 Aug 2008, Theoretical Aspects of Computing - ICTAC 2008. Fitzgerald, J. S., Haxthausen, A. E. & Yenigun, H. (eds.). Berlin: Springer, p. 81-95 15 p. 10.1007/978-3-540-85762-4_6. (Lecture Notes in Computer Science; vol. 5160, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
67 Downloads (Pure)

Testing reactive systems with data: enumerative methods and constraint solving

Calamé, J. R., 4 Sep 2008, Wageningen: Ponsen & Looijen B.V.. 227 p.

Research output: ThesisPhD Thesis - Research external, graduation UTAcademic

File
Positive ions
Testing
Automatic teller machines
Model checking
Acceptance tests
2007
8 Downloads (Pure)

A Database Approach to Distributed State Space Generation

Blom, S., Lisser, B., van de Pol, J. & Weber, M., 8 Jul 2007, Participants Proceedings of the Sixth International Workshop on Parallel and Distributed Methods in Verification. Enschede: Centre for Telematics and Information Technology (CTIT), 16 p. (CTIT workshop proceedings series).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Hash functions
Bandwidth
Experiments
Virtual machine
5 Citations (Scopus)

An abstract interpretation toolkit for μCRL

Valero Espada, M. & van de Pol, J., Jun 2007, In : Formal methods in system design. 30, 3, p. 249-273 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Abstract Interpretation
Labels
Algebraic Specification
Specifications
Labeled Transition System

Bug Hunting with False Negatives

Calamé, J., Ioustinova, N., van de Pol, J. C. & Sidorova, N., Jul 2007, Integrated Formal Methods. Davies, J. & Gibbons, J. (eds.). Berlin: Springer, p. 98-117 20 p. (Lecture Notes in Computer Science; vol. 4591, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 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

Distributed Analysis with µCRL: a Compendium of Case Studies

Blom, S., Calamé, J. R., Lisser, B., Orzan, S., Pang, J., van de Pol, J. C., Torabi Dashti, M. & Wijs, A. J., Jul 2007, Tools and Algorithms for the Construction and Analysis of Systems. Grumberg, O. & Huth, M. (eds.). Berlin: Springer, p. 683-689 7 p. (Lecture Notes in Computer Science; vol. 4424, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

27 Citations (Scopus)

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems

Chen, T., Ploeger, B., van de Pol, J. C. & Willemse, T. A. C., Sep 2007, CONCUR 2007 - Concurrency Theory. Caires, L. & Vasconcelos, V. T. (eds.). Berlin: Springer, p. 120-135 16 p. 10.1007/978-3-540-74407-8_9. (Lecture Notes in Computer Science; vol. 4703, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Generalizing DPLL and satisfiability for equalities

Badban, B., van de Pol, J. C., Tveretina, O. & Zantema, H., Aug 2007, In : Information and computation. 205, LNCS4549/8, p. 1188-1211 24 p., 10.1016/j.ic.2007.03.003.

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

TTCN-3 for Distributed Testing Embedded Software

Blom, S., Deiß, T., Ioustinova, N., Kontio, A., van de Pol, J. C., Rennoch, A. & Sidorova, N., Aug 2007, Perspectives of Systems Informatics. Virbitskaite, I. & Voronkov, A. (eds.). Berlin: Springer, p. 98-111 14 p. (Lecture Notes in Computer Science; vol. 4378, no. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review