Marija Petkovic

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

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)
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)
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)