Filter
Conferentiebijdrage

Zoekresultaten

  • 2022

    Decompositional Branching Bisimulation Minimisation of Monolithic Processes

    Bouwman, M., Laveaux, M., Luttik, B. & Willemse, T., 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (uitgave). Springer, blz. 161-182 22 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

    3 Citaten (Scopus)
  • 2021

    A Formalisation of SysML State Machines in mCRL2

    Bouwman, M., Luttik, B. & van der Wal, D., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (uitgave). Springer, blz. 42-59 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    6 Citaten (Scopus)
  • Formal Methods in Railway Signalling Infrastructure Standardisation Processes

    Bouwman, M. S., Luttik, S. P., Rensink, A., Stoelinga, M. I. A. & van der Wal, D., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (uitgave). blz. 500-501 (Lecture Notes in Computer Science; nr. 13036).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)

    Bouwman, M., Luttik, B. & Willemse, T., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (uitgave). Springer, blz. 182-187 6 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • 2019

    Formal modelling and verification of an interlocking using mCRL2

    Bouwman, M., Janssen, B. & Luttik, B., 1 jan. 2019, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (uitgave). Cham: Springer, blz. 22-39 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    7 Citaten (Scopus)
    1 Downloads (Pure)