Anton Wijs

Cited by

	All	Since 2019
Citations	1610	874
h-index	26	15
i10-index	47	28

240

120

180

200520062007200820092010201120122013201420152016201720182019202020212022202320246 13 40 40 28 22 37 47 41 79 62 103 88 114 129 120 129 163 225 103

Public access

View all

19 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueVerified email at fel.cvut.cz
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyVerified email at tue.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Dan ZhangSoftware Engineering & Technology group (SET), at the Eindhoven University of TechnologyVerified email at tue.nl
Luc EngelenResearcher, Eindhoven University of Technology (TU/e)Verified email at tue.nl
Ruurd KuiperVerified email at tue.nl
Sander de PutterEindhoven University of TechnologyVerified email at tue.nl
Alfons LaarmanLeiden UniversityVerified email at liacs.leidenuniv.nl
Cornelis HuizingEindhoven University of TechnologyVerified email at tue.nl
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Jun PangUniversity of LuxembourgVerified email at uni.lu
Damian SulewskiVerified email at tzi.de
A FehnkerMacquarie UniversityVerified email at mq.edu.au
Husain AljazzarVerified email at aljazzar.de
Rom LangerakAssociate Professor, Computer Science, University of TwenteVerified email at ewi.utwente.nl
Michael WeberInstart LogicVerified email at foldr.org
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl

Anton Wijs

Associate Professor on Parallel Software Development 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
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019	185	2019
Multi-core nested depth-first search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs Automated Technology for Verification and Analysis: 9th International …, 2011	66	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	58	2009
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	57	2005
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	56	2017
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, 274-300, 2016	52*	2016
GPUexplore: many-core on-the-fly state space exploration using GPUs A Wijs, D Bošnački Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	51	2014
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, 21-35, 2011	48	2011
GPUexplore 2.0: unleashing GPU explicit-state model checking A Wijs, T Neele, D Bošnački FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016	40	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, 169-185, 2016	37	2016
An O(m log n) algorithm for branching bisimilarity on labelled transition systems DN Jansen, JF Groote, JJA Keiren, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2020	35	2020
Formalizing correspondence rules for automotive architecture views Y Dajsuren, CM Gerpheide, A Serebrenik, A Wijs, B Vasilescu, ... Proceedings of the 10th international ACM Sigsoft conference on Quality of …, 2014	35	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	35	2007
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	34	2012
GPU accelerated strong and branching bisimilarity checking A Wijs Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	32	2015
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	32	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	30*	2005
Parallel SAT simplification on GPU architectures M Osama, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2019	29	2019
SAT solving with GPU accelerated inprocessing M Osama, A Wijs, A Biere International Conference on Tools and Algorithms for the Construction and …, 2021	28	2021
An algorithm for stuttering equivalence and branching bisimulation JF Groote, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2016	28	2016

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

Follow

Cited by

Co-authors