Anton Wijs
Titel
Geciteerd door
Geciteerd door
Jaar
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
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
542019
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
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
372017
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
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
33*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
312007
GPU accelerated strong and branching bisimilarity checking
A Wijs
International Conference on Tools and Algorithms for the Construction andá…, 2015
252015
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
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
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
222016
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
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
212010
Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors
D Bošnački, MR Odenbrett, A Wijs, W Ligtenberg, P Hilbers
BMC bioinformatics 13 (1), 1-13, 2012
202012
Is timed branching bisimilarity a congruence indeed?
W Fokkink, J Pang, A Wijs
Fundamenta Informaticae 87 (3-4), 287-311, 2008
20*2008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20