Anton Wijs

Cited by

	All	Since 2015
Citations	890	560
h-index	19	14
i10-index	34	22

120

20052006200720082009201020112012201320142015201620172018201920209 14 26 37 24 21 33 43 46 65 61 105 86 115 101 92

Co-authors

Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Edelkamp, StefanComputer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in PragueVerified email at fel.cvut.cz
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Luc EngelenResearcher, Eindhoven University of Technology (TU/e)Verified email at tue.nl
Thomas NeeleEindhoven University of TechnologyVerified email at tue.nl
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyVerified email at tue.nl
Dan ZhangSoftware Engineering & Technology group (SET), at the Eindhoven University of TechnologyVerified email at tue.nl
Ruurd KuiperVerified email at tue.nl
A FehnkerUniversity of TwenteVerified email at utwente.nl
Husain AljazzarVerified email at aljazzar.de
Damian SulewskiVerified email at tzi.de
Jun PangUniversity of LuxembourgVerified email at uni.lu
Cornelis HuizingEindhoven University of TechnologyVerified email at tue.nl
Alfons LaarmanAssistant Professor, Leiden UniversityVerified email at liacs.leidenuniv.nl
Sander de PutterEindhoven University of TechnologyVerified email at tue.nl
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Jos BaetenVerified email at cwi.nl
Joanna M. van de Mortel-FronczakProfessor of Mechanical Engineering, Eindhoven University of TechnologyVerified email at tue.nl

Anton Wijs

Assistant Professor at Eindhoven University of Technology

Verified email at tue.nl - Homepage

Computer science formal methods model checking GPU computing multi-core computing


Title Sort by citations Sort by year Sort by 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	54	2005
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	53	2011
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	50	2009
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	36	2019
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	34	2011
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	31	2017
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	31	2014
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	30	2007
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	29*	2016
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	23	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	23	2012
Partial order reduction for branching security protocols W Fokkink, MT Dashti, A Wijs 2010 10th International Conference on Application of Concurrency to System …, 2010	23	2010
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	20	2015
Efficient property preservation checking of model refinements A Wijs, L Engelen International Conference on Tools and Algorithms for the Construction and …, 2013	20	2013
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	20	2010
What to do next? Analysing and optimising system behaviour in time AJ Wijs	20	2007
An Algorithm for Stuttering Equivalence and Branching Bisimulation JF Groote, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2016	19	2016
REFINER: towards formal verification of model transformations A Wijs, L Engelen NASA Formal Methods Symposium, 258-263, 2014	19	2014
Is timed branching bisimilarity a congruence indeed? W Fokkink, J Pang, A Wijs Fundamenta Informaticae 87 (3-4), 287-311, 2008	19*	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors