Anton Wijs

Cituota

	Visi	Nuo 2019
Šaltiniai	1724	983
h-rodyklė	26	17
i10-rodyklė	49	30

240

120

180

200520062007200820092010201120122013201420152016201720182019202020212022202320246 13 43 40 28 22 37 47 41 79 62 104 88 114 129 120 129 163 223 213

Viešas pasiekiamumas

Peržiūrėti viską

19 straipsnių

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Dragan Bosnackiassistant professor, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PraguePatvirtintas el. paštas fel.cvut.cz
Thomas NeeleAssistant Professor, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Jaco van de PolProfessor of Computer Science, Aarhus UniversityPatvirtintas el. paštas cs.au.dk
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamPatvirtintas el. paštas vu.nl
Dan ZhangSoftware Engineering & Technology group (SET), at the Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Luc EngelenResearcher, Eindhoven University of Technology (TU/e)Patvirtintas el. paštas tue.nl
Ruurd KuiperPatvirtintas el. paštas tue.nl
Sander de PutterEindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Alfons LaarmanLeiden UniversityPatvirtintas el. paštas liacs.leidenuniv.nl
Cornelis HuizingEindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Bart JacobsProfessor of Computer Science, Katholieke Universiteit LeuvenPatvirtintas el. paštas cs.kuleuven.be
Jun PangUniversity of LuxembourgPatvirtintas el. paštas uni.lu
Damian SulewskiPatvirtintas el. paštas tzi.de
A FehnkerMacquarie UniversityPatvirtintas el. paštas mq.edu.au
Husain AljazzarPatvirtintas el. paštas aljazzar.de
Alexander SerebrenikFull Professor of Social Software Engineering, Computer Science, Eindhoven University of TechnologyPatvirtintas el. paštas tue.nl
Rom LangerakAssociate Professor, Computer Science, University of TwentePatvirtintas el. paštas ewi.utwente.nl
Michael WeberInstart LogicPatvirtintas el. paštas foldr.org

Stebėti

Anton Wijs

Associate Professor on Parallel Software Development at Eindhoven University of Technology

Patvirtintas el. paštas tue.nl - Pagrindinis puslapis

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


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	211	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	67	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	61	2009
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	58	2017
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	58	2005
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	54*	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	53	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	50	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	43	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	39	2016
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	37	2014
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	36	2020
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	36	2012
GPU accelerated strong and branching bisimilarity checking A Wijs Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	35	2015
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
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	33	2010
SAT solving with GPU accelerated inprocessing M Osama, A Wijs, A Biere International Conference on Tools and Algorithms for the Construction and …, 2021	32	2021
Parallel SAT simplification on GPU architectures M Osama, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2019	30	2019
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
BFS-based model checking of linear-time properties with an application on GPUs A Wijs Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016	29	2016

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai