Anton Wijs
Titel
Geciteerd door
Geciteerd door
Jaar
Multi-core nested depth-first search
A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs
International Symposium on Automated Technology for Verification and …, 2011
552011
Analyzing a χ model of a turntable system using Spin, CADP and Uppaal
E Bortnik, N Trčka, AJ Wijs, B Luttik, JM van de Mortel-Fronczak, ...
The Journal of Logic and Algebraic Programming 65 (2), 51-104, 2005
542005
Survey on directed model checking
S Edelkamp, V Schuppan, D Bošnački, A Wijs, A Fehnker, H Aljazzar
Model Checking and Artificial Intelligence, 65-89, 2009
512009
The mCRL2 toolset for analysing concurrent systems
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
442019
GPUexplore: many-core on-the-fly state space exploration using GPUs
A Wijs, D Bošnački
International Conference on Tools and Algorithms for the Construction and …, 2014
342014
Parallel probabilistic model checking on general purpose graphics processors
D Bošnački, S Edelkamp, D Sulewski, A Wijs
International Journal on Software Tools for Technology Transfer 13 (1), 21-35, 2011
342011
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
JF Groote, DN Jansen, JJA Keiren, AJ Wijs
ACM Transactions on Computational Logic (TOCL) 18 (2), 1-34, 2017
312017
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
A Wijs, JP Katoen, D Bošnački
Formal Methods in System Design 48 (3), 274-300, 2016
30*2016
Distributed Analysis with μCRL: A Compendium of Case Studies
S Blom, JR Calamé, B Lisser, S Orzan, J Pang, J Van De Pol, MT Dashti, ...
International Conference on Tools and Algorithms for the Construction and …, 2007
302007
Improving GPU sparse matrix-vector multiplication for probabilistic model checking
AJ Wijs, D Bošnački
International SPIN Workshop on Model Checking of Software, 98-116, 2012
242012
Many-core on-the-fly model checking of safety properties using GPUs
A Wijs, D Bošnački
International Journal on Software Tools for Technology Transfer 18 (2), 169-185, 2016
232016
Partial order reduction for branching security protocols
W Fokkink, MT Dashti, A Wijs
2010 10th International Conference on Application of Concurrency to System …, 2010
232010
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study
A Wijs, J van de Pol, E Bortnik
Proceedings of the 10th international workshop on Formal methods for …, 2005
22*2005
GPU accelerated strong and branching bisimilarity checking
A Wijs
International Conference on Tools and Algorithms for the Construction and …, 2015
212015
Efficient property preservation checking of model refinements
A Wijs, L Engelen
International Conference on Tools and Algorithms for the Construction and …, 2013
212013
GPUexplore 2.0: unleashing GPU explicit-state model checking
A Wijs, T Neele, D Bošnački
International Symposium on Formal Methods, 694-701, 2016
202016
REFINER: towards formal verification of model transformations
A Wijs, L Engelen
NASA Formal Methods Symposium, 258-263, 2014
202014
GPU-PRISM: An extension of PRISM for general purpose graphics processing units
D Bošnački, S Edelkamp, D Sulewski, A Wijs
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
202010
What to do next? Analysing and optimising system behaviour in time
AJ Wijs
202007
An Algorithm for Stuttering Equivalence and Branching Bisimulation
JF Groote, A Wijs
International Conference on Tools and Algorithms for the Construction and …, 2016
192016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20