Filter
Conferentiebijdrage

Zoekresultaten

  • 2024

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

    Wijs, A., 2024, Formal Aspects of Component Software - 19th International Conference, FACS 2023, Revised Selected Papers. Cámara, J. & Jongmans, S-S. (redactie). blz. 206-227 22 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14485 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2023

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

    Wijs, A. & Osama, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (redactie). blz. 684-703 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    1 Citaat (Scopus)
  • GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.

    Wijs, A. & Osama, M., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (redactie). blz. 188-197 10 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
  • 2022

    Alpinist: An Annotation-Aware GPU Program Optimizer

    Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (redactie). Springer, blz. 332-352 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    2 Citaten (Scopus)
  • Formally Characterizing the Effect of Model Transformations on System Properties

    Chaki, R. & Wijs, A., 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (redactie). Springer, blz. 39-58 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • 2021

    A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions

    Martens, J., Groote, J. F., van den Haak, L., Hijma, P. & Wijs, A., 2021, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Proceedings. Salaün, G. & Wijs, A. (redactie). Springer, blz. 115-133 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    2 Citaten (Scopus)
    164 Downloads (Pure)
  • GPU Acceleration of Bounded Model Checking with ParaFROST

    Osama, M. & Wijs, A., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (redactie). Springer, blz. 447-460 14 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    4 Citaten (Scopus)
  • SAT Solving with GPU Accelerated Inprocessing

    Osama, M., Wijs, A. J. & Biere, A., 2021, Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. Groote, J. F. & Larsen, K. G. (redactie). Springer, blz. 133-151 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12651 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    6 Citaten (Scopus)
  • Term Rewriting on GPUs

    van Eerd, J., Groote, J. F., Hijma, P., Martens, J. & Wijs, A., 2021, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (redactie). Springer, blz. 175-189 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • 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., 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. (redactie). Springer, blz. 3-20 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    13 Citaten (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. (redactie). Springer, blz. 160-177 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Bestand
    3 Citaten (Scopus)
    168 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. (redactie). Springer, blz. 297-317 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12546 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • Multiple Decision Making in Conflict-Driven Clause Learning

    Osama, M. & Wijs, A. J., nov. 2020, Proceedings - IEEE 32nd International Conference on Tools with Artificial Intelligence, ICTAI 2020. Alamaniotis, M. & Pan, S. (redactie). blz. 161-169 9 blz. 9288221

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    5 Citaten (Scopus)
  • 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. (redactie). Association for Computing Machinery, Inc, blz. 10-14 5 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Cham: Springer, blz. 410-429 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11724 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (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. (redactie). Cham: Springer, blz. 21-40 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    12 Citaten (Scopus)
    85 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. (redactie). Cham: Springer, blz. 514-522 9 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11918 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (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., 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. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    85 Citaten (Scopus)
    84 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. (redactie). Cham: Springer, blz. 288-296 9 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (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. (redactie). Cham: Springer, blz. 485-504 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
  • 2017

    Analysing the Performance of GPU Hash Tables for State Space Exploration

    Cassee, N. & Wijs, A., 2017, GaM@ETAPS. blz. 1-15 15 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 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. (redactie). Dordrecht: Springer, blz. 117-136 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10487 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (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. (redactie). Dordrecht: Springer, blz. 570-590 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10426 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (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. (redactie). blz. 38-52 15 blz. (Electronic Proceedings in Theoretical Computer Science; vol. 263).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    6 Citaten (Scopus)
    99 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. (redactie). Springer, blz. 249-273 25 blz. (Communications in Computer and Information Science; vol. 692).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (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. (redactie). Dordrecht: Springer, blz. 607-624 18 blz. (Lecture Notes in Computer Science; vol. 9636).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    13 Citaten (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. blz. 472-493 22 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9780).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    17 Citaten (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 blz. 15

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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, blz. 694-701 8 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 ).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    20 Citaten (Scopus)
    7 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, blz. 357-374 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9938).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (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. (redactie). Dordrecht: Springer, blz. 141-160 20 blz. (Lecture Notes in Computer Science; vol. 9539).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (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 Digital Library, blz. 578-588 11 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (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. (redactie). blz. 1-15 (Electronic Proceedings in Theoretical Computer Science; vol. 181).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    112 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. (redactie). Berlin: Springer, blz. 368-383 (Lecture Notes in Computer Science; vol. 9035).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    22 Citaten (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. (redactie). New York NY: Association for Computing Machinery, Inc, blz. 129-138 10 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    8 Citaten (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. (redactie). Berlin: Springer, blz. 310-326 (Lecture Notes in Computer Science; vol. 8559).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    11 Citaten (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. (redactie). Berlin: Springer, blz. 233-247 (Lecture Notes in Computer Science; vol. 8413).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    31 Citaten (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. (redactie). Dordrecht: Springer, blz. 267-283 (Lecture Notes in Computer Science; vol. 8855).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    12 Citaten (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. (redactie). Berlin: Springer, blz. 258-263 (Lecture Notes in Computer Science; vol. 8430).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    17 Citaten (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. (redactie). CEUR-WS.org, blz. 64-69 (CEUR Workshop Proceedings; vol. 1277).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    6 Citaten (Scopus)
    91 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. (redactie). Berlin: Springer, blz. 348-368 (Lecture Notes in Computer Science; vol. 8348).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (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. (redactie). Berlin: Springer, blz. 565-579 (Lecture Notes in Computer Science; vol. 7795).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    20 Citaten (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. (redactie). Berlin: Springer, blz. 98-116 (Lecture Notes in Computer Science; vol. 7385).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    17 Citaten (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, blz. 29-34

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    4 Citaten (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, blz. 19-19 (Electronic Proceedings in Theoretical Computer Science; vol. 73).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • 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. (redactie). Heidelberg: Springer, blz. 321-335 (Lecture Notes in Computer Science; vol. 6996).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    30 Citaten (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. (redactie). Heidelberg: Springer, blz. 2-19 (Lecture Notes in Computer Science; vol. 6823).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (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, blz. 91-98 (Electronic Proceedings in Theoretical Computer Science; vol. 72).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Towards informed swarm verification

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (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, blz. 110-124

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)