Anton Wijs
Title
Cited by
Cited by
Year
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
572005
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
532011
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
492019
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
372014
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
352011
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
332017
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
312007
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
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
252012
Partial order reduction for branching security protocols
W Fokkink, MT Dashti, A Wijs
2010 10th International Conference on Application of Concurrency to System …, 2010
252010
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
242016
GPU accelerated strong and branching bisimilarity checking
A Wijs
International Conference on Tools and Algorithms for the Construction and …, 2015
232015
Extended beam search for non-exhaustive state space analysis
AJ Wijs, MT Dashti
The Journal of Logic and Algebraic Programming 81 (1), 46-69, 2012
23*2012
Efficient property preservation checking of model refinements
A Wijs, L Engelen
International Conference on Tools and Algorithms for the Construction and …, 2013
222013
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
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
Is timed branching bisimilarity a congruence indeed?
W Fokkink, J Pang, A Wijs
Fundamenta Informaticae 87 (3-4), 287-311, 2008
20*2008
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
The system can't perform the operation now. Try again later.
Articles 1–20