Peter Dieleman

According to our database, Peter Dieleman authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment.

Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

2023

A formal analysis of Dutch Generic Integral Tunnel Design models.

Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023