• 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 *, Issue *, pp. *-*, Springer (* 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)

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 Contruction 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

  • A.J. Wijs, Informatie-encryptie...hoe veilig zijn we?, in Proc. Nijmegen Student Conference on Computing Science - 2001: An E-commerce Odyssey (NSCCS'01), Nijmegen, pp. 325-347 (February 2001)
  • 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. Trcka, 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 Technical University of Eindhoven, 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