Anton Wijs
TitleCited byYear
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
562005
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
522011
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
482009
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
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
312014
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
26*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
232012
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
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
212016
An O (m log n) algorithm for computing stuttering equivalence and branching bisimulation
JF Groote, DN Jansen, JJA Keiren, AJ Wijs
ACM Transactions on Computational Logic (TOCL) 18 (2), 13, 2017
202017
GPU-PRISM: An extension of PRISM for general purpose graphics processing units
D Bosnacki, S Edelkamp, D Sulewski, A Wijs
2010 Ninth International Workshop on Parallel and Distributed Methods iná…, 2010
202010
GPU accelerated strong and branching bisimilarity checking
A Wijs
International Conference on Tools and Algorithms for the Construction andá…, 2015
192015
REFINER: towards formal verification of model transformations
A Wijs, L Engelen
NASA Formal Methods Symposium, 258-263, 2014
192014
Is timed branching bisimilarity a congruence indeed?
W Fokkink, J Pang, A Wijs
Fundamenta Informaticae 87 (3-4), 287-311, 2008
19*2008
What to do next?: analysing and optimising system behaviour in time
AJ Wijs
Amsterdam: Vrije Universiteit, 2007
192007
Efficient property preservation checking of model refinements
A Wijs, L Engelen
International Conference on Tools and Algorithms for the Construction andá…, 2013
182013
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
18*2012
Achieving discrete relative timing with untimed process algebra
A Wijs
12th IEEE International Conference on Engineering Complex Computer Systemsá…, 2007
182007
The system can't perform the operation now. Try again later.
Articles 1–20