Folgen
Anton Wijs
Anton Wijs
Associate Professor on Parallel Software Development at Eindhoven University of Technology
Bestätigte E-Mail-Adresse bei tue.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2172019
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
672011
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
632009
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
592017
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
582005
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
532014
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
502011
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
442016
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
402016
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
372014
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
362020
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
362012
SAT solving with GPU accelerated inprocessing
M Osama, A Wijs, A Biere
International Conference on Tools and Algorithms for the Construction and …, 2021
352021
GPU accelerated strong and branching bisimilarity checking
A Wijs
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
352015
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
352007
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
332010
Parallel SAT simplification on GPU architectures
M Osama, A Wijs
International Conference on Tools and Algorithms for the Construction and …, 2019
302019
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
Partial-order reduction for GPU model checking
T Neele, A Wijs, D Bošnački, J van de Pol
Automated Technology for Verification and Analysis: 14th International …, 2016
292016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20