Anton Wijs

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 55

Top Topics

Formal Verification

Transition Systems

Top Venues

Sci. Comput. Program.

Publications

Muhammad Osama, Anton Wijs
Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. TACAS (2) (2024)
Steef Hegeman, Daan Wöltgens, Anton Wijs, Alfons Laarman
Compact Parallel Hash Tables on the GPU. CoRR (2024)
Muhammad Osama, Anton Wijs, Armin Biere
Certified SAT solving with GPU accelerated inprocessing. Formal Methods Syst. Des. 62 (1) (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
HaliVer: Deductive Verification and Scheduling Languages Join Forces. CoRR (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) (2024)
Anton Wijs
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. FACS (2023)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
Linear parallel algorithms to compute strong and branching bisimilarity. Softw. Syst. Model. 22 (2) (2023)
Anton Wijs, Muhammad Osama
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. SPIN (2023)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs
Innermost many-sorted term rewriting on GPUs. Sci. Comput. Program. 225 (2023)
Anton Wijs, Muhammad Osama
A GPU Tree Database for Many-Core Explicit State Space Exploration. TACAS (1) (2023)
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) (2022)
Rikayan Chaki, Anton Wijs
Formally Characterizing the Effect of Model Transformations on System Properties. FACS (2022)
Muhammad Osama, Anton Wijs, Armin Biere
SAT Solving with GPU Accelerated Inprocessing. TACAS (1) (2021)
Muhammad Osama, Anton Wijs
GPU Acceleration of Bounded Model Checking with ParaFROST. CAV (2) (2021)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A linear parallel algorithm to compute bisimulation and relational coarsest partitions. CoRR (2021)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. FSEN (2021)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. FACS (2021)
Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman
Formal Methods for GPGPU Programming: Is the Demand Met? IFM (2020)
Sander de Putter, Frédéric Lang, Anton Wijs
Compositional model checking with divergence preserving branching bisimilarity is lively. Sci. Comput. Program. 196 (2020)
Marieke Huisman, Anton Wijs
Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP (2020)
Sander de Putter, Anton Wijs
Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion. IFM (2020)
Muhammad Osama, Anton Wijs
Multiple Decision Making in Conflict-Driven Clause Learning. ICTAI (2020)
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs
Term Rewriting on GPUs. CoRR (2020)
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
An O(m log n) algorithm for branching bisimilarity on labelled transition systems. TACAS (2) (2020)
David N. Jansen, Jan Friso Groote, Jeroen J. A. Keiren, Anton Wijs
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. CoRR (2019)
Muhammad Osama, Anton Wijs
Parallel SAT Simplification on GPU Architectures. TACAS (1) (2019)
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
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
Dependency safety for Java - Implementing and testing failboxes. Sci. Comput. Program. 184 (2019)
Anton Wijs, Maciej Wilkowski
Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators. SEFM (2019)
Muhammad Osama, Anton Wijs
SIGmA: GPU Accelerated Simplification of SAT Formulas. IFM (2019)
Sander de Putter, Anton Wijs, Dan Zhang
The SLCO Framework for Verified, Model-Driven Construction of Component Software. FACS (2018)
Sander de Putter, Anton Wijs
A formal verification technique for behavioural model-to-model transformations. Formal Aspects Comput. 30 (1) (2018)
Sander de Putter, Anton Wijs
To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation. FM (2018)
Dragan Bosnacki, Anton Wijs
Model checking: recent improvements and applications. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Nathan Cassee, Thomas Neele, Anton Wijs
On the Scalability of the GPUexplore Explicit-State Model Checker. GaM@ETAPS (2017)
Sander de Putter, Anton Wijs
Compositional Model Checking Is Lively. FACS (2017)
Nathan Cassee, Anton Wijs
Analysing the Performance of GPU Hash Tables for State Space Exploration. GaM@ETAPS (2017)
Anton Wijs, Thomas Neele
Compositional Model Checking with Incremental Counter-Example Construction. CAV (1) (2017)
Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs
) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Trans. Comput. Log. 18 (2) (2017)
Jan Friso Groote, Anton Wijs
An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. CoRR (2016)
Anton Wijs, Dragan Bosnacki
Many-core on-the-fly model checking of safety properties using GPUs. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Sander de Putter, Anton Wijs
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique. FASE (2016)
Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang
Dependency Safety for Java: Implementing Failboxes. PPPJ (2016)
Anton Wijs, Thomas Neele, Dragan Bosnacki
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM (2016)
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs
Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014). Sci. Comput. Program. 130 (2016)
Anton Wijs
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs. CAV (2) (2016)
Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol
Partial-Order Reduction for GPU Model Checking. ATVA (2016)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. MODELSWARD (Revised Selected Papers) (2016)
Jan Friso Groote, Anton Wijs
An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. TACAS (2016)
Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Formal Methods Syst. Des. 48 (3) (2016)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Ruurd Kuiper, Bart Jacobs, Anton Wijs
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code. MODELSWARD (2016)
Anton Wijs
GPU Accelerated Strong and Branching Bisimilarity Checking. TACAS (2015)
Anton Wijs
Confluence Detection for Transformations of Labelled Transition Systems. GaM (2015)
Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. FACS (2015)
Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki
GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components. CAV (2014)
Radu Mateescu, Anton Wijs
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. Sci. Comput. Program. 96 (2014)
Anton Wijs, Luc Engelen
REFINER: Towards Formal Verification of Model Transformations. NASA Formal Methods (2014)
Anton Wijs, Dragan Bosnacki
GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs. TACAS (2014)
Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs
Towards Verified Java Code Generation from Concurrent State Machines. AMT@MoDELS (2014)
Alfons Laarman, Anton Wijs
Partial-Order Reduction for Multi-core LTL Model Checking. Haifa Verification Conference (2014)
Yanja Dajsuren, Christine M. Gerpheide, Alexander Serebrenik, Anton Wijs, Bogdan Vasilescu, Mark G. J. van den Brand
Formalizing correspondence rules for automotive architecture views. QoSA (2014)
Anton Wijs
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. FACS (2013)
Anton Wijs, Luc Engelen
Efficient Property Preservation Checking of Model Refinements. TACAS (2013)
Radu Mateescu, Anton Wijs
Sequential and distributed on-the-fly computation of weak tau-confluence. Sci. Comput. Program. 77 (10-11) (2012)
Anton Wijs, Dragan Bosnacki
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking. SPIN (2012)
Anton Wijs, Mohammad Torabi Dashti
Extended beam search for non-exhaustive state space analysis. J. Log. Algebraic Methods Program. 81 (1) (2012)
Dragan Bonaki, Maximilian R. Odenbrett, Anton Wijs, Willem P. A. Ligtenberg, Peter A. J. Hilbers
Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors. BMC Bioinform. 13 (2012)
Anton Wijs
Towards Informed Swarm Verification. NASA Formal Methods (2011)
Radu Mateescu, Anton Wijs
Property-Dependent Reductions for the Modal Mu-Calculus. SPIN (2011)
Anton Wijs
The HIVE Tool for Informed Swarm State Space Exploration PDMC (2011)
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
Parallel probabilistic model checking on general purpose graphics processors. Int. J. Softw. Tools Technol. Transf. 13 (1) (2011)
Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
Multi-core Nested Depth-First Search. ATVA (2011)
Anton Wijs
Forgetting the Time in Timed Process Algebra. FMOODS/FORTE (2010)
Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs
Partial Order Reduction for Branching Security Protocols. ACSD (2010)
Radu Mateescu, Anton Wijs
Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS (2009)
Anton Wijs, Jaco van de Pol, Elena M. Bortnik
Solving scheduling problems by untimed model checking. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
Survey on Directed Model Checking. MoChArt (2008)
Muhammad Torabi Dashti, Anton Wijs, Bert Lisser
Distributed Partial Order Reduction for Security Protocols. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Wan J. Fokkink, Jun Pang, Anton Wijs
Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Informaticae 87 (3-4) (2008)
Anton Wijs
Achieving Discrete Relative Timing with Untimed Process Algebra. ICECCS (2007)
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
CRL: A Compendium of Case Studies. TACAS (2007)
Muhammad Torabi Dashti, Anton Wijs
Pruning State Spaces with Extended Beam Search. ATVA (2007)
Anton Wijs, Bert Lisser
Distributed Extended Beam Search for Quantitative Model Checking. MoChArt (2006)
Anton Wijs, Wan J. Fokkink
From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS (2005)
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
model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebraic Methods Program. 65 (2) (2005)
Anton Wijs, Jaco van de Pol, Elena M. Bortnik
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. FMICS (2005)
Wan J. Fokkink, Jun Pang, Anton Wijs
Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS (2005)