Anton Wijs

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
Certified SAT solving with GPU accelerated inprocessing	2024-06-28	Paper
Compositional model checking with incremental counter-example construction	2022-07-01	Paper
Term rewriting on GPUs	2022-06-17	Paper
An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems	2021-11-10	Paper
Experiments of Multiple Decision Making in CDCL SAT Solvers	2021-06-23	Dataset
To compose, or not to compose, that is the question: an analysis of compositional state space generation	2021-05-04	Paper
An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation	2019-09-17	Paper
BFS-based model checking of linear-time properties with an application on GPUs	2019-05-03	Paper
A formal verification technique for behavioural model-to-model transformations	2018-02-02	Paper
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation	2017-07-13	Paper
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components	2017-03-28	Paper
Parallel algorithms for transitive reduction for weighted graphs	2016-06-16	Paper
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique	2016-04-21	Paper
Efficient property preservation checking of model refinements	2013-08-05	Paper
Sequential and distributed on-the-fly computation of weak tau-confluence	2012-07-20	Paper
Extended beam search for non-exhaustive state space analysis	2011-12-19	Paper
Hierarchical Adaptive State Space Caching Based on Level Sampling	2009-03-31	Paper
Survey on Directed Model Checking	2009-03-17	Paper
Is timed branching bisimilarity a congruence indeed?	2009-02-12	Paper
Pruning State Spaces with Extended Beam Search	2008-07-03	Paper
Distributed Extended Beam Search for Quantitative Model Checking	2007-11-01	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal	2005-10-17	Paper

Research outcomes over time

This page was built for person: Anton Wijs