• A Formal Verification Technique for Behavioural Model-To-Model Transformations
    S.M.J. de Putter and A.J. Wijs
    Formal Aspects of Computing, Volume ??, Issue ??, pp. ??-??, Springer (accepted for publication)
  • 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)

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)
  • 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
  • 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