• 165
    Citations - based on content available in repository [source: Scopus]
20152023

Content available in repository

Filter
Conference contribution

Search results

  • 2023

    An Autonomous Data Language

    Franken, T. T. P., Neele, T. & Groote, J. F., 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14446 LNCS).

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

  • Compositional Automata Learning of Synchronous Systems

    Neele, T. & Sammartino, M., 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings. Lambers, L. & Uchitel, S. (eds.). Springer, p. 47-66 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).

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

    Open Access
    3 Citations (Scopus)
  • Simplifying Process Parameters by Unfolding Algebraic Data Types

    Stramaglia, A., Keiren, J. J. A. & Neele, T., 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (eds.). Springer, p. 399-416 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14446 LNCS).

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

  • 2022

    (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems

    Neele, T., 2022, Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022). p. 64-80 17 p. (CEUR Workshop Proceedings; vol. 3326).

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

    Open Access
    1 Citation (Scopus)
  • 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. (eds.). Springer, p. 307-324 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
    3 Citations (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. (eds.). Springer, p. 482-501 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12077 LNCS).

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

    Open Access
    4 Citations (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., 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
    85 Citations (Scopus)
    84 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. (eds.). Cham: Springer, p. 158-175 18 p. (Lecture notes in computer science; vol. 11761).

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

    3 Citations (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 Oct 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Berlin: Springer, p. 216-236 21 p. (Lecture Notes in Computer Science; vol. 11222).

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

    7 Citations (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. (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
    6 Citations (Scopus)
    99 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, 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

    20 Citations (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, 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

    10 Citations (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 Oct 2015, Dependable Software Engineering: Theories, Tools, and Applications. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409).

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

    16 Citations (Scopus)