The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jaco van de Pol: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jaco van de Pol, Miguel Valero Espada
    Verification of JavaSpacesTM Parallel Programs. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:196-205 [Conf]
  2. Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol
    Verifying a Sliding Window Protocol in µCRL. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:148-163 [Conf]
  3. Jan Friso Groote, Jaco van de Pol
    A Bounded Retransmission Protocol for Large Data Packets. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:536-550 [Conf]
  4. Jaco van de Pol, Miguel Valero Espada
    Modal Abstractions in µCRL. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:409-425 [Conf]
  5. Miguel Valero Espada, Jaco van de Pol
    Accelerated Modal Abstractions of Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:338-352 [Conf]
  6. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
    Data Abstraction and Constraint Solving for Conformance Testing. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:541-548 [Conf]
  7. Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
    µCRL: A Toolset for Analysing Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:250-254 [Conf]
  8. Stefan Blom, Jaco van de Pol
    State Space Reduction by Proving Confluence. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:596-609 [Conf]
  9. Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein
    Refinement and Verification Applied to an In-Flight Data Acquisition Unit. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:1-23 [Conf]
  10. Jan Friso Groote, François Monin, Jaco van de Pol
    Checking Verifications of Protocols and Distributed Systems by Computer. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:629-655 [Conf]
  11. Jaco van de Pol, Miguel Valero Espada
    Formal Specification of JavaSpaces™ Architecture Using µCRL. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:274-290 [Conf]
  12. Edwin D. de Jong, Jaco van de Pol, Jozef Hooman
    Refinement in Requirements Specification and Analysis: A Case Study. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:290-298 [Conf]
  13. Simona Orzan, Jaco van de Pol
    Verification of Distributed Dataspace Architectures. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2003, pp:192-206 [Conf]
  14. Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
    Simulated Time for Testing Railway Interlockings with TTCN-3. [Citation Graph (0, 0)][DBLP]
    FATES, 2005, pp:1-15 [Conf]
  15. Jozef Hooman, Jaco van de Pol
    Equivalent Semantic Models for a Distributed Dataspace Architecture. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:182-201 [Conf]
  16. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol
    Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2006, pp:257-261 [Conf]
  17. Jaco van de Pol
    Termination Proofs for Higher-order Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:305-325 [Conf]
  18. Jaco van de Pol
    Two Different Strong Normalization Proofs? [Citation Graph (0, 0)][DBLP]
    HOA, 1995, pp:201-220 [Conf]
  19. Jaco van de Pol, Jozef Hooman, Edwin D. de Jong
    Modular Formal Specification of Data and Behaviour. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:109-128 [Conf]
  20. Jan Friso Groote, Jaco van de Pol
    Equational Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:161-178 [Conf]
  21. Wan Fokkink, Jaco van de Pol
    Simulation as a Correct Transformation of Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:249-258 [Conf]
  22. Jan Friso Groote, Jaco van de Pol
    State Space Reduction Using Partial tau-Confluence. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:383-393 [Conf]
  23. Jaco van de Pol, Olga Tveretina
    A BDD-Representation for the Logic of Equality and Uninterpreted Functions. [Citation Graph (0, 0)][DBLP]
    MFCS, 2005, pp:769-780 [Conf]
  24. Jaco van de Pol, Hans Zantema
    Binary Decision Diagrams by Shard Rewriting. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:609-618 [Conf]
  25. Jaco van de Pol
    JITty: A Rewriter with Strategy Annotations. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:367-370 [Conf]
  26. Jaco van de Pol, Hans Zantema
    Generalized Innermost Rewriting. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:2-16 [Conf]
  27. Jozef Hooman, Jaco van de Pol
    Formal verification of replication on a distributed data space architecture. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:351-358 [Conf]
  28. Jun Pang, Jaco van de Pol, Miguel Valero Espada
    Abstraction of Parallel Uniform Processes with Data. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:14-23 [Conf]
  29. Jaco van de Pol, Helmut Schwichtenberg
    Strict Functionals for Termination Proofs. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:350-364 [Conf]
  30. Bahareh Badban, Jaco van de Pol
    Zero, successor and equality in BDDs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:101-123 [Journal]
  31. Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol
    New developments around the mCRL tool set. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  32. Martin Leucker, Jaco van de Pol
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:1-2 [Journal]
  33. Simona Orzan, Jaco van de Pol
    Distribution of a Simple Shared Dataspace Architecture. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  34. Simona Orzan, Jaco van de Pol, Miguel Valero Espada
    A State Space Distribution Policy Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:35-45 [Journal]
  35. Jaco van de Pol, Miguel Valero Espada
    An Abstract Interpretation Toolkit for muCRL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:295-313 [Journal]
  36. Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol
    Verification of a sliding window protocol in µCRL and PVS. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:3, pp:342-388 [Journal]
  37. Wan Fokkink, Jun Pang, Jaco van de Pol
    Cones and foci: A mechanical framework for protocol verification. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:1, pp:1-31 [Journal]
  38. Simona Orzan, Jaco van de Pol
    Distribution of a Simple Shared Dataspace Architecture. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:535-559 [Journal]
  39. Hans Zantema, Jaco van de Pol
    A rewriting approach to binary decision diagrams. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2001, v:49, n:1-2, pp:61-86 [Journal]
  40. Jaco van de Pol
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:105-106 [Journal]
  41. Thomas Arts, Jaco van de Pol
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:3, pp:195-196 [Journal]
  42. Jaco van de Pol
    Just-in-time: On Strategy Annotations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:57, n:, pp:- [Journal]
  43. Jaco van de Pol
    Operational Semantics of Rewriting with Priorities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:200, n:1-2, pp:289-312 [Journal]
  44. Jozef Hooman, Jaco van de Pol
    Semantic models of a timed distributed dataspace architecture. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:2-3, pp:291-323 [Journal]
  45. Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
    Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:120-135 [Conf]
  46. Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova
    TTCN-3 for Distributed Testing Embedded Software. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:98-111 [Conf]
  47. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
    Bug Hunting with False Negatives. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:98-117 [Conf]
  48. Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
    Distributed Analysis with mu CRL: A Compendium of Case Studies. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:683-689 [Conf]
  49. Jens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol
    TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. [Citation Graph (0, 0)][DBLP]
    CCECE, 2006, pp:620-623 [Conf]
  50. Miguel Valero Espada, Jaco van de Pol
    An abstract interpretation toolkit for µCRL. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:30, n:3, pp:249-273 [Journal]
  51. Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema
    Generalizing DPLL and satisfiability for equalities. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:8, pp:1188-1211 [Journal]

  52. State Space Reduction of Linear Processes Using Control Flow Reconstruction. [Citation Graph (, )][DBLP]


  53. LTSmin: Distributed and Symbolic Reachability. [Citation Graph (, )][DBLP]


  54. Compositional Control Synthesis for Partially Observable Systems. [Citation Graph (, )][DBLP]


  55. Symbolic Reachability for Process Algebras with Recursive Data Types. [Citation Graph (, )][DBLP]


  56. Leader Election in Anonymous Rings: Franklin Goes Probabilistic. [Citation Graph (, )][DBLP]


  57. Applying Model-Based Testing to HTML Rendering Engines - A Case Study. [Citation Graph (, )][DBLP]


  58. Computing Weakest Strategies for Safety Games of Imperfect Information. [Citation Graph (, )][DBLP]


  59. PDL over Accelerated Labeled Transition Systems. [Citation Graph (, )][DBLP]


  60. Mechanical Verification of a Two-Way Sliding Window Protocol. [Citation Graph (, )][DBLP]


  61. Distributed Branching Bisimulation Minimization by Inductive Signatures [Citation Graph (, )][DBLP]


  62. Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation [Citation Graph (, )][DBLP]


  63. Boosting Multi-Core Reachability Performance with Shared Hash Tables [Citation Graph (, )][DBLP]


  64. Improved Distributed Algorithms for SCC Decomposition. [Citation Graph (, )][DBLP]


  65. Preface. [Citation Graph (, )][DBLP]


  66. Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. [Citation Graph (, )][DBLP]


  67. A Database Approach to Distributed State Space Generation. [Citation Graph (, )][DBLP]


  68. Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. [Citation Graph (, )][DBLP]


  69. A Multi-Core Solver for Parity Games. [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.049secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002