Anton Wijs

Email: anton.wijs@cs.rwth-aachen.de
Address: Room 4203
Ahornstraße 55
D-52074 Aachen
Phone: +49 241 80 21206

I am a post-doctoral researcher at the RWTH Aachen University in the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen. My research interests include:

Model Checking
(Directed) Explicit State Space Traversal and Generation
Distributed / Multi-core / GPGPU / Grid Computing
(Timed) Process Algebra

Publications

2016

Journal article
Many-core on-the-fly model checking of safety properties using GPUs
Anton J. Wijs, Dragan Bošnački
International journal on software tools for technology transfer
PDF of Many-core on-the-fly model checking of safety properties using GPUs RWTH record for Many-core on-the-fly model checking of safety properties using GPUs BibTeX for Many-core on-the-fly model checking of safety properties using GPUs

2014

Journal article
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity
Radu Mateescu, Anton J. Wijs
Science of computer programming
RWTH record for Property-dependent reductions adequate with divergence-sensitive branching bisimilarity BibTeX for Property-dependent reductions adequate with divergence-sensitive branching bisimilarity
Conference paper
Partial Order Reduction for Multi-Core LTL Model Checking
Alfons Laarman, Anton J. Wijs
Hardware and software: verification and testing
RWTH record for Partial Order Reduction for Multi-Core LTL Model Checking BibTeX for Partial Order Reduction for Multi-Core LTL Model Checking

All records on RWTH Publications