If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    An O(m log n) algorithm for branching bisimilarity on labelled transition systems

    Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 1 Jan 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    4 Citations (Scopus)
  • Formal Methods for GPGPU Programming: Is the Demand Met?

    van den Haak, L., Wijs, A. J., van den Brand, M. G. J. & Huisman, M., 2020, Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    51 Downloads (Pure)
  • Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion

    de Putter, S. & Wijs, A., 2020, Integrated Formal Methods - 16th International Conference, IFM 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 297-317 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Towards verified construction of correct and optimised GPU software

    Huisman, M. & Wijs, A., 23 Jul 2020, FTfJP 2020 - Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020. Oortwijn, W. (ed.). Association for Computing Machinery, Inc, p. 10-14 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • 2019

    Modular indirect push-button formal verification of multi-threaded code generators

    Wijs, A. & Wiłkowski, M., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. Ölveczky, P. C. & Salaün, G. (eds.). Cham: Springer, p. 410-429 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11724 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    2 Downloads (Pure)
  • Parallel SAT simplification on GPU architectures

    Osama, M. & Wijs, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 21-40 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
    36 Downloads (Pure)
  • SIGmA: GPU accelerated simplification of SAT formulas

    Osama, M. & Wijs, A., 1 Jan 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Cham: Springer, p. 514-522 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Cham: Springer, p. 21-39 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    26 Citations (Scopus)
    37 Downloads (Pure)
  • 2018

    The SLCO framework for verified, model-driven construction of component software

    de Putter, S., Wijs, A. & Zhang, D., 1 Jan 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Cham: Springer, p. 288-296 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • To compose, or not to compose, that is the question: an analysis of compositional state space generation

    de Putter, S. & Wijs, A., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Peleska, J., Roscoe, B. & de Vink, E. (eds.). Cham: Springer, p. 485-504 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • 2017

    Compositional model checking is lively

    de Putter, S. M. J. & Wijs, A. J., 2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Proença, J. & Lumpe, M. (eds.). Dordrecht: Springer, p. 117-136 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10487 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    4 Citations (Scopus)
  • Compositional model checking with incremental counter-example construction

    Wijs, A. J. & Neele, T. S., 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Dordrecht: Springer, p. 570-590 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10426 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • On the scalability of the GPUexplore explicit-state model checker

    Cassee, N. W., Neele, T. S. & Wijs, A. J., 22 Dec 2017, Proceedings Third Workshop on Graphs as Models (GaM 2017), 23 April 2017, Uppsala, Sweden . Kehrer, T. & Miller, A. (eds.). p. 38-52 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 263).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    64 Downloads (Pure)
  • Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

    Zhang, D., Bošnački, D., van den Brand, M. G. J., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 2017, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Revised Selected Papers. Hammoudi, S., Pires, L. F., Selic, B. & Desfray, P. (eds.). Springer, p. 249-273 25 p. (Communications in Computer and Information Science; vol. 692).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    2 Downloads (Pure)
  • 2016

    An O(m log n) algorithm for stuttering equivalence and branching bisimulation

    Groote, J. F. & Wijs, A. J., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J-F. (eds.). Dordrecht: Springer, p. 607-624 18 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    11 Citations (Scopus)
    11 Downloads (Pure)
  • BFS-based model checking of linear-time properties with an application on GPUs

    Wijs, A., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Springer, Vol. 9780. p. 472-493 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9780).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    13 Citations (Scopus)
  • Dependency safety for Java - implementing failboxes

    Bosnacki, D., van den Brand, M. G. J., Denissen, P. E. J. G., Huizing, C., Jacobs, B., Kuiper, R., Wijs, A. J., Wiłkowski, M. & Zhang, D., 2016, PPPJ '16 Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York: Association for Computing Machinery, Inc, 6 p. 15

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Downloads (Pure)
  • GPUexplore 2.0: unleashing GPU explicit-state model checking

    Wijs, A., Neele, T. & Bosnacki, D., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Springer, p. 694-701 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 ).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
    6 Downloads (Pure)
  • Partial-order reduction for GPU model checking

    Neele, T. S., Wijs, A. J., Bošnački, D. & van de Pol, J. C., 2016, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Proceedings. Springer, p. 357-374 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9938).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    2 Downloads (Pure)
  • Towards modular verification of threaded concurrent executable code generated from DSL models

    Bosnacki, D., van den Brand, M. G. J., Gabriels, J. M. A. M., Jacobs, B., Kuiper, R., Roede, S., Wijs, A. J. & Zhang, D., 2016, Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Braga, C. & Csaba Ölveczky, P. (eds.). Dordrecht: Springer, p. 141-160 20 p. (Lecture Notes in Computer Science; vol. 9539).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
  • Verification of atomicity preservation in model-to-code transformations using generic Java code

    Zhang, D., Bosnacki, D., Van Den Brand, M., Huizing, C., Kuiper, R., Jacobs, B. & Wijs, A., 2016, MODELSWARD 2016 - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS-Science and Technology Publications, Lda., p. 578-588 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    2 Downloads (Pure)
  • 2015

    Confluence detection for transformations of labelled transition systems

    Wijs, A. J., 2015, Proceedings Graphs as Models (London, UK, April 11-12, 2015). Rensink, A. & Zambon, E. (eds.). p. 1-15 (Electronic Proceedings in Theoretical Computer Science; vol. 181).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    76 Downloads (Pure)
  • GPU accelerated strong and branching bisimilarity checking

    Wijs, A. J., 2015, Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Baier, C. & Tinelli, C. (eds.). Berlin: Springer, p. 368-383 (Lecture Notes in Computer Science; vol. 9035).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    16 Citations (Scopus)
  • 2014

    Formalizing correspondence rules for automotive architectural views

    Dajsuren, Y., Gerpheide, C. M., Serebrenik, A., Wijs, A. J., Vasilescu, B. N. & Brand, van den, M. G. J., 2014, Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014, Lille, France, June 30-July 4, 2014). Seinturier, L., Bures, T. & McGregor, J. D. (eds.). New York NY: Association for Computing Machinery, Inc, p. 129-138

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
    1 Downloads (Pure)
  • GPU-based graph decomposition into strongly connected and maximal end components

    Bosnacki, D., Katoen, J. P. & Wijs, A. J., 2014, Computer Aided Verification (26th International Conference, CAV 2014, Vienna, Austria, July 18-22, 2014. Proceedings). Biere, A. & Bloem, R. (eds.). Berlin: Springer, p. 310-326 (Lecture Notes in Computer Science; vol. 8559).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
    4 Downloads (Pure)
  • GPUexplore: Many-core on-the-fly state space exploration using GPUs

    Wijs, A. J. & Bosnacki, D., 2014, Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April, 2014. Proceedings). Ábrahám, E. & Havelund, K. (eds.). Berlin: Springer, p. 233-247 (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    23 Citations (Scopus)
    2 Downloads (Pure)
  • Partial-order reduction for multi-core LTL model checking

    Laarman, A. & Wijs, A. J., 2014, Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Yahav, E. (ed.). Dordrecht: Springer, p. 267-283 (Lecture Notes in Computer Science; vol. 8855).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
  • REFINER : towards formal verification of model transformations

    Wijs, A. J. & Engelen, L. J. P., 2014, NASA Formal Methods (6th International Symposium, NFM 2014, Houston TX, USA, April 29-May 1, 2014. Proceedings). Badger, J. M. & Rozier, K. Y. (eds.). Berlin: Springer, p. 258-263 (Lecture Notes in Computer Science; vol. 8430).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
    1 Downloads (Pure)
  • Towards verified Java code generation from concurrent state machines

    Zhang, D., Bosnacki, D., Brand, van den, M. G. J., Engelen, L. J. P., Huizing, C., Kuiper, R. & Wijs, A. J., 2014, Workshop on Analysis of Model Transformations (co-located with MoDELS 2014, Valencia, Spain, September 29, 2014)). Dingel, J., Lara, de, J., Lúcio, L. & Vangheluwe, H. (eds.). CEUR-WS.org, p. 64-69 (CEUR Workshop Proceedings; vol. 1277).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    5 Citations (Scopus)
    58 Downloads (Pure)
  • 2013

    Define, verify, refine : correct composition and transformation of concurrent system semantics

    Wijs, A. J., 2013, Proceedings of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, October 27-29, 2013, Nanchang, China, Revised Selected Papers. Fiadeiro, J. L., Liu, Z. & Xue, J. (eds.). Berlin: Springer, p. 348-368 (Lecture Notes in Computer Science; vol. 8348).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • Efficient property preservation checking of model refinements

    Wijs, A. J. & Engelen, L. J. P., 2013, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Piterman, N. & Smolka, S. A. (eds.). Berlin: Springer, p. 565-579 (Lecture Notes in Computer Science; vol. 7795).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    19 Citations (Scopus)
  • 2012

    Improving GPU sparse matrix-vector multiplication for probabilistic model checking

    Wijs, A. J. & Bosnacki, D., 2012, Model Checking Software (19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings). Donaldson, A. & Parker, D. (eds.). Berlin: Springer, p. 98-116 (Lecture Notes in Computer Science; vol. 7385).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
  • Incremental formal verification for model refining

    Wijs, A. J. & Engelen, L. J. P., 2012, Proceedings of the 9th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa'12), 30 September 2012, Innsbruck, Austria. New York: Association for Computing Machinery, Inc, p. 29-34

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • 2011

    Informed swarm verification of infinite-state systems

    Wijs, A. J., 2011, Proceedings of the 13th International Workshop on Verification of Infinite-State Systems, October 10, 2011, Taipei, Taiwan. Sydney: Open Publishing Association, p. 19-19 (Electronic Proceedings in Theoretical Computer Science; vol. 73).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • Multi-core nested-depth first search

    Laarman, A., Langerak, R., Pol, van de, J. C., Weber, M. & Wijs, A. J., 2011, Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis. Bultan, T. & Hsiung, P-A. (eds.). Heidelberg: Springer, p. 321-335 (Lecture Notes in Computer Science; vol. 6996).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    28 Citations (Scopus)
    4 Downloads (Pure)
  • Property-dependent reduction for the modal mu-calculus

    Mateescu, R. & Wijs, A. J., 2011, Proceedings of the 18th International SPIN Workshop on Model Checking of Software. Groce, A. & Musuvathi, M. (eds.). Heidelberg: Springer, p. 2-19 (Lecture Notes in Computer Science; vol. 6823).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
  • The HIVE tool for informed swarm state space exploration

    Wijs, A. J., 2011, Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verification. Sydney: Open Publishing Association, p. 91-98 (Electronic Proceedings in Theoretical Computer Science; vol. 72).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Towards informed swarm verification

    Wijs, A. J., 2011, Proceedings of the 3rd NASA Formal Methods Symposium. Bobaru, M. (ed.). Heidelberg: Springer, p. 422-437

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 2010

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

    Wijs, A. J., 2010, Proceedings of the 30th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'10), 7-9 June 2010, Amsterdam, The Netherlands. Netherlands, Amsterdam, p. 110-124

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • GPU-PRISM : an extension of PRISM for general purpose graphics processing units

    Bosnacki, D., Edelkamp, S., Sulewski, D. & Wijs, A. J., 2010, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification / 2010 Second International Workshop on High Performance Computational Systems Biology. Washington: Institute of Electrical and Electronics Engineers, p. 17-19

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
  • Partial order reduction for branching security protocols

    Fokkink, W. J., Torabi Dashti, M. & Wijs, A. J., 2010, Proceedings 10th International Conference on Application of Concurrency to System Design (ACSD'10, Braga, Portugal, June 21-25, 2010). IEEE Computer Society, p. 191-200

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 2009

    Hierarchical adaptive state space caching based on level sampling

    Mateescu, R. & Wijs, A. J., 2009, Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009). Kowalewski, S. & Philippou, A. (eds.). Heidelberg: Springer, p. 215-229 (Lecture Notes in Computer Science; vol. 5505).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
  • 2008

    Distributed partial order reduction for security protocols

    Torabi Dashti, M., Wijs, A. J. & Lisser, B., 2008, Proceedings of the 6th International Workshop on Parallel and Distributed Methods on verifiCation. Amsterdam: Elsevier, p. 93-99 (Electronic Notes in Theoretical Computer Science; vol. 198).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • Survey on directed model checking

    Edelkamp, S., Schuppan, V., Bosnacki, D., Wijs, A. J., Fehnker, A. & Aljazzar, H., 2008, Model Checking and Artificial Intelligence (5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers). Peled, D. & Wooldridge, M. (eds.). Berlin: Springer, p. 65-89 (Lecture Notes in Computer Science; vol. 5348).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    23 Citations (Scopus)
  • 2007

    Achieving discrete relative timing with untimed process algebra

    Wijs, A. J., 2007, Proceedings of the 12th Conference on Engineering of Complex Computer Systems. Washington: Institute of Electrical and Electronics Engineers, p. 35-46

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    14 Citations (Scopus)
  • Distributed analysis with μCRL: a compendium of case studies

    Blom, S., Calamé, J. R., Lisser, B., Orzan, S., Pang, J., van de Pol, J., Dashti, M. T. & Wijs, A. J., 20 Dec 2007, Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings. Berlin: Springer, p. 683-689 7 p. (Lecture Notes in Computer Science; vol. 4424).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
  • Pruning state spaces with extended beam search

    Torabi Dashti, M. & Wijs, A. J., 2007, Proceedings of the 5th International Symposium of Automated Technology for Verification and Analysis. Namjoshi, K. S. (ed.). Heidelberg: Springer, p. 543-552 (Lecture Notes in Computer Science; vol. 4762).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    1 Downloads (Pure)
  • 2006

    Distributed extended beam search for quantitative model checking

    Wijs, A. J. & Lisser, B., 2006, Proceedings of the 4th Workshop on Model Checking and Artificial Intelligence. Edelkamp, S. & Lomuscio, A. (eds.). Heidelberg: Springer, p. 166-184 (Lecture Notes in Artificial Intelligence; vol. 4428).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • 2005

    From Chi-t to mCRL : combining performance and functional analysis

    Wijs, A. J. & Fokkink, W. J., 2005, Proceedings of the 10th Conference on Engineering of Complex Computer Systems. Washington: Institute of Electrical and Electronics Engineers, p. 184-193

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Is timed branching bisimilarity an equivalence indeed?

    Fokkink, W. J., Pang, J. & Wijs, A. J., 2005, Proceedings of the 3rd Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005). Pettersson, P. & Yi, W. (eds.). Heidelberg: Springer, p. 258-272 (Lecture Notes in Computer Science; vol. 3829).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)