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

Research Output 2007 2019

Filter
Conference contribution
2011
26 Citations (Scopus)
125 Downloads (Pure)

Multi-Core Nested Depth-First Search

Laarman, A., Langerak, R., van de Pol, J. C., Weber, M. & Wijs, A., 8 Jul 2011, Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011. Bultan, T. & Hsiung, P-A. (eds.). London: Springer, p. 321-335 15 p. (Lecture Notes in Computer Science; vol. 6996).

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

File
64 Downloads (Pure)

Parallel Recursive State Compression for Free

Laarman, A., van de Pol, J. C. & Weber, M., 14 Jul 2011, Proceedings of the 18th International SPIN Workshop, SPIN 2011. Groce, A. & Musuvathi, M. (eds.). berlin: Springer, p. 38-56 18 p. (Lecture Notes in Computer Science; vol. 6823).

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

File
8 Downloads (Pure)

Variations on Multi-Core Nested Depth-First Search

Laarman, A. & van de Pol, J. C., 14 Jul 2011, Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011. Barnat, J. & Heljanko, K. (eds.). USA: EPTCS, p. 13-28 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 72).

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

Open Access
File
Parallel algorithms
Model checking
Statistical Models
2010
5 Citations (Scopus)
58 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

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

File
16 Downloads (Pure)

Boosting Multi-Core Reachability Performance with Shared Hash Tables

Laarman, A., van de Pol, J. C. & Weber, M., 20 Oct 2010, Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design. Sharygina, N. & Bloem, R. (eds.). USA: IEEE Computer Society, p. 247-256 9 p.

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

Open Access
File
Model checking
Resource allocation
Data structures
Scalability
31 Downloads (Pure)

Confluence reduction for probabilistic systems

Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., Sep 2010, Proceedings of the 2nd Young Researchers Workshop on Concurrency Theory. Eindhoven, The Netherlands: Eindhoven University of Technology, p. 87-90 4 p.

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

File
4 Citations (Scopus)
71 Downloads (Pure)

From POOSL to UPPAAL: Transformation and Quantitative Analysis

Xing, J. S., Theelen, B. D., Langerak, R., van de Pol, J. C., Tretmans, G. J. & Voeten, J. P. M., Jun 2010, 10 International Conference on Application of Concurrency to System Design: proceedings : 21-25 June 2010, Braga, Portugal. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 47-56 10 p.

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

File
Specification languages
Motion control
Control systems
Chemical analysis
Model checking
71 Citations (Scopus)
72 Downloads (Pure)

LTSmin: Distributed and Symbolic Reachability

Blom, S., van de Pol, J. C. & Weber, M., 9 Jul 2010, Computer Aided Verification. Touili, T., Cook, B. & Jackson, P. (eds.). Berlin: Springer, p. 354-359 6 p. 10.1007/978-3-642-14295-6_31. (Lecture Notes in Computer Science; vol. 6174).

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

File
2 Citations (Scopus)
27 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
8 Citations (Scopus)
40 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)
43 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
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
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

Open Access
File
Hash functions
Bandwidth
Experiments
Virtual machine
9 Citations (Scopus)
31 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

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)
45 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)
39 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

1 Citation (Scopus)
27 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
17 Citations (Scopus)
46 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
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

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

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

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