Jaco van de Pol

prof.dr.

20072022

Research activity per year

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

Search results

  • 2022

    Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

    Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V. & Pol, J. V. D., 3 Jan 2022, In: Information systems. 103, 0306-4379, 101456.

    Research output: Contribution to journalArticleAcademicpeer-review

    1 Downloads (Pure)
  • 2021

    An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation

    Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N., 15 Nov 2021, In: Frontiers in bioengineering and biotechnology. 9, 21 p., 732917.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    16 Downloads (Pure)
  • 2020

    Automated Verification of Parallel Nested DFS

    Oortwijn, W., Huisman, M., Joosten, S. J. C. & Pol, J. V. D., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 247-265 (Lecture Notes in Computer Science; vol. 12078).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    44 Downloads (Pure)
  • ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease

    Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., Pol, J. V. D., Langerak, R., Wijnen, A. J. V., Geris, L., Karperien, M. & Post, J. N., 1 Apr 2020, In: Cellular Signalling. 68, 109471.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    107 Downloads (Pure)
  • The 2020 Expert Survey on Formal Methods

    Garavel, H., Ter Beek, M. H. & Van De Pol, J., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (eds.). Springer, p. 3-69 67 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).

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

    14 Citations (Scopus)
  • 2019

    Concurrent algorithms and data structures for model checking

    van de Pol, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Dagstuhl, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

    Open Access
    File
    168 Downloads (Pure)
  • Concurrent chaining hash maps for software model checking

    van der Berg, F. I. & van de Pol, J., Oct 2019, 2019 Formal Methods in Computer Aided Design (FMCAD). Barrett, C. & Yang, J. (eds.). Piscataway, NY: IEEE, p. 46-54 9 p. 8894279. (Proceedings of the Conference on Formal Methods in Computer-Aided Design (FMCAD); vol. 2019).

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

    2 Citations (Scopus)
  • Minimal-time synthesis for parametric timed automata

    André, É., Bloemen, V., Petrucci, L. & van de Pol, J., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 211-228 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    2 Citations (Scopus)
    39 Downloads (Pure)
  • Model checking with generalized Rabin and Fin-less automata

    Bloemen, V., Duret-Lutz, A. & van de Pol, J., 1 Jun 2019, In: International journal on software tools for technology transfer. 21, 3, p. 307-324 18 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    43 Downloads (Pure)
  • Multi-core On-The-Fly Saturation

    van Dijk, T., Meijer, J. & van de Pol, J., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 58-75 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

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

    Open Access
    File
    2 Citations (Scopus)
    83 Downloads (Pure)
  • Software Architecture of Modern Model Checkers

    Kordon, F., Leuschel, M., Pol, J. V. D. & Thierry-Mieg, Y., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 393-419 27 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    3 Citations (Scopus)
  • Sound black-box checking in the LearnLib

    Meijer, J. & van de Pol, J., 1 Sep 2019, In: Innovations in systems and software engineering. 15, 3-4, p. 267-287 21 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    46 Downloads (Pure)
  • Synchronous or Alternating? LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin

    van de Pol, J. & Meijer, J., 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Margaria, T., Graf, S. & Larsen, K. G. (eds.). Cham: Springer, p. 417-430 14 p. (Lecture Notes in Computer Science; vol. 11200)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    1 Citation (Scopus)
  • 2018

    Adaptive Learning for Learn-Based Regression Testing

    Huistra, D., Meijer, J. & Pol, J. V. D., Sep 2018, Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer, p. 162-177 16 p. (Lecture Notes in Computer Science; vol. 11119).

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

    Open Access
    File
    6 Citations (Scopus)
    124 Downloads (Pure)
  • Layered and Collecting NDFS with Subsumption for Parametric Timed Automata

    Nguyen, H. G., Petrucci, L. & Pol, J. V. D., Dec 2018, 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018. Lin, A. W. & Sun, J. (eds.). IEEE Xplore: IEEE Canada, 9 p.

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

    Open Access
    File
    5 Citations (Scopus)
    128 Downloads (Pure)
  • Maximizing Synchronization for Aligning Observed and Modelled Behaviour

    Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F. & van de Pol, J., 2018, Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings. Weske, M., Montali, M., vom Brocke, J. & Weber, I. (eds.). Cham: Springer, Vol. 11080. p. 233-249 17 p.

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

    Open Access
    File
    9 Citations (Scopus)
    184 Downloads (Pure)
  • MCC'2017 - The Seventh Model Checking Contest

    Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E. G., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Botlan, D. L., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., Pol, J. V. D. & Wolf, K., 21 Nov 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). p. 181-209 29 p. (Lecture notes in computer science; vol. 11090).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    7 Citations (Scopus)
  • Multi-core Decision Diagrams

    van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    144 Downloads (Pure)
  • Multi-core symbolic bisimulation minimisation

    van Dijk, T. & van de Pol, J., Apr 2018, In: International journal on software tools for technology transfer. 20, 2, p. 157-177 21 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    8 Citations (Scopus)
    50 Downloads (Pure)
  • Parallel Model Checking Algorithms for Linear-Time Temporal Logic

    Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    12 Citations (Scopus)
    170 Downloads (Pure)
  • Parameter Synthesis Algorithms for Parametric Interval Markov Chains

    Petrucci, L. & van de Pol, J., Jun 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Baier, C. & Caires, L. (eds.). Cham: Springer, p. 121-140 20 p. (Lecture Notes in Computer Science; vol. 10854).

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

    Open Access
    File
    3 Citations (Scopus)
    113 Downloads (Pure)
  • Sound Black-Box Checking in the LearnLib

    Meijer, J. & van de Pol, J., 11 Mar 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Muñoz, C. A. & Narkawicz, A. (eds.). Cham: Springer, p. 349-366 18 p. (Lecture Notes in Computer Science; vol. 10811).

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

    Open Access
    File
    5 Citations (Scopus)
    264 Downloads (Pure)
  • Symbolically Aligning Observed and Modelled Behaviour

    Bloemen, V., van de Pol, J. & van der Aalst, W. M. P., 2018, 2018 18th International Conference on Application of Concurrency to System Design : Proceedings. IEEE, p. 50-59 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    11 Citations (Scopus)
    137 Downloads (Pure)
  • 2017

    Distributed Binary Decision Diagrams for Symbolic Reachability

    Oortwijn, W., van Dijk, T. & van de Pol, J., Jul 2017, SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM), p. 21-30 10 p.

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

    6 Citations (Scopus)
    1 Downloads (Pure)
  • Explicit State Model Checking with Generalized Büchi and Rabin Automata

    Bloemen, V., Duret-Lutz, A. & van de Pol, J., Jul 2017, SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery (ACM), p. 50-59 10 p.

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

    1 Citation (Scopus)
    3 Downloads (Pure)
  • Improving the Timed Automata Approach to Biological Pathway Dynamics

    Langerak, R., van de Pol, J., Post, J. N. & Schivo, S., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460).

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

    Open Access
    File
    1 Citation (Scopus)
    143 Downloads (Pure)
  • Parallel Algorithms for Model Checking

    van de Pol, J., Nov 2017, Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. Mousavi, M. R. & Sgall, J. (eds.). Springer, p. xv-xvi 2 p. (Lecture Notes in Computer Science; vol. 10608).

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

  • Property-Preserving Generation of Tailored Benchmark Petri Nets

    Bernhard, S., Jasper, M., Meijer, J. & van de Pol, J., Jun 2017, 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings. Piscataway, NJ: IEEE Computer Society, 8 p.

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

    Open Access
    File
    13 Citations (Scopus)
    155 Downloads (Pure)
  • Sylvan: multi-core framework for decision diagrams

    van Dijk, T. & van de Pol, J., Nov 2017, In: International journal on software tools for technology transfer. 19, 6, p. 675-696 22 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    21 Citations (Scopus)
    83 Downloads (Pure)
  • The RERS 2017 Challenge and Workshop

    Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., Howar, F. & Siegel, S. F., Jul 2017, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York: ACM Inc., p. 11-20 10 p.

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

    14 Citations (Scopus)
    1 Downloads (Pure)
  • 2016

    An ECHO in biology II: Insights in chondrocyte cell fate

    Schivo, S., Scholma, J., Huang, X., Huang, X., Zhong, L., Zhong, L., van de Pol, J. C., Karperien, H. B. J., Langerak, R. & Post, J. N., Apr 2016, p. S176-S177. 1 p.

    Research output: Contribution to conferenceAbstractOther research output

    File
    28 Downloads (Pure)
  • Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis

    Meijer, J. & van de Pol, J. C., 7 Jun 2016, NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Rayadurgam, S. & Tkachuk, O. (eds.). Springer, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690).

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

    Open Access
    File
    19 Citations (Scopus)
    297 Downloads (Pure)
  • Confluence reduction for Markov automata

    Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In: Theoretical computer science. 655, B, p. 193-219 27 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    7 Citations (Scopus)
    149 Downloads (Pure)
  • Guard-based partial-order reduction

    Laarman, A., Pater, E., van de Pol, J. & Hansen, H., Aug 2016, In: International journal on software tools for technology transfer. 18, 4, p. 427-448 22 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    9 Citations (Scopus)
    61 Downloads (Pure)
  • Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata

    Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2016, Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. USA: IEEE Computer Society, p. 114-123 10 p.

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

    File
    7 Citations (Scopus)
    128 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
    77 Downloads (Pure)
  • Modelling with ANIMO: between fuzzy logic and differential equations

    Schivo, S., Scholma, J., van der Vet, P. E., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 27 Jul 2016, In: BMC systems biology. 10, p. 56 15 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    14 Citations (Scopus)
    3 Downloads (Pure)
  • Multi-Core On-The-Fly SCC Decomposition

    Bloemen, V., Laarman, A. & van de Pol, J. C., Mar 2016, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016. New York: Association for Computing Machinery (ACM), p. 8 12 p.

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

    File
    20 Citations (Scopus)
    446 Downloads (Pure)
  • Multi-core SCC-Based LTL Model Checking

    Bloemen, V. & van de Pol, J. C., Nov 2016, Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016. Bloem, R. & Arbel, E. (eds.). Cham: Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028).

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

    File
    11 Citations (Scopus)
    57 Downloads (Pure)
  • Multi-core Symbolic Bisimulation Minimisation

    van Dijk, T. & van de Pol, J. C., Apr 2016, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Chechik, M. & Raskin, J-F. (eds.). Berlin: Springer, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636).

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

    File
    5 Citations (Scopus)
    29 Downloads (Pure)
  • Partial-Order Reduction for GPU Model Checking

    Neele, T., Wijs, A., Bosnacki, D. & van de Pol, J. C., Oct 2016, Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016. Artho, C., Legay, A. & Peled, D. (eds.). Berlin: Springer, p. 357-374 18 p. (Lecture Notes in Computer Science; vol. 9938).

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

    File
    8 Citations (Scopus)
    60 Downloads (Pure)
  • Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

    Huisman, M. (ed.) & van de Pol, J. (ed.), Oct 2016, In: Science of computer programming. 128, p. 1-1 1 p.

    Research output: Contribution to journalArticleAcademic

    File
    101 Downloads (Pure)
  • RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

    Geske, M., Jasper, M., Steffen, B., Howar, F., Schordan, M. & van de Pol, J. C., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 787-803 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

    Open Access
    File
    13 Citations (Scopus)
    84 Downloads (Pure)
  • Software that meets its Intent

    Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

    1 Citation (Scopus)
  • Symbolic Reachability Analysis of B through ProB and LTSmin

    Bendisposto, J., Körner, P., Leuschel, M., Meijer, J., van de Pol, J. C., Treharne, H. & Whitefield, J., Jun 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Cham: Springer, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681).

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

    Open Access
    File
    6 Citations (Scopus)
    145 Downloads (Pure)
  • Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO

    Ahmad, W. & van de Pol, J. C., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). London: Springer, p. 94-113 20 p. (Lecture Notes in Computer Science; vol. 9952).

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

    Open Access
    File
    4 Citations (Scopus)
    139 Downloads (Pure)
  • 2015

    A Distributed Hash Table for Shared Memory

    Oortwijn, W. H. M., van Dijk, T. & van de Pol, J. C., Sep 2015, Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II. Wyrzykowski, R., Deelman, E., Dongarra, J., Karczewski, K., Kitowski, J. & Wiatr, K. (eds.). London: Springer, p. 15-24 10 p. (Lecture Notes in Computer Science; vol. 9574).

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

    Open Access
    File
    2 Citations (Scopus)
    53 Downloads (Pure)
  • Automated Verification of Nested DFS

    van de Pol, J. C., Jun 2015, Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015). Núñez, M. & Güdemann, M. (eds.). Heidelberg: Springer, p. 181-197 17 p. (Lecture Notes in Computer Science; vol. 9128).

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

    File
    2 Citations (Scopus)
    473 Downloads (Pure)
  • Open Access
    File
    17 Downloads (Pure)
  • Green computing: power optimisation of vfi-based real-time multiprocessor dataflow applications

    Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 26 Aug 2015, 18th Euromicro Conference on Digital Systems Design (DSD 2015). USA: IEEE Computer Society, p. 271-275 5 p.

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

    8 Citations (Scopus)