Jaco van de Pol - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

On the axiomatizability of priority IILuca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol. TCS, 412(28):3035-3044, 2011. [doi]

Distributed Algorithms for SCC DecompositionJiri Barnat, Jakub Chaloupka, Jaco van de Pol. logcom, 21(1):23-44, 2011. [doi]

A calculus for four-valued sequential logicJan A. Bergstra, Jaco van de Pol. TCS, 412(28):3122-3128, 2011. [doi]

A Database Approach to Distributed State-Space GenerationStefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber 0002. logcom, 21(1):45-62, 2011. [doi]

Parallel Recursive State Compression for FreeAlfons Laarman, Jaco van de Pol, Michael Weber 0002. spin 2011: 38-56 [doi]

Multi-Core LTSmin: Marrying Modularity and ScalabilityAlfons Laarman, Jaco van de Pol, Michael Weber 0002. NFM 2011: 506-511 [doi]

Confluence Reduction for Probabilistic SystemsMark Timmer, Mariëlle Stoelinga, Jaco van de Pol. TACAS 2011: 311-325 [doi]

2010

LTSmin: Distributed and Symbolic ReachabilityStefan Blom, Jaco van de Pol, Michael Weber 0002. cav 2010: 354-359 [doi]

Towards model checking executable UML specifications in mCRL2Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol. isse, 6(1-2):83-90, 2010. [doi]

A Linear Process-Algebraic Format for Probabilistic Systems with DataJoost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer. acsd 2010: 213-222 [doi]

Boosting multi-core reachability performance with shared hash tablesAlfons Laarman, Jaco van de Pol, Michael Weber 0002. FMCAD 2010: 247-255 [doi]

Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. ProceedingsJaco van de Pol, Michael Weber 0002, editors, Volume 6349 of Lecture Notes in Computer Science, Springer, 2010. [doi]

UPPAAL in Practice: Quantitative Verification of a RapidIO NetworkJiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten. isola 2010: 160-174 [doi]

From POOSL to UPPAAL: Transformation and Quantitative AnalysisJiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten. acsd 2010: 47-56 [doi]

2009

2008

Mechanical Verification of a Two-Way Sliding Window ProtocolBahareh Badban, Wan Fokkink, Jaco van de Pol. wotug 2008: 179-202 [doi]

Leader Election in Anonymous Rings: Franklin Goes ProbabilisticRena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol. ifipTCS 2008: 57-72 [doi]

Improved Distributed Algorithms for SCC DecompositionJiri Barnat, Jakub Chaloupka, Jaco van de Pol. ENTCS, 198(1):63-77, 2008. [doi]

Symbolic Reachability for Process Algebras with Recursive Data TypesStefan Blom, Jaco van de Pol. ictac 2008: 81-95 [doi]

A Database Approach to Distributed State Space GenerationStefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber. ENTCS, 198(1):17-32, 2008. [doi]

Distributed Markovian Bisimulation Reduction aimed at CSL Model CheckingStefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol. ENTCS, 220(2):35-50, 2008. [doi]

Simulated time for host-based testing with TTCN-3Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. stvr, 18(1):29-49, 2008. [doi]

Applying Model-Based Testing to HTML Rendering Engines - A Case StudyJens R. Calame, Jaco van de Pol. pts 2008: 250-265 [doi]

PDL over Accelerated Labeled Transition SystemsTaolue Chen, Jaco van de Pol, Yanjing Wang. tase 2008: 193-200 [doi]

Applying formal methods to gossiping networks with mCRL and groovePepijn Crouzen, Jaco van de Pol, Arend Rensink. sigmetrics, 36(3):7-16, 2008. [doi]

A Multi-Core Solver for Parity GamesJaco van de Pol, Michael Weber. ENTCS, 220(2):19-34, 2008. [doi]

2007

Generalizing DPLL and satisfiability for equalitiesBahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema. iandc, 205(8):1188-1211, 2007. [doi]

Distributed Analysis with ::::mu:::: CRL: A Compendium of Case StudiesStefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs. TACAS 2007: 683-689 [doi]

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 PapersLubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol, editors, Volume 4346 of Lecture Notes in Computer Science, Springer, 2007.

Bug Hunting with False NegativesJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. IFM 2007: 98-117 [doi]

Automatic Model-Based Generation of Parameterized Test Cases Using Data AbstractionJens R. Calame, Natalia Ioustinova, Jaco van de Pol. ENTCS, 191:25-48, 2007. [doi]

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation SystemsTaolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse. concur 2007: 120-135 [doi]

An abstract interpretation toolkit for µCRLMiguel Valero Espada, Jaco van de Pol. fmsd, 30(3):249-273, 2007. [doi]

PrefaceJudi Romijn, Graeme Smith, Jaco van de Pol. ENTCS, 191:1-2, 2007. [doi]

2006

TTCN-3 for Distributed Testing Embedded SoftwareStefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. ershov 2007: 98-111 [doi]

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-ModellenJens R. Calame, Natalia Ioustinova, Jaco van de Pol. gi 2006: 257-261

TTCN-3 Testing of Hoorn-Kersenboogerd Railway InterlockingJens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol. ccece 2006: 620-623 [doi]

Accelerated Modal Abstractions of Labelled Transition SystemsMiguel Valero Espada, Jaco van de Pol. amast 2006: 338-352 [doi]

Cones and foci: A mechanical framework for protocol verificationWan Fokkink, Jun Pang, Jaco van de Pol. fmsd, 29(1):1-31, 2006. [doi]

PrefaceMartin Leucker, Jaco van de Pol. ENTCS, 135(2):1-2, 2006. [doi]

Distribution of a Simple Shared Dataspace ArchitectureSimona Orzan, Jaco van de Pol. FUIN, 73(4):535-559, 2006. [doi]

2005

Introductory paperThomas Arts, Jaco van de Pol. STTT, 7(3):195-196, 2005. [doi]

Zero, successor and equality in BDDsBahareh Badban, Jaco van de Pol. APAL, 133(1-3):101-123, 2005. [doi]

Verification of a sliding window protocol in µCRL and PVSBahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol. fac, 17(3):342-388, 2005. [doi]

Simulated Time for Testing Railway Interlockings with TTCN-3Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. fates 2006: 1-15 [doi]

Data Abstraction and Constraint Solving for Conformance TestingJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. apsec 2005: 541-548 [doi]

Semantic models of a timed distributed dataspace architectureJozef Hooman, Jaco van de Pol. TCS, 331(2-3):291-323, 2005. [doi]

A State Space Distribution Policy Based on Abstract InterpretationSimona Orzan, Jaco van de Pol, Miguel Valero Espada. ENTCS, 128(3):35-45, 2005. [doi]

Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, ProceedingsJudi Romijn, Graeme Smith, Jaco van de Pol, editors, Volume 3771 of Lecture Notes in Computer Science, Springer, 2005.

An Abstract Interpretation Toolkit for ::::mu::::CRLJaco van de Pol, Miguel Valero Espada. ENTCS, 133:295-313, 2005. [doi]

A BDD-Representation for the Logic of Equality and Uninterpreted FunctionsJaco van de Pol, Olga Tveretina. mfcs 2005: 769-780 [doi]

Generalized Innermost RewritingJaco van de Pol, Hans Zantema. RTA 2005: 2-16 [doi]

2004

2003

2002

2001

µCRL: A Toolset for Analysing Algebraic SpecificationsStefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol. cav 2001: 250-254 [doi]

Just-in-time: On Strategy AnnotationsJaco van de Pol. TCS, 57, 2001. [doi]

A rewriting approach to binary decision diagramsHans Zantema, Jaco van de Pol. jlp, 49(1-2):61-86, 2001.

2000

1999

Modular Formal Specification of Data and BehaviourJaco van de Pol, Jozef Hooman, Edwin D. de Jong. IFM 1999: 109-128

1998

Checking Verifications of Protocols and Distributed Systems by ComputerJan Friso Groote, François Monin, Jaco van de Pol. concur 1998: 629-655 [doi]

Operational Semantics of Rewriting with PrioritiesJaco van de Pol. TCS, 200(1-2):289-312, 1998. [doi]

1997

Simulation as a Correct Transformation of Rewrite SystemsWan Fokkink, Jaco van de Pol. mfcs 1997: 249-258

1996

A Bounded Retransmission Protocol for Large Data PacketsJan Friso Groote, Jaco van de Pol. amast 1996: 536-550

1995

Two ::::Different:::: Strong Normalization Proofs?Jaco van de Pol. hoa 1996: 201-220

Strict Functionals for Termination ProofsJaco van de Pol, Helmut Schwichtenberg. tlca 1995: 350-364

1993

Termination Proofs for Higher-order Rewrite SystemsJaco van de Pol. hoa 1994: 305-325