| 2009 |
|---|
| 66 | EE | Wouter Kuijper,
Jaco van de Pol:
Computing Weakest Strategies for Safety Games of Imperfect Information.
TACAS 2009: 92-106 |
| 2008 |
|---|
| 65 | EE | Bahareh Badban,
Wan Fokkink,
Jaco van de Pol:
Mechanical Verification of a Two-Way Sliding Window Protocol.
CPA 2008: 179-202 |
| 64 | EE | Stefan Blom,
Jaco van de Pol:
Symbolic Reachability for Process Algebras with Recursive Data Types.
ICTAC 2008: 81-95 |
| 63 | EE | Rena Bakhshi,
Wan Fokkink,
Jun Pang,
Jaco van de Pol:
Leader Election in Anonymous Rings: Franklin Goes Probabilistic.
IFIP TCS 2008: 57-72 |
| 62 | EE | Taolue Chen,
Jaco van de Pol,
Yanjing Wang:
PDL over Accelerated Labeled Transition Systems.
TASE 2008: 193-200 |
| 61 | EE | Jens R. Calame,
Jaco van de Pol:
Applying Model-Based Testing to HTML Rendering Engines - A Case Study.
TestCom/FATES 2008: 250-265 |
| 60 | EE | Stefan Blom,
Bert Lisser,
Jaco van de Pol,
Michael Weber:
A Database Approach to Distributed State Space Generation.
Electr. Notes Theor. Comput. Sci. 198(1): 17-32 (2008) |
| 59 | EE | Jiri Barnat,
Jakub Chaloupka,
Jaco van de Pol:
Improved Distributed Algorithms for SCC Decomposition.
Electr. Notes Theor. Comput. Sci. 198(1): 63-77 (2008) |
| 58 | EE | Jaco van de Pol,
Michael Weber:
A Multi-Core Solver for Parity Games.
Electr. Notes Theor. Comput. Sci. 220(2): 19-34 (2008) |
| 57 | EE | Stefan Blom,
Boudewijn R. Haverkort,
Matthias Kuntz,
Jaco van de Pol:
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.
Electr. Notes Theor. Comput. Sci. 220(2): 35-50 (2008) |
| 56 | EE | Stefan Blom,
Thomas Deiß,
Natalia Ioustinova,
Ari Kontio,
Jaco van de Pol,
Axel Rennoch,
Natalia Sidorova:
Simulated time for host-based testing with TTCN-3.
Softw. Test., Verif. Reliab. 18(1): 29-49 (2008) |
| 2007 |
|---|
| 55 | | Lubos Brim,
Boudewijn R. Haverkort,
Martin Leucker,
Jaco van de Pol:
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Springer 2007 |
| 54 | EE | Taolue Chen,
Bas Ploeger,
Jaco van de Pol,
Tim A. C. Willemse:
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
CONCUR 2007: 120-135 |
| 53 | EE | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol,
Natalia Sidorova:
Bug Hunting with False Negatives.
IFM 2007: 98-117 |
| 52 | EE | 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.
TACAS 2007: 683-689 |
| 51 | EE | Judi Romijn,
Graeme Smith,
Jaco van de Pol:
Preface.
Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007) |
| 50 | EE | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol:
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction.
Electr. Notes Theor. Comput. Sci. 191: 25-48 (2007) |
| 49 | EE | Miguel Valero Espada,
Jaco van de Pol:
An abstract interpretation toolkit for µCRL.
Formal Methods in System Design 30(3): 249-273 (2007) |
| 48 | EE | Bahareh Badban,
Jaco van de Pol,
Olga Tveretina,
Hans Zantema:
Generalizing DPLL and satisfiability for equalities.
Inf. Comput. 205(8): 1188-1211 (2007) |
| 2006 |
|---|
| 47 | EE | Miguel Valero Espada,
Jaco van de Pol:
Accelerated Modal Abstractions of Labelled Transition Systems.
AMAST 2006: 338-352 |
| 46 | EE | Jens R. Calame,
Nicolae Goga,
Natalia Ioustinova,
Jaco van de Pol:
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.
CCECE 2006: 620-623 |
| 45 | EE | Stefan Blom,
Thomas Deiß,
Natalia Ioustinova,
Ari Kontio,
Jaco van de Pol,
Axel Rennoch,
Natalia Sidorova:
TTCN-3 for Distributed Testing Embedded Software.
Ershov Memorial Conference 2006: 98-111 |
| 44 | | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol:
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.
GI Jahrestagung (2) 2006: 257-261 |
| 43 | EE | Martin Leucker,
Jaco van de Pol:
Preface.
Electr. Notes Theor. Comput. Sci. 135(2): 1-2 (2006) |
| 42 | EE | Wan Fokkink,
Jun Pang,
Jaco van de Pol:
Cones and foci: A mechanical framework for protocol verification.
Formal Methods in System Design 29(1): 1-31 (2006) |
| 41 | EE | Simona Orzan,
Jaco van de Pol:
Distribution of a Simple Shared Dataspace Architecture.
Fundam. Inform. 73(4): 535-559 (2006) |
| 2005 |
|---|
| 40 | | Judi Romijn,
Graeme Smith,
Jaco van de Pol:
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings
Springer 2005 |
| 39 | EE | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol,
Natalia Sidorova:
Data Abstraction and Constraint Solving for Conformance Testing.
APSEC 2005: 541-548 |
| 38 | EE | Stefan Blom,
Natalia Ioustinova,
Jaco van de Pol,
Axel Rennoch,
Natalia Sidorova:
Simulated Time for Testing Railway Interlockings with TTCN-3.
FATES 2005: 1-15 |
| 37 | EE | Jaco van de Pol,
Olga Tveretina:
A BDD-Representation for the Logic of Equality and Uninterpreted Functions.
MFCS 2005: 769-780 |
| 36 | EE | Jaco van de Pol,
Hans Zantema:
Generalized Innermost Rewriting.
RTA 2005: 2-16 |
| 35 | EE | Bahareh Badban,
Jaco van de Pol:
Zero, successor and equality in BDDs.
Ann. Pure Appl. Logic 133(1-3): 101-123 (2005) |
| 34 | EE | Simona Orzan,
Jaco van de Pol,
Miguel Valero Espada:
A State Space Distribution Policy Based on Abstract Interpretation.
Electr. Notes Theor. Comput. Sci. 128(3): 35-45 (2005) |
| 33 | EE | Jaco van de Pol,
Miguel Valero Espada:
An Abstract Interpretation Toolkit for muCRL.
Electr. Notes Theor. Comput. Sci. 133: 295-313 (2005) |
| 32 | EE | Bahareh Badban,
Wan Fokkink,
Jan Friso Groote,
Jun Pang,
Jaco van de Pol:
Verification of a sliding window protocol in µCRL and PVS.
Formal Asp. Comput. 17(3): 342-388 (2005) |
| 31 | EE | Thomas Arts,
Jaco van de Pol:
Introductory paper.
STTT 7(3): 195-196 (2005) |
| 30 | EE | Jozef Hooman,
Jaco van de Pol:
Semantic models of a timed distributed dataspace architecture.
Theor. Comput. Sci. 331(2-3): 291-323 (2005) |
| 2004 |
|---|
| 29 | EE | Wan Fokkink,
Jan Friso Groote,
Jun Pang,
Bahareh Badban,
Jaco van de Pol:
Verifying a Sliding Window Protocol in µCRL.
AMAST 2004: 148-163 |
| 28 | EE | Jaco van de Pol,
Miguel Valero Espada:
Modal Abstractions in µCRL.
AMAST 2004: 409-425 |
| 27 | EE | Jun Pang,
Jaco van de Pol,
Miguel Valero Espada:
Abstraction of Parallel Uniform Processes with Data.
SEFM 2004: 14-23 |
| 26 | EE | Jaco van de Pol:
Introductory paper.
STTT 5(2-3): 105-106 (2004) |
| 2003 |
|---|
| 25 | EE | Jaco van de Pol,
Miguel Valero Espada:
Verification of JavaSpacesTM Parallel Programs.
ACSD 2003: 196-205 |
| 24 | EE | Simona Orzan,
Jaco van de Pol:
Verification of Distributed Dataspace Architectures.
Ershov Memorial Conference 2003: 192-206 |
| 23 | EE | Simona Orzan,
Jaco van de Pol:
Distribution of a Simple Shared Dataspace Architecture.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 22 | EE | Stefan Blom,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
New developments around the mCRL tool set.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2002 |
|---|
| 21 | EE | Stefan Blom,
Jaco van de Pol:
State Space Reduction by Proving Confluence.
CAV 2002: 596-609 |
| 20 | EE | 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.
CONCUR 2002: 1-23 |
| 19 | EE | Jaco van de Pol,
Miguel Valero Espada:
Formal Specification of JavaSpaces™ Architecture Using µCRL.
COORDINATION 2002: 274-290 |
| 18 | EE | Jozef Hooman,
Jaco van de Pol:
Equivalent Semantic Models for a Distributed Dataspace Architecture.
FMCO 2002: 182-201 |
| 17 | EE | Jaco van de Pol:
JITty: A Rewriter with Strategy Annotations.
RTA 2002: 367-370 |
| 16 | EE | Jozef Hooman,
Jaco van de Pol:
Formal verification of replication on a distributed data space architecture.
SAC 2002: 351-358 |
| 2001 |
|---|
| 15 | EE | Stefan Blom,
Wan Fokkink,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
µCRL: A Toolset for Analysing Algebraic Specifications.
CAV 2001: 250-254 |
| 14 | EE | Jaco van de Pol:
Just-in-time: On Strategy Annotations.
Electr. Notes Theor. Comput. Sci. 57: (2001) |
| 13 | | Hans Zantema,
Jaco van de Pol:
A rewriting approach to binary decision diagrams.
J. Log. Algebr. Program. 49(1-2): 61-86 (2001) |
| 2000 |
|---|
| 12 | EE | Edwin D. de Jong,
Jaco van de Pol,
Jozef Hooman:
Refinement in Requirements Specification and Analysis: A Case Study.
ECBS 2000: 290-298 |
| 11 | EE | Jan Friso Groote,
Jaco van de Pol:
Equational Binary Decision Diagrams.
LPAR 2000: 161-178 |
| 10 | EE | Jan Friso Groote,
Jaco van de Pol:
State Space Reduction Using Partial tau-Confluence.
MFCS 2000: 383-393 |
| 9 | EE | Jaco van de Pol,
Hans Zantema:
Binary Decision Diagrams by Shard Rewriting.
MFCS 2000: 609-618 |
| 1999 |
|---|
| 8 | | Jaco van de Pol,
Jozef Hooman,
Edwin D. de Jong:
Modular Formal Specification of Data and Behaviour.
IFM 1999: 109-128 |
| 1998 |
|---|
| 7 | EE | Jan Friso Groote,
François Monin,
Jaco van de Pol:
Checking Verifications of Protocols and Distributed Systems by Computer.
CONCUR 1998: 629-655 |
| 6 | EE | Jaco van de Pol:
Operational Semantics of Rewriting with Priorities.
Theor. Comput. Sci. 200(1-2): 289-312 (1998) |
| 1997 |
|---|
| 5 | | Wan Fokkink,
Jaco van de Pol:
Simulation as a Correct Transformation of Rewrite Systems.
MFCS 1997: 249-258 |
| 1996 |
|---|
| 4 | | Jan Friso Groote,
Jaco van de Pol:
A Bounded Retransmission Protocol for Large Data Packets.
AMAST 1996: 536-550 |
| 1995 |
|---|
| 3 | | Jaco van de Pol:
Two Different Strong Normalization Proofs?
HOA 1995: 201-220 |
| 2 | | Jaco van de Pol,
Helmut Schwichtenberg:
Strict Functionals for Termination Proofs.
TLCA 1995: 350-364 |
| 1993 |
|---|
| 1 | | Jaco van de Pol:
Termination Proofs for Higher-order Rewrite Systems.
HOA 1993: 305-325 |
