Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by J.C. van de Pol

A Database Approach to Distributed State Space Generation

scientific article published in February 2008

A Multi-Core Solver for Parity Games

scientific article published in December 2008

A State Space Distribution Policy Based on Abstract Interpretation

scientific article published in April 2005

A calculus for four-valued sequential logic

scientific article published in June 2011

A linear process-algebraic format with data for probabilistic automata

scientific article published in January 2012

A rewriting approach to binary decision diagrams

scientific article published in September 2001

An Abstract Interpretation Toolkit for μCRL

scientific article published in May 2005

An ECHO of Cartilage: <i>In Silico</i> Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With <i>Ex Vivo</i> Validation

scientific article published on 15 November 2021

An abstract interpretation toolkit for μCRL

scientific article published on 29 December 2006

Automated Verification of Executable UML Models

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction

scientific article published in October 2007

Biological networks 101: computational modeling for molecular biologists.

scientific article published on 12 October 2013

Compositional Control Synthesis for Partially Observable Systems

scientific article published in 2009

Computing Weakest Strategies for Safety Games of Imperfect Information

scientific article published in 2009

Cones and foci: A mechanical framework for protocol verification

scientific article published on 9 June 2006

Confluence Reduction for Markov Automata

scientific article published in 2013

Confluence Reduction for Probabilistic Systems

scientific article published in 2011

Confluence reduction for Markov automata

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

scientific article published in December 2008

Distribution of a simple shared dataspace architecture

scientific article published in March 2003

ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease

scientific article published on 11 December 2019

Efficient Modelling and Generation of Markov Automata

scientific article published in 2012

From POOSL to UPPAAL: Transformation and Quantitative Analysis

scientific article published in 2010

Generalizing DPLL and satisfiability for equalities

scientific article published in August 2007

Improved Distributed Algorithms for SCC Decomposition

scientific article published in February 2008

Improved Multi-Core Nested Depth-First Search

scientific article published in 2012

Introductory paper

scientific article published in June 2005

Just-in-time

scientific article published in December 2001

LTSmin: Distributed and Symbolic Reachability

scientific article published in 2010

Leader Election in Anonymous Rings: Franklin Goes Probabilistic

scientific article published in 2008

Modeling and Verification of the Bitcoin Protocol

conference paper published in 2015

Modeling biological pathway dynamics with timed automata

scientific article published on May 2014

Modelling biological pathway dynamics with Timed Automata

scientific article published in November 2012

Modelling with ANIMO: between fuzzy logic and differential equations.

scientific article

Multi-Core BDD Operations for Symbolic Reachability

scientific article published in August 2013

Multi-Core LTSmin: Marrying Modularity and Scalability

scientific article published in 2011

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction

scientific article published in 2013

Multi-core Nested Depth-First Search

scientific article published in 2011

Multi-core Reachability for Timed Automata

scientific article published in 2012

Multi-core symbolic bisimulation minimisation

New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl

scientific article published in August 2003

On the axiomatizability of priority II

scientific article published in June 2011

PDL over Accelerated Labeled Transition Systems

scientific article published in June 2008

Parallel Recursive State Compression for Free

scientific article published in 2011

Parameter Synthesis Algorithms for Parametric Interval Markov Chains

scientific article published in 2018

Semantic models of a timed distributed dataspace architecture

scientific article published in February 2005

Setting Parameters for Biological Models With ANIMO

Simulated time for host-based testing with TTCN-3

scientific article published in 2008

Sound Black-Box Checking in the LearnLib

scientific article published in 2018

State Space Reduction of Linear Processes Using Control Flow Reconstruction

scientific article published in 2009

Sylvan: multi-core framework for decision diagrams

Symbolic Reachability for Process Algebras with Recursive Data Types

scientific article published in 2008

Towards model checking executable UML specifications in mCRL2

article

UPPAAL in Practice: Quantitative Verification of a RapidIO Network

scientific article published in 2010

Verification of a sliding window protocol in μCRL and PVS

scientific article published on 22 September 2005

Which two-sorted algebras of booleans and naturals have a finite basis?

scientific article published in February 2005

Zero, successor and equality in BDDs

scientific article published in May 2005