Jaco van de Pol

Best Publications

• µCRL: A Toolset for Analysing Algebraic Specifications

  Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde

  235
  Citations

• LTSmin: High-Performance Language-Independent Model Checking

  Unknown

  199
  Citations

• LTSMIN: distributed and symbolic reachability

  Unknown

  155
  Citations

• A Bounded Retransmission Protocol for Large Data Packets

  Jan Friso Groote;Jaco van de Pol

  135
  Citations

• State Space Reduction by Proving Confluence

  Unknown

  101
  Citations

• Boosting multi-core reachability performance with shared hash tables

  Unknown

  95
  Citations

• Formal Methods: Applications and Technology

  Luboš Brim;Boudewijn Haverkort;Martin Leucker;Jaco van de Pol

  91
  Citations

• Termination Proofs for Higher-order Rewrite Systems

  Unknown

  82
  Citations

• Improved multi-core nested depth-first search

  Unknown

  74
  Citations

• Sylvan: multi-core framework for decision diagrams

  Unknown

  73
  Citations

• A Database Approach to Distributed State-Space Generation

  Unknown

  70
  Citations

• The 2020 Expert Survey on Formal Methods

  Unknown

  70
  Citations

• Strict Functionals for Termination Proofs

  Unknown

  70
  Citations

• Sylvan: Multi-Core Decision Diagrams

  Unknown

  70
  Citations

• State Space Reduction Using Partial tau-Confluence

  Jan Friso Groote;Jan Friso Groote;Jaco van de Pol

  68
  Citations

• Distributed Algorithms for SCC Decomposition

  Unknown

  68
  Citations

• Multi-core nested depth-first search

  Unknown

  66
  Citations

• Towards Model Checking Executable UML Specifications in mCRL2

  Unknown

  65
  Citations

• Multi-core LTSmin: marrying modularity and scalability

  Unknown

  64
  Citations

• Equational binary decision diagrams

  Jan Friso Groote;Jaco van de Pol

  62
  Citations