Joost Gabriels

According to our database, Joost Gabriels authored at least 2 papers between 2009 and 2015.

Collaborative distances:

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

2015

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.

Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2009

Process Diagnostics: A Method Based on Process Mining.

Melike Bozkaya, Joost Gabriels, Jan Martijn E. M. van der Werf

Proceedings of the International Conference on Information, 2009