Anton Wijs

According to our database, Anton Wijs authored at least 83 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HaliVer: Deductive Verification and Scheduling Languages Join Forces.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

CoRR, 2024

Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking.

Muhammad Osama, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

sc HaliVer: Deductive Verification and Scheduling Languages Join Forces.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Linear parallel algorithms to compute strong and branching bisimilarity.

Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs

Softw. Syst. Model., April, 2023

Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2

Marieke Huisman, Anton Wijs

Texts in Computer Science, Springer, ISBN: 978-3-031-30166-7, 2023

Innermost many-sorted term rewriting on GPUs.

Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Muhammad Osama, Anton Wijs

Sci. Comput. Program., 2023

A GPU Tree Database for Many-Core Explicit State Space Exploration.

Anton Wijs, Muhammad Osama

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.

Anton Wijs, Muhammad Osama

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview.

Anton Wijs

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2022

Alpinist: An Annotation-Aware GPU Program Optimizer.

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Formally Characterizing the Effect of Model Transformations on System Properties.

Rikayan Chaki, Anton Wijs

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

SAT Solving with GPU Accelerated Inprocessing.

Muhammad Osama, Anton Wijs, Armin Biere

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Term Rewriting on GPUs.

Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions.

Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

GPU Acceleration of Bounded Model Checking with ParaFROST.

Muhammad Osama, Anton Wijs

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Compositional model checking with divergence preserving branching bisimilarity is lively.

Sander de Putter, Frédéric Lang, Anton Wijs

Sci. Comput. Program., 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion.

Sander de Putter, Anton Wijs

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Methods for GPGPU Programming: Is the Demand Met?

Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Multiple Decision Making in Conflict-Driven Clause Learning.

Muhammad Osama, Anton Wijs

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Towards verified construction of correct and optimised GPU software.

Marieke Huisman, Anton Wijs

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

2019

Dependency safety for Java - Implementing and testing failboxes.

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs

Sci. Comput. Program., 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

Parallel SAT Simplification on GPU Architectures.

Muhammad Osama, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators.

Anton Wijs, Maciej Wilkowski

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

SIGmA: GPU Accelerated Simplification of SAT Formulas.

Muhammad Osama, Anton Wijs

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Model checking: recent improvements and applications.

Dragan Bosnacki, Anton Wijs

Int. J. Softw. Tools Technol. Transf., 2018

A formal verification technique for behavioural model-to-model transformations.

Sander de Putter, Anton Wijs

Formal Aspects Comput., 2018

To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation.

Sander de Putter, Anton Wijs

Proceedings of the Formal Methods - 22nd International Symposium, 2018

The SLCO Framework for Verified, Model-Driven Construction of Component Software.

Sander de Putter, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

An <i>O</i>(<i>m</i>log<i>n</i>) 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

On the Scalability of the GPUexplore Explicit-State Model Checker.

Nathan Cassee, Thomas Neele, Anton Wijs

Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

Analysing the Performance of GPU Hash Tables for State Space Exploration.

Nathan Cassee, Anton Wijs

Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

Compositional Model Checking Is Lively.

Sander de Putter, Anton Wijs

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

Compositional Model Checking with Incremental Counter-Example Construction.

Anton Wijs, Thomas Neele

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Many-core on-the-fly model checking of safety properties using GPUs.

Anton Wijs, Dragan Bosnacki

Int. J. Softw. Tools Technol. Transf., 2016

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014).

Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, Anton Wijs

Sci. Comput. Program., 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

An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation.

Jan Friso Groote, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Dependency Safety for Java: Implementing Failboxes.

Dragan Bosnacki, Mark van den Brand, Philippe Denissen, Cornelis Huizing, Bart Jacobs, Ruurd Kuiper, Anton Wijs, Maciej Wilkowski, Dan Zhang

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

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

Proceedings of the MODELSWARD 2016, 2016

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

Proceedings of the Model-Driven Engineering and Software Development, 2016

GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking.

Anton Wijs, Thomas Neele, Dragan Bosnacki

Proceedings of the FM 2016: Formal Methods, 2016

Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.

Sander de Putter, Anton Wijs

Proceedings of the Fundamental Approaches to Software Engineering, 2016

BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs.

Anton Wijs

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Partial-Order Reduction for GPU Model Checking.

Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Confluence Detection for Transformations of Labelled Transition Systems.

Anton Wijs

Proceedings of the Proceedings Graphs as Models, 2015

GPU Accelerated Strong and Branching Bisimilarity Checking.

Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.

Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Property-dependent reductions adequate with divergence-sensitive branching bisimilarity.

Radu Mateescu, Anton Wijs

Sci. Comput. Program., 2014

GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs.

Anton Wijs, Dragan Bosnacki

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

REFINER: Towards Formal Verification of Model Transformations.

Anton Wijs, Luc Engelen

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

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

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Partial-Order Reduction for Multi-core LTL Model Checking.

Alfons Laarman, Anton Wijs

Proceedings of the Hardware and Software: Verification and Testing, 2014

GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components.

Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Efficient Property Preservation Checking of Model Refinements.

Anton Wijs, Luc Engelen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics.

Anton Wijs

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

Sequential and distributed on-the-fly computation of weak tau-confluence.

Radu Mateescu, Anton Wijs

Sci. Comput. Program., 2012

Extended beam search for non-exhaustive state space analysis.

Anton Wijs, Mohammad Torabi Dashti

J. Log. Algebraic Methods Program., 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

Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking.

Anton Wijs, Dragan Bosnacki

Proceedings of the Model Checking Software - 19th International Workshop, 2012

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

The HIVE Tool for Informed Swarm State Space Exploration

Anton Wijs

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

Property-Dependent Reductions for the Modal Mu-Calculus.

Radu Mateescu, Anton Wijs

Proceedings of the Model Checking Software, 2011

Towards Informed Swarm Verification.

Anton Wijs

Proceedings of the NASA Formal Methods, 2011

Multi-core Nested Depth-First Search.

Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Forgetting the Time in Timed Process Algebra.

Anton Wijs

Proceedings of the Formal Techniques for Distributed Systems, 2010

Partial Order Reduction for Branching Security Protocols.

Wan J. Fokkink, Mohammad Torabi Dashti, Anton Wijs

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Solving scheduling problems by untimed model checking.

Anton Wijs, Jaco van de Pol, Elena M. Bortnik

Int. J. Softw. Tools Technol. Transf., 2009

Hierarchical Adaptive State Space Caching Based on Level Sampling.

Radu Mateescu, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Is Timed Branching Bisimilarity a Congruence Indeed?

Wan J. Fokkink, Jun Pang, Anton Wijs

Fundam. Informaticae, 2008

Survey on Directed Model Checking.

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

2007

Distributed Partial Order Reduction for Security Protocols.

Muhammad Torabi Dashti, Anton Wijs, Bert Lisser

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007

Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Achieving Discrete Relative Timing with Untimed Process Algebra.

Anton Wijs

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Pruning State Spaces with Extended Beam Search.

Muhammad Torabi Dashti, Anton Wijs

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Distributed Extended Beam Search for Quantitative Model Checking.

Anton Wijs, Bert Lisser

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

2005

Analyzing a <i>chi</i> 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

From chi-t to µCRL: Combining Performance and Functional Analysis.

Anton Wijs, Wan J. Fokkink

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Is Timed Branching Bisimilarity an Equivalence Indeed?.

Wan J. Fokkink, Jun Pang, Anton Wijs

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Solving scheduling problems by untimed model checking: the clinical chemical analyser case study.

Anton Wijs, Jaco van de Pol, Elena M. Bortnik

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005