The following pages link to Anton Wijs (Q436407):
Displaying 24 items.
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409) (← links)
- (Q652161) (redirect page) (← links)
- Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- Term rewriting on GPUs (Q2145278) (← links)
- Compositional model checking with incremental counter-example construction (Q2151274) (← links)
- An \(O(m\log n)\) algorithm for stuttering equivalence and branching bisimulation (Q2272927) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (Q2801764) (← links)
- (Q2812141) (← links)
- Pruning State Spaces with Extended Beam Search (Q3510825) (← links)
- (Q3601869) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- Hierarchical Adaptive State Space Caching Based on Level Sampling (Q3617761) (← links)
- BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs (Q4633562) (← links)
- An O(m log n) algorithm for branching bisimilarity on labelled transition systems (Q5164166) (← links)
- An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation (Q5278211) (← links)
- Efficient Property Preservation Checking of Model Refinements (Q5326351) (← links)
- Distributed Extended Beam Search for Quantitative Model Checking (Q5423889) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897967) (← links)
- Certified SAT solving with GPU accelerated inprocessing (Q6564174) (← links)
- Experiments of Multiple Decision Making in CDCL SAT Solvers (Q6718552) (← links)
