Filtros de búsqueda

Lista de obras de J.C. van de Pol

A Database Approach to Distributed State Space Generation

artículo científico publicado en 2008

A Multi-Core Solver for Parity Games

artículo científico publicado en 2008

A State Space Distribution Policy Based on Abstract Interpretation

artículo científico publicado en 2005

A calculus for four-valued sequential logic

artículo científico publicado en 2011

A linear process-algebraic format with data for probabilistic automata

artículo científico publicado en 2012

A rewriting approach to binary decision diagrams

artículo científico publicado en 2001

An Abstract Interpretation Toolkit for μCRL

artículo científico publicado en 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

artículo científico publicado en 2021

An abstract interpretation toolkit for μCRL

artículo científico publicado en 2006

Automated Verification of Executable UML Models

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

artículo científico publicado en 2007

Biological networks 101: computational modeling for molecular biologists.

artículo científico publicado en 2013

Compositional Control Synthesis for Partially Observable Systems

artículo científico publicado en 2009

Computing Weakest Strategies for Safety Games of Imperfect Information

artículo científico publicado en 2009

Cones and foci: A mechanical framework for protocol verification

artículo científico publicado en 2006

Confluence Reduction for Markov Automata

artículo científico publicado en 2013

Confluence Reduction for Probabilistic Systems

artículo científico publicado en 2011

Confluence reduction for Markov automata

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

artículo científico publicado en 2008

Distribution of a simple shared dataspace architecture

artículo científico publicado en 2003

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

artículo científico publicado en 2019

Efficient Modelling and Generation of Markov Automata

artículo científico publicado en 2012

From POOSL to UPPAAL: Transformation and Quantitative Analysis

artículo científico publicado en 2010

Generalizing DPLL and satisfiability for equalities

artículo científico publicado en 2007

Improved Distributed Algorithms for SCC Decomposition

artículo científico publicado en 2008

Improved Multi-Core Nested Depth-First Search

artículo científico publicado en 2012

Introductory paper

artículo científico publicado en 2005

Just-in-time

artículo científico publicado en 2001

LTSmin: Distributed and Symbolic Reachability

artículo científico publicado en 2010

Leader Election in Anonymous Rings: Franklin Goes Probabilistic

artículo científico publicado en 2008

Modeling and Verification of the Bitcoin Protocol ⬇️

conference paper published in 2015

Modeling biological pathway dynamics with timed automata

artículo científico

Modelling biological pathway dynamics with Timed Automata

artículo científico publicado en 2012

Modelling with ANIMO: between fuzzy logic and differential equations.

artículo científico publicado en 2016

Multi-Core BDD Operations for Symbolic Reachability

artículo científico publicado en 2013

Multi-Core LTSmin: Marrying Modularity and Scalability

artículo científico publicado en 2011

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

artículo científico publicado en 2013

Multi-core Nested Depth-First Search

artículo científico publicado en 2011

Multi-core Reachability for Timed Automata

artículo científico publicado en 2012

Multi-core symbolic bisimulation minimisation

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

artículo científico publicado en 2003

On the axiomatizability of priority II

artículo científico publicado en 2011

PDL over Accelerated Labeled Transition Systems

artículo científico publicado en 2008

Parallel Recursive State Compression for Free

artículo científico publicado en 2011

Parameter Synthesis Algorithms for Parametric Interval Markov Chains

artículo científico publicado en 2018

Semantic models of a timed distributed dataspace architecture

artículo científico publicado en 2005

Setting Parameters for Biological Models With ANIMO ⬇️

Simulated time for host-based testing with TTCN-3

artículo científico publicado en 2008

Sound Black-Box Checking in the LearnLib

artículo científico publicado en 2018

State Space Reduction of Linear Processes Using Control Flow Reconstruction

artículo científico publicado en 2009

Sylvan: multi-core framework for decision diagrams

Symbolic Reachability for Process Algebras with Recursive Data Types

artículo científico publicado en 2008

Towards model checking executable UML specifications in mCRL2

article

UPPAAL in Practice: Quantitative Verification of a RapidIO Network

artículo científico publicado en 2010

Verification of a sliding window protocol in μCRL and PVS

artículo científico publicado en 2005

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

artículo científico publicado en 2005

Zero, successor and equality in BDDs

artículo científico publicado en 2005

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda