Publications

• How to create the universal operating system

  FOSDEM 2024 -- Free and Open source Software Developers' European Meeting, Brussels.

  Feb 04, 2024 by Rutger van Beusekom.

• Dezyne: Paving the Way to Practical Formal Software Engineering

  Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE 2021.

  Published Aug 06, 2021 by Rutger van Beusekom, Bert de Jonge, Paul Hoogendijk, Jan Nieuwenhuizen.

• Formalising the Dezyne Modelling Language in mCRL2

  Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017.

  Published Sept 18, 2017 by R. van Beusekom, J.F. Groote, P. Hoogendijk, R. Howe, W. Wesselink, R. Wieringa, T.A.C. Willemse.