| 2026 | CAV | Scalable Deductive Verification of Data-Level Parallel Programs. | Lars B. van den Haak, Anton Wijs, Marieke Huisman |
| 2025 | TACAS | GPUexplore | Jan Heemstra, Anton Wijs |
| 2024 | EuroPar | Compact Parallel Hash Tables on the GPU. | Steef Hegeman, Daan Wltgens, Anton Wijs, Alfons Laarman |
| 2024 | FMICS | Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. | Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |
| 2024 | ISoLA | No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited. | Rik van Spreuwel, Anton Wijs |
| 2024 | TACAS | HaliVer: Deductive Verification and Scheduling Languages Join Forces. | Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |
| 2024 | TACAS | Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. | Muhammad Osama, Anton Wijs |
| 2023 | TACAS | A GPU Tree Database for Many-Core Explicit State Space Exploration. | Anton Wijs, Muhammad Osama |
| 2022 | TACAS | Alpinist: An Annotation-Aware GPU Program Optimizer. | mer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs |
| 2021 | CAV | GPU Acceleration of Bounded Model Checking with ParaFROST. | Muhammad Osama, Anton Wijs |
| 2021 | TACAS | SAT Solving with GPU Accelerated Inprocessing. | Muhammad Osama, Anton Wijs, Armin Biere |
| 2020 | ECOOP | Towards verified construction of correct and optimised GPU software. | Marieke Huisman, Anton Wijs |
| 2020 | ICTAI | Multiple Decision Making in Conflict-Driven Clause Learning. | Muhammad Osama, Anton Wijs |
| 2020 | IFM | Formal Methods for GPGPU Programming: Is the Demand Met? | Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman |
| 2020 | IFM | Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. | Sander de Putter, Anton Wijs |
| 2020 | TACAS | An O(m log n) algorithm for branching bisimilarity on labelled transition systems. | David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs |
| 2019 | IFM | SIGmA: GPU Accelerated Simplification of SAT Formulas. | Muhammad Osama, Anton Wijs |
| 2019 | SEFM | Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. | Anton Wijs, Maciej Wilkowski |
| 2019 | TACAS | The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. | Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse |
| 2019 | TACAS | Parallel SAT Simplification on GPU Architectures. | Muhammad Osama, Anton Wijs |
| 2018 | FM | To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. | Sander de Putter, Anton Wijs |
| 2017 | CAV | Compositional Model Checking with Incremental Counter-Example Construction. | Anton Wijs, Thomas Neele |
| 2016 | ATVA | Partial-Order Reduction for GPU Model Checking. | Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol |
| 2016 | CAV | BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs. | Anton Wijs |
| 2016 | FASE | Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. | Sander de Putter, Anton Wijs |
| 2016 | FM | GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. | Anton Wijs, Thomas Neele, Dragan Bosnacki |
| 2016 | MODELSWARD | Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs |
| 2016 | MODELSWARD | Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs |
| 2016 | TACAS | An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. | Jan Friso Groote, Anton Wijs |
| 2015 | TACAS | GPU Accelerated Strong and Branching Bisimilarity Checking. | Anton Wijs |
| 2014 | CAV | GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. | Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki |
| 2014 | MODELS | Towards Verified Java Code Generation from Concurrent State Machines. | Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs |
| 2014 | TACAS | GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. | Anton Wijs, Dragan Bosnacki |
| 2013 | TACAS | Efficient Property Preservation Checking of Model Refinements. | Anton Wijs, Luc Engelen |
| 2011 | ATVA | Multi-core Nested Depth-First Search. | Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs |
| 2010 | FORTE | Forgetting the Time in Timed Process Algebra. | Anton Wijs |
| 2009 | TACAS | Hierarchical Adaptive State Space Caching Based on Level Sampling. | Radu Mateescu, Anton Wijs |
| 2007 | ATVA | Pruning State Spaces with Extended Beam Search. | Muhammad Torabi Dashti, Anton Wijs |
| 2007 | ICECCS | Achieving Discrete Relative Timing with Untimed Process Algebra. | Anton Wijs |
| 2007 | TACAS | Distributed Analysis with | Stefan Blom, Jens R. Calam, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs |
| 2005 | FMICS | Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. | Anton Wijs, Jaco van de Pol, Elena M. Bortnik |
| 2005 | ICECCS | From chi-t to CRL: Combining Performance and Functional Analysis. | Anton Wijs, Wan J. Fokkink |