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, Janneke Nieuwenhuizen.

• GNU Mes - the Full Source Bootstrap
  Reproducibility is not enough: The missing link between stage0/M2-Planet and Mes

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

  Feb 07, 2021 by Janneke Nieuwenhuizen

  (See also Full Source Bootstrap.)

• GNU Mes
  Scheme-only bootstrap and beyond

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

  Feb 02, 2020 by Janneke Nieuwenhuizen

• GNU Mes
  Reduced Binary Seed bootstrap for GNU Guix

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

  Feb 02, 2019 by Janneke 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.

• LilyPond, a system for automated music engraving

  XIV Colloquium on Musical Informatics, May 2003, Firenze, pg 167-172

  Han-Wen Nienhuys and Janneke Nieuwenhuizen