| 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 | 212 | 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 |
| 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 | 59 | 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 | 58 | 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 | 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 |
Dragan Bosnackiassistant professor, Eindhoven University of Technologytue.nl의 이메일 확인됨
