(M33) Saopštenje sa međunarodnog skupa štampano u celini
Popovic I., Vrtunski V., Popovic M.: Formal verification of distributed transaction management in a SOA based control system, 2011, Proceedings - 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2011, 206-215
(M63) Saopštenje sa skupa nacionalnog značaja štampano u celini
Ivana Popović, Vladimir Savić, Petko Milidragović: „ Projektovanje, implementacija i uporedna analiza različitih objektnih modela CORBA klijentskih aplikacija“, Zbornik radova Fakulteta tehničkih nauka, broj 1/2008, 2009 godina, ISSN 0350-428X, COBISS.SR-ID 58627591