2007 |
3 | | Ivo Raedts,
Marija Petkovic,
Yaroslav S. Usenko,
Jan Martijn E. M. van der Werf,
Jan Friso Groote,
Lou J. Somers:
Transformation of BPMN Models for Behaviour Analysis.
MSVVEIS 2007: 126-137 |
2 | EE | Ivo Raedts,
Marija Petkovic,
Alexander Serebrenik,
Jan Martijn E. M. van der Werf,
Lou J. Somers,
Maarten Boote:
A software framework for automated verification.
SAC 2007: 1031-1032 |
2006 |
1 | EE | E. Korshunova,
Marija Petkovic,
M. G. J. van den Brand,
Mohammad Reza Mousavi:
CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code.
WCRE 2006: 297-298 |