Rutger van Beusekom

According to our database, Rutger van Beusekom authored at least 2 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Dezyne: Paving the Way to Practical Formal Software Engineering.

Rutger van Beusekom, Bert de Jonge, Paul F. Hoogendijk, Jan Nieuwenhuizen

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

2017

Formalising the Dezyne Modelling Language in mCRL2.

Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017