Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. - Anton Wijs; Jaco van de Pol; Elena M. Bortnik (FMICS, 2005)

Is Timed Branching Bisimilarity an Equivalence Indeed?. - Wan J. Fokkink; Jun Pang 001; Anton Wijs (FORMATS, 2005)

From chi-t to µCRL: Combining Performance and Functional Analysis. - Anton Wijs; Wan J. Fokkink (ICECCS, 2005)

Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. - Elena M. Bortnik; Nikola Trcka; Anton Wijs; Bas Luttik; Joanna M. van de Mortel-Fronczak; Jos C. M. Baeten; Wan J. Fokkink; Jacobus E. Rooda (J. Log. Algebraic Methods Program., 2005)

Distributed Extended Beam Search for Quantitative Model Checking. - Anton Wijs; Bert Lisser (MoChArt, 2006)

Pruning State Spaces with Extended Beam Search. - Muhammad Torabi Dashti; Anton Wijs (ATVA, 2007)

Achieving Discrete Relative Timing with Untimed Process Algebra. - Anton Wijs (ICECCS, 2007)

Distributed Analysis with mu CRL: A Compendium of Case Studies. - Stefan Blom; Jens R. Calamé; Bert Lisser; Simona Orzan; Jun Pang 001; Jaco van de Pol; Muhammad Torabi Dashti; Anton Wijs (TACAS, 2007)

Distributed Partial Order Reduction for Security Protocols. - Muhammad Torabi Dashti; Anton Wijs; Bert Lisser (PDMC@CAV, 2007)

Survey on Directed Model Checking. - Stefan Edelkamp; Viktor Schuppan; Dragan Bosnacki; Anton Wijs; Ansgar Fehnker; Husain Aljazzar (MoChArt, 2008)

Is Timed Branching Bisimilarity a Congruence Indeed? - Wan J. Fokkink; Jun Pang 001; Anton Wijs (Fundam. Informaticae, 2008)

Hierarchical Adaptive State Space Caching Based on Level Sampling. - Radu Mateescu 001; Anton Wijs (TACAS, 2009)

Solving scheduling problems by untimed model checking. - Anton Wijs; Jaco van de Pol; Elena M. Bortnik (Int. J. Softw. Tools Technol. Transf., 2009)

Partial Order Reduction for Branching Security Protocols. - Wan J. Fokkink; Mohammad Torabi Dashti; Anton Wijs (ACSD, 2010)

Forgetting the Time in Timed Process Algebra. - Anton Wijs (FMOODS/FORTE, 2010)

Multi-core Nested Depth-First Search. - Alfons Laarman; Rom Langerak; Jaco van de Pol; Michael Weber 002; Anton Wijs (ATVA, 2011)

Towards Informed Swarm Verification. - Anton Wijs (NASA Formal Methods, 2011)

Property-Dependent Reductions for the Modal Mu-Calculus. - Radu Mateescu 001; Anton Wijs (SPIN, 2011)

The HIVE Tool for Informed Swarm State Space Exploration - Anton Wijs (PDMC, 2011)

Parallel probabilistic model checking on general purpose graphics processors. - Dragan Bosnacki; Stefan Edelkamp; Damian Sulewski; Anton Wijs (Int. J. Softw. Tools Technol. Transf., 2011)

Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. - Anton Wijs; Dragan Bosnacki (SPIN, 2012)

Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. - Dragan Bonaki; Maximilian R. Odenbrett; Anton Wijs; Willem P. A. Ligtenberg; Peter A. J. Hilbers (BMC Bioinform., 2012)

Extended beam search for non-exhaustive state space analysis. - Anton Wijs; Mohammad Torabi Dashti (J. Log. Algebraic Methods Program., 2012)

Sequential and distributed on-the-fly computation of weak tau-confluence. - Radu Mateescu 001; Anton Wijs (Sci. Comput. Program., 2012)

Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. - Anton Wijs (FACS, 2013)

Efficient Property Preservation Checking of Model Refinements. - Anton Wijs; Luc Engelen (TACAS, 2013)

GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. - Anton Wijs; Joost-Pieter Katoen; Dragan Bosnacki (CAV, 2014)

Partial-Order Reduction for Multi-core LTL Model Checking. - Alfons Laarman; Anton Wijs (Haifa Verification Conference, 2014)

Towards Verified Java Code Generation from Concurrent State Machines. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Luc Engelen; Cornelis Huizing; Ruurd Kuiper 001; Anton Wijs (AMT@MoDELS, 2014)

REFINER: Towards Formal Verification of Model Transformations. - Anton Wijs; Luc Engelen (NASA Formal Methods, 2014)

Formalizing correspondence rules for automotive architecture views. - Yanja Dajsuren; Christine M. Gerpheide; Alexander Serebrenik; Anton Wijs; Bogdan Vasilescu; Mark G. J. van den Brand (QoSA, 2014)

GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. - Anton Wijs; Dragan Bosnacki (TACAS, 2014)

Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. - Radu Mateescu 001; Anton Wijs (Sci. Comput. Program., 2014)

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. - Dragan Bosnacki; Mark van den Brand; Joost Gabriels; Bart Jacobs 002; Ruurd Kuiper 001; Sybren Roede; Anton Wijs; Dan Zhang 002 (FACS, 2015)

GPU Accelerated Strong and Branching Bisimilarity Checking. - Anton Wijs (TACAS, 2015)

Confluence Detection for Transformations of Labelled Transition Systems. - Anton Wijs (GaM, 2015)

Partial-Order Reduction for GPU Model Checking. - Thomas Neele; Anton Wijs; Dragan Bosnacki; Jaco van de Pol (ATVA, 2016)

BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs. - Anton Wijs (CAV (2), 2016)

Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. - Sander de Putter; Anton Wijs (FASE, 2016)

GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. - Anton Wijs; Thomas Neele; Dragan Bosnacki (FM, 2016)

Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (MODELSWARD (Revised Selected Papers), 2016)

Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Ruurd Kuiper 001; Bart Jacobs 002; Anton Wijs (MODELSWARD, 2016)

Dependency Safety for Java: Implementing Failboxes. - Dragan Bosnacki; Mark van den Brand; Philippe Denissen; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs; Maciej Wilkowski; Dan Zhang 002 (PPPJ, 2016)

An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. - Jan Friso Groote; Anton Wijs (TACAS, 2016)

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. - Anton Wijs; Joost-Pieter Katoen; Dragan Bosnacki (Formal Methods Syst. Des., 2016)

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). - Dragan Bosnacki; Stefan Edelkamp; Alberto Lluch-Lafuente; Anton Wijs (Sci. Comput. Program., 2016)

Many-core on-the-fly model checking of safety properties using GPUs. - Anton Wijs; Dragan Bosnacki (Int. J. Softw. Tools Technol. Transf., 2016)

Compositional Model Checking with Incremental Counter-Example Construction. - Anton Wijs; Thomas Neele (CAV (1), 2017)

Compositional Model Checking Is Lively. - Sander de Putter; Anton Wijs (FACS, 2017)

Analysing the Performance of GPU Hash Tables for State Space Exploration. - Nathan Cassee; Anton Wijs (GaM@ETAPS, 2017)

On the Scalability of the GPUexplore Explicit-State Model Checker. - Nathan Cassee; Thomas Neele; Anton Wijs (GaM@ETAPS, 2017)

An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. - Jan Friso Groote; David N. Jansen; Jeroen J. A. Keiren; Anton Wijs (ACM Trans. Comput. Log., 2017)

The SLCO Framework for Verified, Model-Driven Construction of Component Software. - Sander de Putter; Anton Wijs; Dan Zhang 002 (FACS, 2018)

To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. - Sander de Putter; Anton Wijs (FM, 2018)

A formal verification technique for behavioural model-to-model transformations. - Sander de Putter; Anton Wijs (Formal Aspects Comput., 2018)

Model checking: recent improvements and applications. - Dragan Bosnacki; Anton Wijs (Int. J. Softw. Tools Technol. Transf., 2018)

SIGmA: GPU Accelerated Simplification of SAT Formulas. - Muhammad Osama 003; Anton Wijs (IFM, 2019)

Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. - Anton Wijs; Maciej Wilkowski (SEFM, 2019)

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 (TACAS (2), 2019)

Parallel SAT Simplification on GPU Architectures. - Muhammad Osama 003; Anton Wijs (TACAS (1), 2019)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. - David N. Jansen; Jan Friso Groote; Jeroen J. A. Keiren; Anton Wijs (CoRR, 2019)

Dependency safety for Java - Implementing and testing failboxes. - Dan Zhang 002; Dragan Bosnacki; Mark van den Brand; Cornelis Huizing; Bart Jacobs 002; Ruurd Kuiper 001; Anton Wijs (Sci. Comput. Program., 2019)

Towards verified construction of correct and optimised GPU software. - Marieke Huisman; Anton Wijs (FTfJP@ECOOP, 2020)

Multiple Decision Making in Conflict-Driven Clause Learning. - Muhammad Osama 003; Anton Wijs (ICTAI, 2020)

Formal Methods for GPGPU Programming: Is the Demand Met? - Lars B. van den Haak; Anton Wijs; Mark van den Brand; Marieke Huisman (IFM, 2020)

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. - Sander de Putter; Anton Wijs (IFM, 2020)

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 (TACAS (2), 2020)

Compositional model checking with divergence preserving branching bisimilarity is lively. - Sander de Putter; Frédéric Lang; Anton Wijs (Sci. Comput. Program., 2020)

GPU Acceleration of Bounded Model Checking with ParaFROST. - Muhammad Osama 003; Anton Wijs (CAV (2), 2021)

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. - Jan Martens 001; Jan Friso Groote; Lars B. van den Haak; Pieter Hijma; Anton Wijs (FACS, 2021)

Term Rewriting on GPUs. - Johri van Eerd; Jan Friso Groote; Pieter Hijma; Jan Martens 001; Anton Wijs (FSEN, 2021)

SAT Solving with GPU Accelerated Inprocessing. - Muhammad Osama 003; Anton Wijs; Armin Biere (TACAS (1), 2021)

Formally Characterizing the Effect of Model Transformations on System Properties. - Rikayan Chaki; Anton Wijs (FACS, 2022)

Alpinist: An Annotation-Aware GPU Program Optimizer. - Ömer Sakar; Mohsen Safari; Marieke Huisman; Anton Wijs (TACAS (2), 2022)

Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. - Anton Wijs (FACS, 2023)

GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. - Anton Wijs; Muhammad Osama 003 (SPIN, 2023)

A GPU Tree Database for Many-Core Explicit State Space Exploration. - Anton Wijs; Muhammad Osama 003 (TACAS (1), 2023)

Innermost many-sorted term rewriting on GPUs. - Johri van Eerd; Jan Friso Groote; Pieter Hijma; Jan Martens 001; Muhammad Osama 003; Anton Wijs (Sci. Comput. Program., 2023)

Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2 - Marieke Huisman; Anton Wijs (Springer, 2023)

Linear parallel algorithms to compute strong and branching bisimilarity. - Jan Martens 001; Jan Friso Groote; Lars B. van den Haak; Pieter Hijma; Anton Wijs (Softw. Syst. Model., 2023)

Towards End-to-End GPU Acceleration of PCTL Model Checking. - Jan Heemstra; Muhammad Osama 003; Anton Wijs (Principles of Verification (2), 2024)

Compact Parallel Hash Tables on the GPU. - Steef Hegeman; Daan Wöltgens; Anton Wijs; Alfons Laarman (Euro-Par (2), 2024)

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 (FMICS, 2024)

No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited. - Rik van Spreuwel; Anton Wijs (ISoLA (3), 2024)

HaliVer: Deductive Verification and Scheduling Languages Join Forces. - Lars B. van den Haak; Anton Wijs; Marieke Huisman; Mark van den Brand (TACAS (3), 2024)

Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. - Muhammad Osama 003; Anton Wijs (TACAS (2), 2024)

An Evaluation of Massively Parallel Algorithms for DFA Minimization. - Jan Martens 001; Anton Wijs (GandALF, 2024)

Certified SAT solving with GPU accelerated inprocessing. - Muhammad Osama 003; Anton Wijs; Armin Biere (Formal Methods Syst. Des., 2024)

GPUexploresc prob: Markov Chain State Space Construction and Verification with GPUs. - Jan Heemstra; Anton Wijs (TACAS (3), 2025)