• Bron: Scopus
20152021

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.
Filter
Conferentiebijdrage

Zoekresultaten

  • 2020

    Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

    Neele, T., Willemse, T. A. C. & Wesselink, W., 17 apr 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. 307-324 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
    1 Citaat (Scopus)
  • The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

    Neele, T., Valmari, A. & Willemse, T. A. C., 17 apr 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (redactie). Springer, blz. 482-501 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    2 Citaten (Scopus)
  • 2019

    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. (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
    45 Citaten (Scopus)
    47 Downloads (Pure)
  • Verifying system-wide properties of industrial component-based software

    Neele, T., Rol, M. H. & Groote, J. F., 2019, Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Revised Selected Papers. Hojjat, H. & Massink, M. (redactie). Cham: Springer, blz. 158-175 18 blz. (Lecture notes in computer science; vol. 11761).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
    1 Downloads (Pure)
  • 2018

    Solving parameterised boolean equation systems with infinite data through quotienting

    Neele, T., Willemse, T. A. C. & Groote, J. F., 5 okt 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (redactie). Berlin: Springer, blz. 216-236 21 blz. (Lecture Notes in Computer Science; vol. 11222).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (Scopus)
    2 Downloads (Pure)
  • 2017

    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
    3 Citaten (Scopus)
    75 Downloads (Pure)
  • 2016

    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

    13 Citaten (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, 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

    7 Citaten (Scopus)
    2 Downloads (Pure)
  • 2015

    A comparative study of BDD packages for probabilistic symbolic model checking

    van Dijk, T., Hahn, E. M., Jansen, D., Li, Y., Neele, T., Stoelinga, M., Turrini, A. & Zhang, L., 17 okt 2015, Dependable Software Engineering: Theories, Tools, and Applications. Li, X., Liu, Z. & Yi, W. (redactie). Cham: Springer, blz. 35-51 17 blz. (Lecture Notes in Computer Science; vol. 9409).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    10 Citaten (Scopus)