If you made any changes in Pure these will be visible here soon.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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. (eds.). Springer, p. 161-182 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).

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

  • 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. (eds.). Springer, p. 42-59 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

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

    3 Citations (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. (eds.). p. 500-501 (Lecture Notes in Computer Science; no. 13036).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 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. (eds.). Springer, p. 182-187 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

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

  • A process algebra with global variables

    Bouwman, M., Luttik, B., Schols, W. & Willemse, T. A. C., 27 Aug 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 322, p. 33-50 18 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
    3 Citations (Scopus)