dblp.uni-trier.dewww.uni-trier.de

Jaco van de Pol

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
66EEWouter Kuijper, Jaco van de Pol: Computing Weakest Strategies for Safety Games of Imperfect Information. TACAS 2009: 92-106
2008
65EEBahareh Badban, Wan Fokkink, Jaco van de Pol: Mechanical Verification of a Two-Way Sliding Window Protocol. CPA 2008: 179-202
64EEStefan Blom, Jaco van de Pol: Symbolic Reachability for Process Algebras with Recursive Data Types. ICTAC 2008: 81-95
63EERena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol: Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS 2008: 57-72
62EETaolue Chen, Jaco van de Pol, Yanjing Wang: PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200
61EEJens R. Calame, Jaco van de Pol: Applying Model-Based Testing to HTML Rendering Engines - A Case Study. TestCom/FATES 2008: 250-265
60EEStefan 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)
59EEJiri Barnat, Jakub Chaloupka, Jaco van de Pol: Improved Distributed Algorithms for SCC Decomposition. Electr. Notes Theor. Comput. Sci. 198(1): 63-77 (2008)
58EEJaco van de Pol, Michael Weber: A Multi-Core Solver for Parity Games. Electr. Notes Theor. Comput. Sci. 220(2): 19-34 (2008)
57EEStefan 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)
56EEStefan 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
54EETaolue 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
53EEJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Bug Hunting with False Negatives. IFM 2007: 98-117
52EEStefan 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
51EEJudi Romijn, Graeme Smith, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 191: 1-2 (2007)
50EEJens 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)
49EEMiguel Valero Espada, Jaco van de Pol: An abstract interpretation toolkit for µCRL. Formal Methods in System Design 30(3): 249-273 (2007)
48EEBahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema: Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205(8): 1188-1211 (2007)
2006
47EEMiguel Valero Espada, Jaco van de Pol: Accelerated Modal Abstractions of Labelled Transition Systems. AMAST 2006: 338-352
46EEJens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol: TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. CCECE 2006: 620-623
45EEStefan 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
43EEMartin Leucker, Jaco van de Pol: Preface. Electr. Notes Theor. Comput. Sci. 135(2): 1-2 (2006)
42EEWan 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)
41EESimona 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
39EEJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova: Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005: 541-548
38EEStefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15
37EEJaco van de Pol, Olga Tveretina: A BDD-Representation for the Logic of Equality and Uninterpreted Functions. MFCS 2005: 769-780
36EEJaco van de Pol, Hans Zantema: Generalized Innermost Rewriting. RTA 2005: 2-16
35EEBahareh Badban, Jaco van de Pol: Zero, successor and equality in BDDs. Ann. Pure Appl. Logic 133(1-3): 101-123 (2005)
34EESimona 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)
33EEJaco van de Pol, Miguel Valero Espada: An Abstract Interpretation Toolkit for muCRL. Electr. Notes Theor. Comput. Sci. 133: 295-313 (2005)
32EEBahareh 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)
31EEThomas Arts, Jaco van de Pol: Introductory paper. STTT 7(3): 195-196 (2005)
30EEJozef Hooman, Jaco van de Pol: Semantic models of a timed distributed dataspace architecture. Theor. Comput. Sci. 331(2-3): 291-323 (2005)
2004
29EEWan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163
28EEJaco van de Pol, Miguel Valero Espada: Modal Abstractions in µCRL. AMAST 2004: 409-425
27EEJun Pang, Jaco van de Pol, Miguel Valero Espada: Abstraction of Parallel Uniform Processes with Data. SEFM 2004: 14-23
26EEJaco van de Pol: Introductory paper. STTT 5(2-3): 105-106 (2004)
2003
25EEJaco van de Pol, Miguel Valero Espada: Verification of JavaSpacesTM Parallel Programs. ACSD 2003: 196-205
24EESimona Orzan, Jaco van de Pol: Verification of Distributed Dataspace Architectures. Ershov Memorial Conference 2003: 192-206
23EESimona Orzan, Jaco van de Pol: Distribution of a Simple Shared Dataspace Architecture. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
22EEStefan 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
21EEStefan Blom, Jaco van de Pol: State Space Reduction by Proving Confluence. CAV 2002: 596-609
20EEWan 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
19EEJaco van de Pol, Miguel Valero Espada: Formal Specification of JavaSpaces™ Architecture Using µCRL. COORDINATION 2002: 274-290
18EEJozef Hooman, Jaco van de Pol: Equivalent Semantic Models for a Distributed Dataspace Architecture. FMCO 2002: 182-201
17EEJaco van de Pol: JITty: A Rewriter with Strategy Annotations. RTA 2002: 367-370
16EEJozef Hooman, Jaco van de Pol: Formal verification of replication on a distributed data space architecture. SAC 2002: 351-358
2001
15EEStefan 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
14EEJaco 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
12EEEdwin D. de Jong, Jaco van de Pol, Jozef Hooman: Refinement in Requirements Specification and Analysis: A Case Study. ECBS 2000: 290-298
11EEJan Friso Groote, Jaco van de Pol: Equational Binary Decision Diagrams. LPAR 2000: 161-178
10EEJan Friso Groote, Jaco van de Pol: State Space Reduction Using Partial tau-Confluence. MFCS 2000: 383-393
9EEJaco 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
7EEJan Friso Groote, François Monin, Jaco van de Pol: Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR 1998: 629-655
6EEJaco 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

1Thomas Arts [31]
2Bahareh Badban [29] [32] [35] [48] [65]
3Rena Bakhshi [63]
4Jiri Barnat [59]
5Stefan Blom [15] [21] [22] [38] [45] [52] [56] [57] [60] [64]
6Lubos Brim [55]
7Jens R. Calame [39] [44] [46] [50] [52] [53] [61]
8Jakub Chaloupka [59]
9Taolue Chen [54] [62]
10Muhammad Torabi Dashti [52]
11Thomas Deiß [45] [56]
12Miguel Valero Espada [19] [25] [27] [28] [33] [34] [47] [49]
13Wan Fokkink [5] [15] [20] [29] [32] [42] [63] [65]
14Nicolae Goga [46]
15Jan Friso Groote [4] [7] [10] [11] [15] [22] [29] [32]
16Boudewijn R. Haverkort [55] [57]
17Jozef Hooman [8] [12] [16] [18] [30]
18Natalia Ioustinova [20] [38] [39] [44] [45] [46] [50] [53] [56]
19Edwin D. de Jong [8] [12]
20Ernst Kesseler [20]
21Ari Kontio [45] [56]
22Wouter Kuijper [66]
23Matthias Kuntz [57]
24Izak van Langevelde [15] [22]
25Martin Leucker [43] [55]
26Bert Lisser [15] [22] [52] [60]
27François Monin [7]
28Simona Orzan [23] [24] [34] [41] [52]
29Jun Pang [27] [29] [32] [42] [52] [63]
30Bas Ploeger [54]
31Axel Rennoch [38] [45] [56]
32Judi Romijn [40] [51]
33Helmut Schwichtenberg [2]
34Natalia Sidorova [38] [39] [45] [53] [56]
35Graeme Smith [40] [51]
36Olga Tveretina [37] [48]
37Yaroslav S. Usenko [20]
38Yanjing Wang [62]
39Michael Weber [58] [60]
40Anton Wijs [52]
41Tim A. C. Willemse [54]
42Yuri A. Yushtein [20]
43Hans Zantema [9] [13] [36] [48]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)