() Report from the international meeting printed in its entirety
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
() Report from the meeting of the national importance printed in its entirety
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