Anton Wijs

From MaRDI portal
Person:436407

Available identifiers

zbMath Open wijs.anton-jDBLP77/6678WikidataQ56492970 ScholiaQ56492970MaRDI QIDQ436407

List of research outcomes





PublicationDate of PublicationType
Certified SAT solving with GPU accelerated inprocessing2024-06-28Paper
Compositional model checking with incremental counter-example construction2022-07-01Paper
Term rewriting on GPUs2022-06-17Paper
An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems2021-11-10Paper
Experiments of Multiple Decision Making in CDCL SAT Solvers2021-06-23Dataset
To compose, or not to compose, that is the question: an analysis of compositional state space generation2021-05-04Paper
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation2019-09-17Paper
BFS-based model checking of linear-time properties with an application on GPUs2019-05-03Paper
A formal verification technique for behavioural model-to-model transformations2018-02-02Paper
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation2017-07-13Paper
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components2017-03-28Paper
Parallel algorithms for transitive reduction for weighted graphs2016-06-16Paper
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique2016-04-21Paper
Efficient property preservation checking of model refinements2013-08-05Paper
Sequential and distributed on-the-fly computation of weak tau-confluence2012-07-20Paper
Extended beam search for non-exhaustive state space analysis2011-12-19Paper
Hierarchical Adaptive State Space Caching Based on Level Sampling2009-03-31Paper
Survey on Directed Model Checking2009-03-17Paper
Is timed branching bisimilarity a congruence indeed?2009-02-12Paper
Pruning State Spaces with Extended Beam Search2008-07-03Paper
Distributed Extended Beam Search for Quantitative Model Checking2007-11-01Paper
Formal Modeling and Analysis of Timed Systems2006-11-14Paper
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal2005-10-17Paper

Research outcomes over time

This page was built for person: Anton Wijs