• Concise Guide to Software Verification: From Model Checking to Annotation Checking

  M. Huisman and A.J. Wijs Texts in Computer Science, Springer (2023)

• The fast and the capacious: memory-efficient multi-GPU accelerated explicit state space exploration with GPUexplore 3.0

  A.J. Wijs and M. Osama Frontiers in High Performance Computing, Volume 2, Frontiers (2024)

• Certified SAT solving with GPU accelerated inprocessing

  M. Osama, A.J. Wijs and A. Biere Formal Methods in System Design, Volume 62, Issue 1-3, pp. 79-118, Springer (2024)

• Innermost many-sorted term rewriting on GPUs

  J. van Eerd, J.F. Groote, P. Hijma, J. Martens, M. Osama and A.J. Wijs Science of Computer Programming, Volume 225, Article 102910, Elsevier (December 2022)

• Linear parallel algorithms to compute strong and branching bisimilarity

  J. Martens, J.F. Groote, L.B. van den Haak, P. Hijma and A.J. Wijs Software and Systems Modeling, Volume 22, pp. 521-545, Springer (December 2022)

• Compositional Model Checking With Divergence Preserving Branching Bisimilarity Is Lively

  S.M.J. de Putter, F. Lang and A.J. Wijs Science of Computer Programming, Volume 196, Article 102493, Elsevier (September 2020)

• Dependency Safety for Java - Implementing and Testing Failboxes

  D. Zhang, D. Bošnački, M.G.J. van den Brand, C. Huizing, B. Jacobs, R. Kuiper and A.J. Wijs Science of Computer Programming, Volume 184, Article 102316, Elsevier (October 2019)

• Model checking: recent improvements and applications

  D. Bošnački and A.J. Wijs International Journal on Software Tools for Technology Transfer, Volume 20, Issue 5, pp. 493-497, Springer (2018)

• A Formal Verification Technique for Behavioural Model-To-Model Transformations

  S.M.J. de Putter and A.J. Wijs Formal Aspects of Computing, Volume 30, Issue 1, pp. 3-43, Springer (January 2018)

• An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

  J.F. Groote, D.N. Jansen, J.J.A. Keiren and A.J. Wijs ACM Transactions on Computational Logic, Volume 18, Issue 2, pp. 13:1-13:34, ACM Press (June 2017)

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

  D. Bošnački, S. Edelkamp, A. Lluch-Lafuente and A.J. Wijs Science of Computer Programming, Volume 130, pp. 1, Elsevier (November 2016)

• Efficient GPU Algorithms for Parallel Decomposition of Graphs into Strongly Connected and Maximal End Components

  A.J. Wijs, J.-P. Katoen and D. Bošnački Formal Methods in System Design, Volume 48, Issue 3, pp. 274-300, Springer (2016)

• Many-Core On-The-Fly Model Checking of Safety Properties Using GPUs

  A.J. Wijs and D. Bošnački International Journal on Software Tools for Technology Transfer, Volume 18, Issue 2, pp. 169-185, Springer (2016)

• Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity

  R. Mateescu and A.J. Wijs Science of Computer Programming, Volume 96, Issue 3, pp. 354-376, Elsevier (December 2014)

• Efficient Reconstruction of Biological Networks via Transitive Reduction on General Purpose Graphics Processors

  D. Bošnački, M.R. Odenbrett, A.J. Wijs, W.P.A. Ligtenberg and P.A.J. Hilbers BMC Bioinformatics, Volume 13, Issue 281, BioMed Central Ltd (October 2012)

• Sequential and Distributed On-The-Fly Computation of Weak Tau-Confluence

  R. Mateescu and A.J. Wijs Science of Computer Programming, Volume 70, Issue 10-11, pp. 1075-1094, Elsevier (September 2012)

• Extended Beam Search for Non-Exhaustive State Space Analysis

  A.J. Wijs and M. Torabi Dashti Journal of Logic and Algebraic Programming, Volume 81, Issue 1, pp. 46-69, Elsevier (January 2012)

• Parallel Probabilistic Model Checking on General Purpose Graphics Processors

  D. Bošnački, S. Edelkamp, D. Sulewski and A.J. Wijs International Journal on Software Tools for Technology Transfer, Volume 13, Issue 1, pp. 21-35, Springer (January 2011)

• Parallel Algorithms for Transitive Reduction for Weighted Graphs

  D. Bošnački, W.P.A. Ligtenberg, M.R. Odenbrett, A.J. Wijs and P.A.J. Hilbers Mathematica Macedonica, Volume 8, Issue 1, pp. 95-106, Institute of Mathematics, Macedonia (2010)

• Solving Scheduling Problems by Untimed Model Checking - The Clinical Chemical Analyser Case Study

  A.J. Wijs, J.C. van de Pol and E. Bortnik International Journal on Software Tools for Technology Transfer, Volume 11, Issue 5, pp. 375-392, Springer (November 2009)

• Is Timed Branching Bisimilarity a Congruence Indeed?

  W.J. Fokkink, J. Pang and A.J. Wijs Fundamenta Informaticae, Volume 87, Issues 3 and 4, pp. 287-311, IOS Press (November 2008)

• Analyzing a χ model of a turntable system using Spin, CADP and UPPAAL

  E. Bortnik, N. Trčka, A.J. Wijs, S.P. Luttik, J.M. van de Mortel-Fronczak, J.C.M. Baeten, W.J. Fokkink, and J.E. Rooda Journal of Logic and Algebraic Programming, Volume 65, Issue 2, pp. 51-104, Elsevier (November-December 2005)

2024

• No Need to Be Stubborn: Partial-Order Reduction for GPU Model Checking Revisited

  R.W.T. van Spreuwel and A.J. Wijs in Proc. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'24), Specification and Verification, Crete, Greece, volume 15221 of Lecture Notes in Computer Science, pp. ?-?, Springer (2024)

• Proceedings 30th International Symposium on Model Checking Software (SPIN'24)

  T. Neele and A.J. Wijs (editors) Luxembourg City, Luxembourg, volume 14624 of Lecture Notes in Computer Science, Springer (2024)

• Verifying a Radio Telescope Pipeline using HaliVer: Solving Nonlinear and Quantifier Challenges

  L.B. van den Haak, A.J. Wijs, M. Huisman and M.G.J. van den Brand in Proc. 29th International Conference on Formal Methods for Industrial Critical Systems (FMICS'24), Milan, Italy, volume 14952 of Lecture Notes in Computer Science, pp. 152-169, Springer (2024)

• An Evaluation of Massively Parallel Algorithms for DFA Minimization

  J. Martens and A.J. Wijs in Proc. 15th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF'24), Reykjavik, Iceland, volume ?? of Electronic Proceedings in Theoretical Computer Science, pp. ??-??, Open Publishing Association (2024)

• Compact Parallel Hash Tables on the GPU

  S. Hegeman, D. Wöltgens, A.J. Wijs and A. Laarman in Proc. 30th International European Conference on Parallel and Distributed Computing (Euro-Par'24), Madrid, Spain, volume 14802 of Lecture Notes in Computer Science, pp. 226-241, Springer (2024)

• HaliVer: Deductive Verification and Scheduling Languages Join Forces

  L.B. van den Haak, A.J. Wijs, M. Huisman and M.G.J. van den Brand in Proc. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24), Part III, Luxembourg, Luxembourg, volume 14572 of Lecture Notes in Computer Science, pp. 71-89, Springer (2024)

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

  M. Osama and A.J. Wijs in Proc. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24), Part II, Luxembourg, Luxembourg, volume 14571 of Lecture Notes in Computer Science, pp. 23-43, Springer (2024)

• Proceedings 18th International Conference on integrated Formal methods (iFM'23)

  P. Herber and A.J. Wijs (editors) Leiden, The Netherlands, volume 14300 of Lecture Notes in Computer Science, Springer (2024)

2023

• Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview

  A.J. Wijs in Proc. 19th International Conference on Formal Aspects of Component Software (FACS'23), online, volume 14485 of Lecture Notes in Computer Science, pp. 206-227, Springer (2023)

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

  A.J. Wijs and M. Osama in Proc. 29th International Symposium on Model Checking of Software (SPIN'23), Paris, France, volume 13872 of Lecture Notes in Computer Science, pp. 188-197, Springer (2023)

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

  A.J. Wijs and M. Osama in Proc. 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23), Part I, Paris, France, volume 13993 of Lecture Notes in Computer Science, pp. 684-703, Springer (2023)

2022

• Formally Characterizing the Effect of Model Transformations on System Properties

  R. Chaki and A.J. Wijs in Proc. 19th International Conference on Formal Aspects of Component Software (FACS'22), Online, volume 13712 of Lecture Notes in Computer Science, pp. 39-58, Springer (2022)

• Verifying Linked List Safety Properties in AWS C99 Package with CBMC

  M. Osama and A.J. Wijs in Proc. SAT Competition 2022 - Solver and Benchmark Descriptions, online, volume B-2022-1 of Department of Computer Science Series of Publications B, pp. 72, University of Helsinki (2022)

• SeqFROST at the SAT Race 2022

  M. Osama and A.J. Wijs in Proc. SAT Competition 2022 - Solver and Benchmark Descriptions, online, volume B-2022-1 of Department of Computer Science Series of Publications B, pp. 30-31, University of Helsinki (2022) Gold medal winner Main track (SAT)

• Alpinist: an Annotation-Aware GPU Program Optimizer

  Ö. Şakar, M. Safari, M. Huisman and A.J. Wijs in Proc. 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22), Part II, Munich, Germany, volume 13244 of Lecture Notes in Computer Science, pp. 332-352, Springer (2022)

2021

• Proceedings 17th International Conference on Formal Aspects of Component Software (FACS'21)

  G. Salaün and A.J. Wijs (editors) online, volume 13077 of Lecture Notes in Computer Science, Springer (2021)

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

  J. Martens, J.F. Groote, L.B. van den Haak, P. Hijma and A.J. Wijs in Proc. 17th International Conference on Formal Aspects of Component Software (FACS'21), online, volume 13077 of Lecture Notes in Computer Science, pp. 115-133, Springer (2021)

• Verifying String Safety Properties in AWS C99 Package with CBMC

  M. Osama and A.J. Wijs in Proc. SAT Competition 2021 - Solver and Benchmark Descriptions, online, volume B-2021-1 of Department of Computer Science Series of Publications B, pp. 64, University of Helsinki (2021)

• ParaFROST at the SAT Race 2021

  M. Osama and A.J. Wijs in Proc. SAT Competition 2021 - Solver and Benchmark Descriptions, online, volume B-2021-1 of Department of Computer Science Series of Publications B, pp. 32-34, University of Helsinki (2021)

• GPU Acceleration of Bounded Model Checking with ParaFROST

  M. Osama and A.J. Wijs in Proc. 33rd International Conference on Computer-Aided Verification (CAV'21), Part II, online, volume 12760 of Lecture Notes in Computer Science, pp. 447-460, Springer (2021)

• SAT Solving with GPU Accelerated Inprocessing

  M. Osama, A. Biere and A.J. Wijs in Proc. 27th International Conference on Tools and Techniques for the Construction and Analysis of Systems (TACAS'21), Part I, online, volume 12651 of Lecture Notes in Computer Science, pp. 133-151, Springer (2021)

• Term Rewriting on GPUs

  J. van Eerd, J.F. Groote, P. Hijma, J. Martens and A.J. Wijs in Proc. 9th IPM International Conference on Fundamentals of Software Engineering (FSEN'21), online, volume 12818 of Lecture Notes in Computer Science, pp. 175-189, Springer (2021)

2020

• Multiple Decision Making in Conflict Driven Clause Learning

  M. Osama and A.J. Wijs in Proc. 32nd International Conference on Tools with Artificial Intelligence (ICTAI'20), online, pp. 161-169, IEEE (2020)

• SAT Encodings for Flood-It Puzzle

  M. van Stiphout, M. Osama and A.J. Wijs in Proc. SAT Competition 2020 - Solver and Benchmark Descriptions, online, volume B-2020-1 of Department of Computer Science Series of Publications B, pp. 87-88, University of Helsinki (2020)

• ParaFROST, ParaFROST CBT, ParaFROST HRE, ParaFROST ALL at the SAT Race 2020

  M. Osama and A.J. Wijs in Proc. SAT Competition 2020 - Solver and Benchmark Descriptions, online, volume B-2020-1 of Department of Computer Science Series of Publications B, pp. 42-43, University of Helsinki (2020)

• Formal methods for GPGPU programming: is the demand met?

  L. van den Haak, A.J. Wijs, M.G.J. van den Brand and M. Huisman in Proc. 16th International Conference on integrated Formal Methods, online, volume 12546 of Lecture Notes in Computer Science, pp. 160-177, Springer (2020)

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

  S.M.J. de Putter and A.J. Wijs in Proc. 16th International Conference on integrated Formal Methods, online, volume 12546 of Lecture Notes in Computer Science, pp. 297-317, Springer (2020)

• Towards Verified Construction of Correct and Optimised GPU Software

  M. Huisman and A.J. Wijs in Proc. 22nd Workshop on Formal Techniques for Java-like Programs, online, pp. 10-14, ACM (2020)

• An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems

  D.N. Jansen, J.F. Groote, J.J.A. Keiren and A.J. Wijs in Proc. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'20), Part II, Dublin, Ireland, volume 12079 of Lecture Notes in Computer Science, pp. 3-20, Springer (2020)

2019

• SIGmA: GPU Accelerated Simplification of SAT Formulas

  M. Osama and A.J. Wijs in Proc. 15th International Conference on integrated Formal Methods (iFM'19), Bergen, Norway, volume 11918 of Lecture Notes in Computer Science, pp. 514-522, Springer (2019)

• Modular Indirect Push-button Formal Verification of Code Generators

  A.J. Wijs and M. Wiłkowski in Proc. 17th International Conference on Software Engineering and Formal Methods (SEFM'19), Oslo, Norway, volume 11724 of Lecture Notes in Computer Science, pp. 410-429, Springer (2019)

• Parallel SAT Simplification on GPU Architectures

  M. Osama and A.J. Wijs in Proc. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part I, Prague, Czech Republic, volume 11427 of Lecture Notes in Computer Science, pp. 21-40, Springer (2019)

• The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability

  O. Bunte, J.F. Groote, J.J.A. Keiren, M. Laveaux, T. Neele, E.P. de Vink, W. Wesselink, A.J. Wijs and T.A.C. Willemse in Proc. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), Part II, Prague, Czech Republic, volume 11428 of Lecture Notes in Computer Science, pp. 21-39, Springer (2019)

2018

• The SLCO Framework for Verified, Model-driven Construction of Component Software

  S.M.J. de Putter, A.J. Wijs and D. Zhang in Proc. 15th International Conference on Formal Aspects of Component Software (FACS'18), Pohang, South Korea, volume 11222 of Lecture Notes in Computer Science, pp. 288-296, Springer (2018)

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

  S.M.J. de Putter and A.J. Wijs in Proc. 22nd International Symposium on Formal Methods (FM'18), Oxford, UK, volume 10951 of Lecture Notes in Computer Science, pp. 485-504, Springer (2018)

2017

• Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism used in Model-To-Code Transformations

  D. Zhang and D. Bošnački, M.G.J. van den Brand, C. Huizing B. Jacobs, R. Kuiper and A.J. Wijs in Proc. 4th International Conference on Model-driven Engineering and Software Development (MODELSWARD'16), Revised Selected Papers, Rome, Italy, volume 692 of Communications in Computer and Information Science, pp.249-273, Springer (2017)

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

  N. Cassee, T. Neele and A.J. Wijs in Proc. 3rd Workshop on Graphs as Models (GaM'17), Uppsala, Sweden, volume 263 of Electronic Proceedings in Theoretical Computer Science, pp. 38-52, Open Publishing Association (2017)

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

  N. Cassee and A.J. Wijs in Proc. 3rd Workshop on Graphs as Models (GaM'17), Uppsala, Sweden, volume 263 of Electronic Proceedings in Theoretical Computer Science, pp. 1-15, Open Publishing Association (2017)

• Compositional Model Checking is Lively

  S.M.J. de Putter and A.J. Wijs in Proc. 14th International Conference on Formal Aspects of Component Software (FACS'17), Braga, Portugal, volume 10487 of Lecture Notes in Computer Science, pp. 117-136, Springer (2017) Winner of Best Student Paper Award

• Compositional Model Checking with Incremental Counter-Example Construction

  A.J. Wijs and T. Neele in Proc. 29th International Conference on Computer-Aided Verification (CAV'17), Part I, Heidelberg, Germany, volume 10426 of Lecture Notes in Computer Science, pp. 570-590, Springer (2017)

2016

• GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking

  A.J. Wijs, T. Neele and D. Bošnački in Proc. 21st International Symposium on Formal Methods (FM'16), Limassol, Cyprus, volume 9995 of Lecture Notes in Computer Science, pp. 694-701, Springer (2016)

• Dependency Safety for Java - Implementing Failboxes

  D. Bošnački, M.G.J. van den Brand, P. Denissen, C. Huizing, B. Jacobs, R. Kuiper, A.J. Wijs, M. Wiłkowski and D. Zhang in Proc. 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools (PPPJ'16), Lugano, Switzerland, ACM International Conference Proceedings, article 15, ACM Press (2016)

• Partial-Order Reduction for GPU Model Checking

  T. Neele, A.J. Wijs, D. Bošnački and J.C. van de Pol in Proc. 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16), Chiba, Japan, volume 9938 of Lecture Notes in Computer Science, pp. 357-374, Springer (2016)

• Proceedings 23rd International Symposium on Model Checking of Software (SPIN'16)

  D. Bošnački and A.J. Wijs (editors) Co-located with ETAPS 2016, Eindhoven, The Netherlands, volume 9641 of Lecture Notes in Computer Science, Springer (2016)

• BFS-Based Model Checking of Linear-Time Properties With An Application on GPUs

  A.J. Wijs in Proc. 28th International Conference on Computer Aided Verification (CAV'16), Part II, Toronto, Canada, volume 9780 of Lecture Notes in Computer Science, pp. 472-493, Springer (2016)

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

  S.M.J. de Putter and A.J. Wijs in Proc. 19th International Conference on Fundamental Approaches to Software Engineering (FASE'16), Eindhoven, The Netherlands, volume 9633 of Lecture Notes in Computer Science, pp. 383-400, Springer (2016)

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

  J.F. Groote and A.J. Wijs in Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), Eindhoven, The Netherlands, volume 9636 of Lecture Notes in Computer Science, pp. 607-624, Springer (2016)

• Verification of Atomicity Preservation in Model-To-Code Transformations Using Generic Java Code

  D. Zhang, D. Bošnački, M.G.J. van den Brand, C. Huizing, R. Kuiper, B. Jacobs, and A.J. Wijs in Proc. 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'16), Rome, Italy, pp. 578-588, SCITEPRESS (2016)

2015

• Towards Modular Verification of Threaded Concurrent Executable Code Generated From DSL Models

  D. Bošnački, M.G.J. van den Brand, J. Gabriels, B. Jacobs, R. Kuiper, S. Roede, and A.J. Wijs in Proc. 12th International Conference on Formal Aspects of Component Software (FACS'15), Rio de Janeiro, Brazil, volume 9539 of Lecture Notes in Computer Science, pp. 141-160, Springer (2015)

• Confluence Detection for Transformations of Labelled Transition Systems

  A.J. Wijs in Proc. 1st Graphs as Models Workshop (GaM'15), London, UK, volume 181 of Electronic Proceedings in Theoretical Computer Science, pp. 1-15, Open Publishing Association (2015)

• GPU Accelerated Strong and Branching Bisimilarity Checking

  A.J. Wijs in Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), London, UK, volume 9035 of Lecture Notes in Computer Science, pp. 368-383, Springer (2015)

2014

• Partial Order Reduction for Multi-Core LTL Model Checking

  A. Laarman and A.J. Wijs in Proc. 10th Haifa Verification Conference (HVC'14), Haifa, Israel, volume 8855 of Lecture Notes in Computer Science, pp. 267-283, Springer (2014)

• Towards Verified Java Code Generation from Concurrent State Machines

  D. Zhang, D. Bošnački, M.G.J. van den Brand, L.J.P. Engelen, C. Huizing, R. Kuiper, and A.J. Wijs in Proc. 3rd Workshop on the Analysis of Model Transformations (AMT'14), Valencia, Spain, volume 1277 of CEUR Workshop Proceedings, pp. 64-69, CEUR-WS.org (2014)

• Proceedings Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE'14)

  D. Bošnački, S. Edelkamp, A. Lluch Lafuente, and A.J. Wijs (editors) Grenoble, France, volume 159 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association (2014)

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

  A.J. Wijs, J.-P. Katoen and D. Bošnački in Proc. 26th International Conference on Computer Aided Verification (CAV'14), Vienna, Austria, volume 8559 of Lecture Notes in Computer Science, pp. 309-325, Springer (2014)

• Formalizing Correspondence Rules for Automotive Architecture Views

  Y. Dajsuren, C.M. Gerpheide, A. Serebrenik, A.J. Wijs, B. Vasilescu and M.G.J. van den Brand in Proc. 10th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014), Lille, France, pp. 129-138, ACM Press (2014)

• REFINER: Towards Formal Verification of Model Transformations

  A.J. Wijs and L.J.P. Engelen in Proc. 6th NASA Formal Methods Symposium (NFM'14), Houston, Texas, USA, volume 8430 of Lecture Notes in Computer Science, pp. 258-263, Springer (2014)

• GPUexplore: Many-Core On-The-Fly State Space Exploration Using GPUs

  A.J. Wijs and D. Bošnački in Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14), Grenoble, France, volume 8413 of Lecture Notes in Computer Science, pp. 233-247, Springer (2014)

2013

• Proceedings Second Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE'13)

  A.J. Wijs, D. Bošnački, and S. Edelkamp (editors) Rome, Italy, volume 138 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association (2013)

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

  A.J. Wijs in Proc. 10th International Symposium on Formal Aspects of Component Software (FACS'13), Nanchang, China, volume 8348 of Lecture Notes in Computer Science, pp. 348-368, Springer (2013)

• Efficient Property Preservation Checking of Model Refinements

  A.J. Wijs and L.J.P. Engelen in Proc. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), Rome, Italy, volume 7795 of Lecture Notes in Computer Science, pp. 565-579, Springer (2013)

2012

• Proceedings First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE'12)

  A.J. Wijs, D. Bošnački, and S. Edelkamp (editors) Tallinn, Estonia, volume 99 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association (2012)

• Incremental Formal Verification for Model Refining

  A.J. Wijs and L.J.P. Engelen in Proc. 9th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'12), Innsbruck, Austria, pp. 29-34, ACM Press (2012)

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

  A.J. Wijs and D. Bošnački in Proc. 19th International SPIN Workshop on Model Checking of Software (SPIN'12), Oxford, Great Britain, volume 7385 of Lecture Notes in Computer Science, pp. 98-116, Springer (2012)

2011

• Informed Swarm Verification of Infinite-State Systems (Invited talk. Abstract only)

  A.J. Wijs in Proc. 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11), Taipei, Taiwan, volume 73 of Electronic Proceedings in Theoretical Computer Science, pp. 19, Open Publishing Association (2011)

• Multi-Core Nested Depth-First Search

  A. Laarman, R. Langerak, J.C. van de Pol, M. Weber and A.J. Wijs in Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), Taipei, Taiwan, volume 6996 of Lecture Notes in Computer Science, pp. 321-335, Springer (2011)

• The HIVE Tool for Informed Swarm State Space Exploration

  A.J. Wijs in Proc. 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'11), Snowbird, Utah, volume 72 of Electronic Proceedings in Theoretical Computer Science, pp. 91-98, Open Publishing Association (2011)

• Property-Dependent Reductions for the Modal Mu-Calculus

  R. Mateescu and A.J. Wijs in Proc. 18th International SPIN Workshop on Model Checking of Software (SPIN'11), Snowbird, Utah, volume 6823 of Lecture Notes in Computer Science, pp. 2-19, Springer (2011)

• Towards Informed Swarm Verification

  A.J. Wijs in Proc. 3rd NASA Formal Methods Symposium (NFM'11), Pasadena, California, volume 6617 of Lecture Notes in Computer Science, pp. 422-437, Springer (2011)

2010

• GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units (tool paper)

  D. Bošnački, S. Edelkamp, D. Sulewski, and A.J. Wijs in Proc. joint HiBi/PDMC Workshop (HiBi/PDMC'10), Enschede, pp. 17-19, IEEE Computer Society Press (2010)

• Forgetting the Time in Timed Process Algebra - Timeless Behaviour in a Timestamped World

  A.J. Wijs in Proc. 30th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE'10), Amsterdam, volume 6117 of Lecture Notes in Computer Science, pp. 110-124, Springer (2010)

• Partial Order Reduction for Branching Security Protocols

  W.J. Fokkink, M. Torabi Dashti, and A.J. Wijs in Proc. 10th International Conference on Application of Concurrency to System Design (ACSD'10), Braga, pp. 191-200, IEEE Computer Society Press (June 2010)

2009

• Hierarchical Adaptive State Space Caching Based on Level Sampling

  R. Mateescu and A.J. Wijs in Proc. 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09), York, volume 5505 of Lecture Notes in Computer Science, pp. 215-229, Springer (2009)

• Survey on Directed Model Checking

  S. Edelkamp, V. Schuppan, D. Bošnački, A.J. Wijs, A. Fehnker, and H. Aljazzar in Proc. 5th International Workshop on Model Checking and Artificial Intelligence (MoChArt'08), Patras, volume 5348 of Lecture Notes in Artificial Intelligence, pp. 65-89, Springer (2009)

2008

• Distributed Partial Order Reduction for Security Protocols

  M. Torabi Dashti, A.J. Wijs and B. Lisser in Proc. 6th International Workshop on Parallel and Distributed Methods in VerifiCation (PDMC'07), Berlin, issue 1, volume 198 of Electronic Notes in Theoretical Computer Science, pp. 93-99, Elsevier (February 2008)

2007

• Pruning State Spaces With Extended Beam Search

  M. Torabi Dashti and A.J. Wijs in Proc. 5th International Symposium of Automated Technology for Verification and Analysis (ATVA'07), Tokyo, volume 4762 of Lecture Notes in Computer Science, pp. 543-552, Springer (November 2007)

• Achieving Discrete Relative Timing with Untimed Process Algebra

  A.J. Wijs in Proc. 12th Conference on Engineering of Complex Computer Systems (ICECCS'07), Auckland, pp. 35-44, IEEE Computer Society Press (July 2007)

• Partial Order Reduction for Branching Security Protocols

  W.J. Fokkink, M. Torabi Dashti and A.J. Wijs in (R. Focardi, ed.) Proc. 7th IFIP Workshop on Issues in the Theory of Security (WITS'07), Braga, pp. 178-193 (March 2007)

• Distributed Extended Beam Search for Quantitative Model Checking

  A.J. Wijs and B. Lisser in Proc. 4th Workshop on Model Checking and Artificial Intelligence (MoChArt'06), volume 4428 of Lecture Notes in Artificial Intelligence, pp. 165-182, Springer (2007)

• Distributed Analysis with µCRL: A Compendium of Case Studies

  S. Blom, J.R. Calamé, B. Lisser, S. Orzan, J. Pang, J.C. van de Pol, M. Torabi Dashti and A.J. Wijs in Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), Braga, volume 4424 of Lecture Notes in Computer Science, pp. 683-689, Springer (March 2007)

2005

• Is timed branching bisimilarity an equivalence indeed?

  W.J. Fokkink, J. Pang and A.J. Wijs in Proc. 3rd Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05), Uppsala, volume 3829 of Lecture Notes in Computer Science, pp. 258-272, Springer (September 2005)

• Solving Scheduling Problems by Untimed Model Checking - The Clinical Chemical Analyser Case Study

  A.J. Wijs, J.C. van de Pol and E. Bortnik in Proc. 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'05), Lisbon, pp. 54-61, ACM Press (September 2005)

• From χt to µCRL: Combining Performance and Functional Analysis

  A.J. Wijs and W.J. Fokkink in Proc. 10th Conference on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, pp. 184-193, IEEE Computer Society Press (June 2005)

2001

• Informatie-encryptie...hoe veilig zijn we?

  A.J. Wijs in Proc. Nijmegen Student Conference on Computing Science - 2001: An E-commerce Odyssey (NSCCS'01), Nijmegen, pp. 325-347 (February 2001)

• HaliVer: Deductive Verification and Scheduling Languages Join Forces

  L.B. van den Haak, A.J. Wijs, M. Huisman and M.G.J. van den Brand arXiv, 2401.10778, 2024

• Term Rewriting on GPUs

  J. van Eerd, J.F. Groote, P. Hijma, J. Martens and A.J. Wijs arXiv, 2009.07174, 2020

• A Simpler O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems

  D.N. Jansen and J.F. Groote and J.J.A. Keiren and A.J. Wijs Technical Report published at the Eindhoven University of Technology, department of Mathematics and Computer Science, CS-Report 19-03, 2019

• An Overview of GPU Computing Research in The Netherlands: Results from the NIRICT GPGPU Reconnaissance Workshop

  M. Huisman and A.L. Varbanescu and B. van Werkhoven and A.J. Wijs Whitepaper, 2019

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

  J.F. Groote and A.J. Wijs Technical Report published at the Eindhoven University of Technology, department of Mathematics and Computer Science, CS-Report 15-06, 2015

• Checking Property Preservation of Refining Transformations For Model-Driven Development

  L.J.P. Engelen and A.J. Wijs Technical Report published at the Eindhoven University of Technology, department of Mathematics and Computer Science, CS-Report 12-08, 2012

• Property-Dependent Reductions for the Modal Mu-Calculus

  R. Mateescu and A.J. Wijs Technical Report published at INRIA Rhône Alpes, VASY Group, RR-7690, 2011

• Efficient On-the-Fly Computation of Weak Tau-Confluence

  R. Mateescu and A.J. Wijs Technical Report published at INRIA Rhône Alpes, VASY Group, RR-7000, 2009

• Pruning State Spaces with Extended Beam Search

  M. Torabi Dashti and A.J. Wijs Technical Report published at CWI, Software Engineering Group 2, SEN-R0610, ISSN 1386-369X, 2006

• Solving Scheduling Problems by Untimed Model Checking

  A.J. Wijs, J.C. van de Pol and E. Bortnik Technical Report published at CWI, Software Engineering Group 2, SEN-R0608, ISSN 1386-369X, 2006

• Analyzing a χ model of a turntable system using Spin, CADP and UPPAAL

  E. Bortnik, N. Trčka, A.J. Wijs, S.P. Luttik, J.M. van de Mortel-Fronczak, J.C.M. Baeten, W.J. Fokkink, and J.E. Rooda Technical Report published at the Eindhoven University of Technology, department of Mathematics and Computer Science, CS-Report 04-23, 2004

• From timed Chi to µCRL: Combining Performance and Functional Analysis

  A.J. Wijs and W.J. Fokkink Technical Report published at CWI, Software Engineering Group 2, SEN-R0420, ISSN 1386-369X, 2004

• GPU Enabled Automated Reasoning

  M. Osama Mahmoud Technische Universiteit Eindhoven, Faculteit Wiskunde en Informatica, ISBN 978-90-386-5445-4, IPA Dissertation Series 2022-2, defended on 10 March 2022

• Verification of Concurrent Systems in a Model-Driven Engineering Workflow

  S.M.J. de Putter Technische Universiteit Eindhoven, Faculteit Wiskunde en Informatica, ISBN 978-90-386-4678-7, IPA Dissertation Series 2018-21, defended on 28 January 2019

• What to Do Next? Analysing and Optimising System Behaviour in Time

  A.J. Wijs Vrije Universiteit Amsterdam, Faculteit der Exacte Wetenschappen, ISBN 978-90-6464-174-9, IPA Dissertation Series 2007-13, defended on 2 October 2007

• IKGEVTgeCodeerd - Elektronisch Stemmen & Gedistribueerde Sleutelgeneratie

  A.J. Wijs Master Thesis published at Katholieke Universiteit Nijmegen, Faculteit der Natuurwetenschappen, Wiskunde en Informatica, Nijmeegs Instituut voor Informatica en Informatiekunde, Scriptienummer 506, August 2002