| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jaco van de Pol |
A calculus for four-valued sequential logic. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol |
On the axiomatizability of priority II. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber 0002 |
A Database Approach to Distributed State-Space Generation. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol |
Distributed Algorithms for SCC Decomposition. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Jaco van de Pol, Michael Weber 0002 |
Parallel Recursive State Compression for Free |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alfons Laarman, Jaco van de Pol |
Variations on Multi-Core Nested Depth-First Search |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
Confluence Reduction for Probabilistic Systems. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber 0002, Anton Wijs |
Multi-core Nested Depth-First Search. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Jaco van de Pol, Michael Weber 0002 |
Parallel Recursive State Compression for Free. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Jaco van de Pol, Michael Weber 0002 |
Multi-Core LTSmin: Marrying Modularity and Scalability. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol |
Towards model checking executable UML specifications in mCRL2. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol |
Confluence Reduction for Probabilistic Systems (extended version) |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alfons Laarman, Jaco van de Pol, Michael Weber 0002 |
Boosting Multi-Core Reachability Performance with Shared Hash Tables |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer |
A Linear Process-Algebraic Format for Probabilistic Systems with Data. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
probabilistic process algebra, data-dependent probabilistic choice, symbolic transformations, linearisation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
POOSL, performance, verification, transformation, quantitative analysis, UPPAAL |
| 1 | Alfons Laarman, Jaco van de Pol, Michael Weber 0002 |
Boosting multi-core reachability performance with shared hash tables. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Michael Weber 0002 (eds.) |
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Jaco van de Pol, Michael Weber 0002 |
LTSmin: Distributed and Symbolic Reachability. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jaco van de Pol (eds.) |
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Jaco van de Pol |
Distributed Branching Bisimulation Minimization by Inductive Signatures |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs, Jaco van de Pol, Elena M. Bortnik |
Solving scheduling problems by untimed model checking. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Kuijper, Jaco van de Pol |
Compositional Control Synthesis for Partially Observable Systems. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wouter Kuijper, Jaco van de Pol |
Computing Weakest Strategies for Safety Games of Imperfect Information. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Mark Timmer |
State Space Reduction of Linear Processes Using Control Flow Reconstruction. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol |
Improved Distributed Algorithms for SCC Decomposition. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber 0002 |
A Database Approach to Distributed State Space Generation. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Michael Weber 0002 |
A Multi-Core Solver for Parity Games. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Crouzen, Jaco van de Pol, Arend Rensink |
Applying formal methods to gossiping networks with mCRL and groove. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Jaco van de Pol |
Symbolic Reachability for Process Algebras with Recursive Data Types. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Badban, Wan Fokkink, Jaco van de Pol |
Mechanical Verification of a Two-Way Sliding Window Protocol. |
CPA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens R. Calame, Jaco van de Pol |
Applying Model-Based Testing to HTML Rendering Engines - A Case Study. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol |
Leader Election in Anonymous Rings: Franklin Goes Probabilistic. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Jaco van de Pol, Yanjing Wang |
PDL over Accelerated Labeled Transition Systems. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
PDL, Accelerated Labeled Transition Systems |
| 1 | Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema |
Generalizing DPLL and satisfiability for equalities. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Judi Romijn, Graeme Smith, Jaco van de Pol |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Valero Espada, Jaco van de Pol |
An abstract interpretation toolkit for µCRL. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
muCRL, Model checking, Abstract interpretation, Process algebra |
| 1 | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (eds.) |
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 |
FMICS/PDMC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
Bug Hunting with False Negatives. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Jaco van de Pol |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Orzan, Jaco van de Pol |
Distribution of a Simple Shared Dataspace Architecture. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wan Fokkink, Jun Pang, Jaco van de Pol |
Cones and foci: A mechanical framework for protocol verification. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Process algebra, PVS, Protocol verification, Branching bisimulation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
simulated time, TTCN-3, distributed testing |
| 1 | Miguel Valero Espada, Jaco van de Pol |
Accelerated Modal Abstractions of Labelled Transition Systems. |
AMAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol |
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens R. Calame, Natalia Ioustinova, Jaco van de Pol |
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen. |
GI Jahrestagung |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation |
| 1 | Jozef Hooman, Jaco van de Pol |
Semantic models of a timed distributed dataspace architecture. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Miguel Valero Espada |
An Abstract Interpretation Toolkit for muCRL. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Orzan, Jaco van de Pol, Miguel Valero Espada |
A State Space Distribution Policy Based on Abstract Interpretation. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Badban, Jaco van de Pol |
Zero, successor and equality in BDDs. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Jaco van de Pol |
Introductory paper. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
Data Abstraction and Constraint Solving for Conformance Testing. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Olga Tveretina |
A BDD-Representation for the Logic of Equality and Uninterpreted Functions. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Judi Romijn, Graeme Smith, Jaco van de Pol (eds.) |
Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings |
IFM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jaco van de Pol, Hans Zantema |
Generalized Innermost Rewriting. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova |
Simulated Time for Testing Railway Interlockings with TTCN-3. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol |
Introductory paper. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Pang, Jaco van de Pol, Miguel Valero Espada |
Abstraction of Parallel Uniform Processes with Data. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Miguel Valero Espada |
Modal Abstractions in µCRL. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol |
Verifying a Sliding Window Protocol in µCRL. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Orzan, Jaco van de Pol |
Distribution of a Simple Shared Dataspace Architecture. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Orzan, Jaco van de Pol |
Verification of Distributed Dataspace Architectures. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Miguel Valero Espada |
Verification of JavaSpacesTM Parallel Programs. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
software architecture (JavaSpaces), Formal analysis and verification, Distributed termination problem, Parallel computing |
| 1 | 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 |
DBLP DOI BibTeX RDF |
7CRL, model checking, verification, refinement, B-method |
| 1 | Jaco van de Pol, Miguel Valero Espada |
Formal Specification of JavaSpaces Architecture Using µCRL. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jozef Hooman, Jaco van de Pol |
Formal verification of replication on a distributed data space architecture. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
data space architecture, model-checking, formal verification, coordination, theorem proving |
| 1 | Jozef Hooman, Jaco van de Pol |
Equivalent Semantic Models for a Distributed Dataspace Architecture. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol |
JITty: A Rewriter with Strategy Annotations. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Jaco van de Pol |
State Space Reduction by Proving Confluence. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
on-the-fly state space reduction, symbolic transformation, 7CRL tool set, theorem proving, Labeled transition systems, partial order reduction, confluence, branching bisimulation |
| 1 | Hans Zantema, Jaco van de Pol |
A rewriting approach to binary decision diagrams. |
J. Log. Algebr. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol |
Just-in-time: On Strategy Annotations. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin D. de Jong, Jaco van de Pol, Jozef Hooman |
Refinement in Requirements Specification and Analysis: A Case Study. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
requirements specification and analysis, formal methods, refinement, theorem provers |
| 1 | Jan Friso Groote, Jaco van de Pol |
Equational Binary Decision Diagrams. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Hans Zantema |
Binary Decision Diagrams by Shard Rewriting. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jaco van de Pol |
State Space Reduction Using Partial tau-Confluence. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Jozef Hooman, Edwin D. de Jong |
Modular Formal Specification of Data and Behaviour. |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jaco van de Pol |
Operational Semantics of Rewriting with Priorities. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, François Monin, Jaco van de Pol |
Checking Verifications of Protocols and Distributed Systems by Computer. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jaco van de Pol |
Simulation as a Correct Transformation of Rewrite Systems. |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jaco van de Pol |
A Bounded Retransmission Protocol for Large Data Packets. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol, Helmut Schwichtenberg |
Strict Functionals for Termination Proofs. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol |
Two Different Strong Normalization Proofs? |
HOA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco van de Pol |
Termination Proofs for Higher-order Rewrite Systems. |
HOA |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")