• 90
    Citaties
20192023

Onderzoeksresultaten per jaar

Filter
Conferentiebijdrage

Zoekresultaten

  • 2023

    On the Preservation of Properties When Changing Communication Models

    Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (uitgave). Springer, blz. 239-253 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • 2020

    Formal Verification of OIL Component Specifications using mCRL2

    Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (uitgave). Springer, blz. 231-251 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (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. (uitgave). 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
    87 Citaten (Scopus)
    89 Downloads (Pure)