Anton Wijs
Título
Citado por
Citado por
Año
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
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
472009
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
302014
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
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
27*2016
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
252017
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
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
222016
Partial order reduction for branching security protocols
W Fokkink, MT Dashti, A Wijs
2010 10th International Conference on Application of Concurrency to System …, 2010
212010
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
21*2005
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
202019
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
Efficient property preservation checking of model refinements
A Wijs, L Engelen
International Conference on Tools and Algorithms for the Construction and …, 2013
182013
Is timed branching bisimilarity a congruence indeed?
W Fokkink, J Pang, A Wijs
Fundamenta Informaticae 87 (3-4), 287-311, 2008
18*2008
What to do next? Analysing and optimising system behaviour in time
AJ Wijs
182007
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), 281, 2012
172012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20