Jaco van de Pol

According to our database1, Jaco van de Pol authored at least 144 papers between 1993 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Model checking with generalized Rabin and Fin-less automata.
STTT, 2019

Multi-core On-The-Fly Saturation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Minimal-Time Synthesis for Parametric Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
MCC'2017 - The Seventh Model Checking Contest.
T. Petri Nets and Other Models of Concurrency, 2018

Sound Black-Box Checking in the LearnLib.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

Parameter Synthesis Algorithms for Parametric Interval Markov Chains.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

Adaptive Learning for Learn-Based Regression Testing.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Maximizing Synchronization for Aligning Observed and Modelled Behaviour.
Proceedings of the Business Process Management - 16th International Conference, 2018

Synchronous or Alternating? - LTL Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin.
Proceedings of the Models, Mindsets, 2018

Symbolically Aligning Observed and Modelled Behaviour.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Multi-core Decision Diagrams.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
Sylvan: multi-core framework for decision diagrams.
STTT, 2017

Distributed binary decision diagrams for symbolic reachability.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

The RERS 2017 challenge and workshop (invited paper).
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Explicit state model checking with generalized Büchi and Rabin automata.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Improving the Timed Automata Approach to Biological Pathway Dynamics.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

Property-Preserving Generation of Tailored Benchmark Petri Nets.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Confluence reduction for Markov automata.
Theor. Comput. Sci., 2016

Guard-based partial-order reduction.
STTT, 2016

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14).
Sci. Comput. Program., 2016

Modelling with ANIMO: between fuzzy logic and differential equations.
BMC Systems Biology, 2016

Multi-core Symbolic Bisimulation Minimisation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Multi-core on-the-fly SCC decomposition.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Software that Meets Its Intent.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with Uppaal Stratego.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Symbolic Reachability Analysis of B Through ProB and LTSmin.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Multi-core SCC-Based LTL Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2016

Partial-Order Reduction for GPU Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2016

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Modeling and Verification of the Bitcoin Protocol.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

LTSmin: High-Performance Language-Independent Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Sylvan: Multi-Core Decision Diagrams.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

A Distributed Hash Table for Shared Memory.
Proceedings of the Parallel Processing and Applied Mathematics, 2015

Automated Verification of Nested DFS.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014
Modeling Biological Pathway Dynamics With Timed Automata.
IEEE J. Biomedical and Health Informatics, 2014

Thoughtful brute-force attack of the RERS 2012 and 2013 Challenges.
STTT, 2014

Preface.
ECEASST, 2014

Setting Parameters for Biological Models With ANIMO.
Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

Generating and Solving Symbolic Parity Games.
Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Read, Write and Copy Dependencies for Symbolic Model Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2014

Lace: Non-blocking Split Deque for Work-Stealing.
Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
Multi-Core BDD Operations for Symbolic Reachability.
Electr. Notes Theor. Comput. Sci., 2013

Guard-Based Partial-Order Reduction.
Proceedings of the Model Checking Software - 20th International Symposium, 2013

Confluence Reduction for Markov Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
A linear process-algebraic format with data for probabilistic automata.
Theor. Comput. Sci., 2012

Multi-core and/or Symbolic Model Checking.
ECEASST, 2012

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

Multi-core Reachability for Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Efficient Modelling and Generation of Markov Automata.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

Modelling biological pathway dynamics with Timed Automata.
Proceedings of the 12th IEEE International Conference on Bioinformatics & Bioengineering, 2012

Improved Multi-Core Nested Depth-First Search.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
A calculus for four-valued sequential logic.
Theor. Comput. Sci., 2011

On the axiomatizability of priority II.
Theor. Comput. Sci., 2011

A Database Approach to Distributed State-Space Generation.
J. Log. Comput., 2011

Distributed Algorithms for SCC Decomposition.
J. Log. Comput., 2011

Variations on Multi-Core Nested Depth-First Search
Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Confluence Reduction for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Parallel Recursive State Compression for Free.
Proceedings of the Model Checking Software, 2011

Multi-Core LTSmin: Marrying Modularity and Scalability.
Proceedings of the NASA Formal Methods, 2011

Multi-core Nested Depth-First Search.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Towards model checking executable UML specifications in mCRL2.
ISSE, 2010

UPPAAL in Practice: Quantitative Verification of a RapidIO Network.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Automated Verification of Executable UML Models.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Boosting multi-core reachability performance with shared hash tables.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

LTSmin: Distributed and Symbolic Reachability.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

A Linear Process-Algebraic Format for Probabilistic Systems with Data.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Solving scheduling problems by untimed model checking.
STTT, 2009

Distributed Branching Bisimulation Minimization by Inductive Signatures
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009

Computing Weakest Strategies for Safety Games of Imperfect Information.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Compositional Control Synthesis for Partially Observable Systems.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

State Space Reduction of Linear Processes Using Control Flow Reconstruction.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Simulated time for host-based testing with TTCN-3.
Softw. Test., Verif. Reliab., 2008

Applying formal methods to gossiping networks with mCRL and groove.
SIGMETRICS Performance Evaluation Review, 2008

A Multi-Core Solver for Parity Games.
Electr. Notes Theor. Comput. Sci., 2008

A Database Approach to Distributed State Space Generation.
Electr. Notes Theor. Comput. Sci., 2008

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking.
Electr. Notes Theor. Comput. Sci., 2008

Improved Distributed Algorithms for SCC Decomposition.
Electr. Notes Theor. Comput. Sci., 2008

Mechanical Verification of a Two-Way Sliding Window Protocol.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

PDL over Accelerated Labeled Transition Systems.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Applying Model-Based Testing to HTML Rendering Engines - A Case Study.
Proceedings of the Testing of Software and Communicating Systems, 2008

Leader Election in Anonymous Rings: Franklin Goes Probabilistic.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Symbolic Reachability for Process Algebras with Recursive Data Types.
Proceedings of the Theoretical Aspects of Computing, 2008

A Typical Verification Challenge for the GRID.
Proceedings of the Distributed Verification and Grid Computing, 10.08. - 14.08.2008, 2008

2007
Generalizing DPLL and satisfiability for equalities.
Inf. Comput., 2007

An abstract interpretation toolkit for µCRL.
Formal Methods in System Design, 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction.
Electr. Notes Theor. Comput. Sci., 2007

Distributed Analysis with mu CRL: A Compendium of Case Studies.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Bug Hunting with False Negatives.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Distribution of a Simple Shared Dataspace Architecture.
Fundam. Inform., 2006

Cones and foci: A mechanical framework for protocol verification.
Formal Methods in System Design, 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.
Proceedings of the Informatik 2006, 2006

TTCN-3 for Distributed Testing Embedded Software.
Proceedings of the Perspectives of Systems Informatics, 2006

TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Accelerated Modal Abstractions of Labelled Transition Systems.
Proceedings of the Algebraic Methodology and Software Technology, 2006

2005
Semantic models of a timed distributed dataspace architecture.
Theor. Comput. Sci., 2005

Introductory paper.
STTT, 2005

Verification of a sliding window protocol in µCRL and PVS.
Formal Asp. Comput., 2005

An Abstract Interpretation Toolkit for muCRL.
Electr. Notes Theor. Comput. Sci., 2005

A State Space Distribution Policy Based on Abstract Interpretation.
Electr. Notes Theor. Comput. Sci., 2005

Zero, successor and equality in BDDs.
Ann. Pure Appl. Logic, 2005

Generalized Innermost Rewriting.
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

A BDD-Representation for the Logic of Equality and Uninterpreted Functions.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

Simulated Time for Testing Railway Interlockings with TTCN-3.
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Data Abstraction and Constraint Solving for Conformance Testing.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
Introductory paper.
STTT, 2004

Abstraction of Parallel Uniform Processes with Data.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Modal Abstractions in µCRL.
Proceedings of the Algebraic Methodology and Software Technology, 2004

Verifying a Sliding Window Protocol in µCRL.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Distribution of a Simple Shared Dataspace Architecture.
Electr. Notes Theor. Comput. Sci., 2003

New developments around the mCRL tool set.
Electr. Notes Theor. Comput. Sci., 2003

Verification of Distributed Dataspace Architectures.
Proceedings of the Perspectives of Systems Informatics, 2003

Verification of JavaSpacesTM Parallel Programs.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Formal verification of replication on a distributed data space architecture.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

JITty: A Rewriter with Strategy Annotations.
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Equivalent Semantic Models for a Distributed Dataspace Architecture.
Proceedings of the Formal Methods for Components and Objects, 2002

Formal Specification of JavaSpaces Architecture Using µCRL.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Refinement and Verification Applied to an In-Flight Data Acquisition Unit.
Proceedings of the CONCUR 2002, 2002

State Space Reduction by Proving Confluence.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Just-in-time: On Strategy Annotations.
Electr. Notes Theor. Comput. Sci., 2001

A rewriting approach to binary decision diagrams.
J. Log. Algebr. Program., 2001

µCRL: A Toolset for Analysing Algebraic Specifications.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Binary Decision Diagrams by Shard Rewriting.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

State Space Reduction Using Partial tau-Confluence.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Equational Binary Decision Diagrams.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Refinement in Requirements Specification and Analysis: A Case Study.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999
Modular Formal Specification of Data and Behaviour.
Proceedings of the Integrated Formal Methods, 1999

1998
Operational Semantics of Rewriting with Priorities.
Theor. Comput. Sci., 1998

Checking Verifications of Protocols and Distributed Systems by Computer.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Simulation as a Correct Transformation of Rewrite Systems.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

1996
A Bounded Retransmission Protocol for Large Data Packets.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Strict Functionals for Termination Proofs.
Proceedings of the Typed Lambda Calculi and Applications, 1995

Two Different Strong Normalization Proofs?
Proceedings of the Higher-Order Algebra, 1995

1993
Termination Proofs for Higher-order Rewrite Systems.
Proceedings of the Higher-Order Algebra, 1993


  Loading...