Ivo Raedts

According to our database, Ivo Raedts authored at least 2 papers in 2007.

Collaborative distances:

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

2007

Transformation of BPMN Models for Behaviour Analysis.

Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers

Proceedings of the Modelling, 2007

A software framework for automated verification.

Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007