Jaco van de Pol

	2012
93		Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer: A linear process-algebraic format with data for probabilistic automata. Theor. Comput. Sci. 413(1): 36-57 (2012)
	2011
92		Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs: Multi-core Nested Depth-First Search. ATVA 2011: 321-335
91		Alfons Laarman, Jaco van de Pol, Michael Weber: Multi-Core LTSmin: Marrying Modularity and Scalability. NASA Formal Methods 2011: 506-511
90		Alfons Laarman, Jaco van de Pol: Variations on Multi-Core Nested Depth-First Search PDMC 2011: 13-28
89		Alfons Laarman, Jaco van de Pol, Michael Weber: Parallel Recursive State Compression for Free. SPIN 2011: 38-56
88		Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol: Confluence Reduction for Probabilistic Systems. TACAS 2011: 311-325
87		Alfons Laarman, Jaco van de Pol, Michael Weber: Parallel Recursive State Compression for Free CoRR abs/1104.3119: (2011)
86		Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Distributed Algorithms for SCC Decomposition. J. Log. Comput. 21(1): 23-44 (2011)
85		Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21(1): 45-62 (2011)
84		Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol: On the axiomatizability of priority II. Theor. Comput. Sci. 412(28): 3035-3044 (2011)
83		Jan A. Bergstra, Jaco van de Pol: A calculus for four-valued sequential logic. Theor. Comput. Sci. 412(28): 3122-3128 (2011)
	2010
82		Jaco van de Pol, Michael Weber: Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings Springer 2010
81		Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer: A Linear Process-Algebraic Format for Probabilistic Systems with Data. ACSD 2010: 213-222
80		Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten: From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD 2010: 47-56
79		Stefan Blom, Jaco van de Pol, Michael Weber: LTSmin: Distributed and Symbolic Reachability. CAV 2010: 354-359
78		Alfons Laarman, Jaco van de Pol, Michael Weber: Boosting multi-core reachability performance with shared hash tables. FMCAD 2010: 247-255
77		Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos: Automated Verification of Executable UML Models. FMCO 2010: 225-250
76		Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten: UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) 2010: 160-174
75		Alfons Laarman, Jaco van de Pol, Michael Weber: Boosting Multi-Core Reachability Performance with Shared Hash Tables CoRR abs/1004.2772: (2010)
74		Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol: Confluence Reduction for Probabilistic Systems (extended version) CoRR abs/1011.2314: (2010)
73		Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol: Towards model checking executable UML specifications in mCRL2. ISSE 6(1-2): 83-90 (2010)
	2009
72		Lubos Brim, Jaco van de Pol: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation PDMC 2009
71		Jaco van de Pol, Mark Timmer: State Space Reduction of Linear Processes Using Control Flow Reconstruction. ATVA 2009: 54-68
70		Wouter Kuijper, Jaco van de Pol: Compositional Control Synthesis for Partially Observable Systems. CONCUR 2009: 431-447
69		Stefan Blom, Jaco van de Pol: Distributed Branching Bisimulation Minimization by Inductive Signatures PDMC 2009: 32-46
68		Wouter Kuijper, Jaco van de Pol: Computing Weakest Strategies for Safety Games of Imperfect Information. TACAS 2009: 92-106
67		Anton Wijs, Jaco van de Pol, Elena M. Bortnik: Solving scheduling problems by untimed model checking. STTT 11(5): 375-392 (2009)
	2008
66		Bahareh Badban, Wan Fokkink, Jaco van de Pol: Mechanical Verification of a Two-Way Sliding Window Protocol. CPA 2008: 179-202
65		Stefan Blom, Jaco van de Pol: Symbolic Reachability for Process Algebras with Recursive Data Types. ICTAC 2008: 81-95
64		Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol: Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS 2008: 57-72
63		Taolue Chen, Jaco van de Pol, Yanjing Wang: PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200
62		Jens R. Calame, Jaco van de Pol: Applying Model-Based Testing to HTML Rendering Engines - A Case Study. TestCom/FATES 2008: 250-265
61		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)
60		Jiri Barnat, Jakub Chaloupka, Jaco van de Pol: Improved Distributed Algorithms for SCC Decomposition. Electr. Notes Theor. Comput. Sci. 198(1): 63-77 (2008)
59		Jaco van de Pol, Michael Weber: A Multi-Core Solver for Parity Games. Electr. Notes Theor. Comput. Sci. 220(2): 19-34 (2008)
58		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)
57		Pepijn Crouzen, Jaco van de Pol, Arend Rensink: Applying formal methods to gossiping networks with mCRL and groove. SIGMETRICS Performance Evaluation Review 36(3): 7-16 (2008)
56		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		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		Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Bug Hunting with False Negatives. IFM 2007: 98-117
52		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		Judi Romijn, Graeme Smith, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007)
50		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		Miguel Valero Espada, Jaco van de Pol: An abstract interpretation toolkit for µCRL. Formal Methods in System Design 30(3): 249-273 (2007)
48		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		Miguel Valero Espada, Jaco van de Pol: Accelerated Modal Abstractions of Labelled Transition Systems. AMAST 2006: 338-352
46		Jens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol: TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. CCECE 2006: 620-623
45		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		Martin Leucker, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 135(2): 1-2 (2006)
42		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		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		Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548
38		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		Jaco van de Pol, Olga Tveretina: A BDD-Representation for the Logic of Equality and Uninterpreted Functions. MFCS 2005: 769-780
36		Jaco van de Pol, Hans Zantema: Generalized Innermost Rewriting. RTA 2005: 2-16
35		Bahareh Badban, Jaco van de Pol: Zero, successor and equality in BDDs. Ann. Pure Appl. Logic 133(1-3): 101-123 (2005)
34		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		Jaco van de Pol, Miguel Valero Espada: An Abstract Interpretation Toolkit for muCRL. Electr. Notes Theor. Comput. Sci. 133: 295-313 (2005)
32		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		Thomas Arts, Jaco van de Pol: Introductory paper. STTT 7(3): 195-196 (2005)
30		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		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		Jaco van de Pol, Miguel Valero Espada: Modal Abstractions in µCRL. AMAST 2004: 409-425
27		Jun Pang, Jaco van de Pol, Miguel Valero Espada: Abstraction of Parallel Uniform Processes with Data. SEFM 2004: 14-23
26		Jaco van de Pol: Introductory paper. STTT 5(2-3): 105-106 (2004)
	2003
25		Jaco van de Pol, Miguel Valero Espada: Verification of JavaSpacesTM Parallel Programs. ACSD 2003: 196-205
24		Simona Orzan, Jaco van de Pol: Verification of Distributed Dataspace Architectures. Ershov Memorial Conference 2003: 192-206
23		Simona Orzan, Jaco van de Pol: Distribution of a Simple Shared Dataspace Architecture. Electr. Notes Theor. Comput. Sci. 68(3): 371-388 (2003)
22		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: 284-288 (2003)
	2002
21		Stefan Blom, Jaco van de Pol: State Space Reduction by Proving Confluence. CAV 2002: 596-609
20		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		Jaco van de Pol, Miguel Valero Espada: Formal Specification of JavaSpaces™ Architecture Using µCRL. COORDINATION 2002: 274-290
18		Jozef Hooman, Jaco van de Pol: Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO 2002: 182-201
17		Jaco van de Pol: JITty: A Rewriter with Strategy Annotations. RTA 2002: 367-370
16		Jozef Hooman, Jaco van de Pol: Formal verification of replication on a distributed data space architecture. SAC 2002: 351-358
	2001
15		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		Jaco van de Pol: Just-in-time: On Strategy Annotations. Electr. Notes Theor. Comput. Sci. 57: 41-63 (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		Edwin D. de Jong, Jaco van de Pol, Jozef Hooman: Refinement in Requirements Specification and Analysis: A Case Study. ECBS 2000: 290-298
11		Jan Friso Groote, Jaco van de Pol: Equational Binary Decision Diagrams. LPAR 2000: 161-178
10		Jan Friso Groote, Jaco van de Pol: State Space Reduction Using Partial tau-Confluence. MFCS 2000: 383-393
9		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		Jan Friso Groote, François Monin, Jaco van de Pol: Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR 1998: 629-655
6		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

Coauthor Index

1	Luca Aceto	[84]
2	Thomas Arts	[31]
3	Bahareh Badban	[29] [32] [35] [48] [66]
4	Rena Bakhshi	[64]
5	Jiri Barnat	[60] [86]
6	Jan A. Bergstra	[83]
7	Stefan Blom	[15] [21] [22] [38] [45] [52] [56] [58] [61] [65] [69] [79] [85]
8	Elena M. Bortnik	[67]
9	Lubos Brim	[55] [72]
10	Jens R. Calame	[39] [44] [46] [50] [52] [53] [62]
11	Jakub Chaloupka	[60] [86]
12	Taolue Chen	[54] [63] [84]
13	Pepijn Crouzen	[57]
14	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[52]
15	Thomas Deiß	[45] [56]
16	Miguel Valero Espada	[19] [25] [27] [28] [33] [34] [47] [49]
17	Wan Fokkink	[5] [15] [20] [29] [32] [42] [64] [66]
18	Nicolae Goga	[46]
19	Jan Friso Groote	[4] [7] [10] [11] [15] [22] [29] [32]
20	Helle Hvid Hansen	[73] [77]
21	Boudewijn R. Haverkort	[55] [58]
22	Jozef Hooman	[8] [12] [16] [18] [30]
23	Anna Ingólfsdóttir	[84]
24	Natalia Ioustinova	[20] [38] [39] [44] [45] [46] [50] [53] [56]
25	Edwin D. de Jong	[8] [12]
26	Joost-Pieter Katoen	[81] [93]
27	Ernst Kesseler	[20]
28	Jeroen Ketema	[73] [77]
29	Ari Kontio	[45] [56]
30	Wouter Kuijper	[68] [70]
31	Matthias Kuntz	[58]
32	Alfons Laarman	[75] [78] [87] [89] [90] [91] [92]
33	Rom Langerak	[76] [80] [92]
34	Izak van Langevelde	[15] [22]
35	Martin Leucker	[43] [55]
36	Bert Lisser	[15] [22] [52] [61] [85]
37	Bas Luttik (S. P. Luttik)	[73] [77] [84]
38	François Monin	[7]
39	Mohammad Reza Mousavi	[73] [77]
40	Simona Orzan	[23] [24] [34] [41] [52]
41	Jun Pang	[27] [29] [32] [42] [52] [64]
42	Bas Ploeger	[54]
43	Axel Rennoch	[38] [45] [56]
44	Arend Rensink	[57]
45	Judi Romijn	[40] [51]
46	Osmar Marchi dos Santos	[77]
47	Helmut Schwichtenberg	[2]
48	Natalia Sidorova	[38] [39] [45] [53] [56]
49	Graeme Smith	[40] [51]
50	Mariëlle Stoelinga	[74] [81] [88] [93]
51	Bart D. Theelen	[76] [80]
52	Mark Timmer	[71] [74] [81] [88] [93]
53	Jan Tretmans	[76] [80]
54	Olga Tveretina	[37] [48]
55	Yaroslav S. Usenko	[20]
56	Jeroen Voeten	[76] [80]
57	Yanjing Wang	[63]
58	Michael Weber	[59] [61] [75] [78] [79] [82] [85] [87] [89] [91] [92]
59	Anton Wijs	[52] [67] [92]
60	Tim A. C. Willemse	[54]
61	Jiansheng Xing	[76] [80]
62	Yuri A. Yushtein	[20]
63	Hans Zantema	[9] [13] [36] [48]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page