(М33) Саопштење са међународног скупа штампано у целини
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
(М63) Саопштење са скупа националног значаја штампано у целини
Ивана Поповић, Владимир Савић, Петко Милидраговић: „ Пројектовање, имплементација и упоредна анализа различитих објектних модела CORBA клијентских апликација“, Зборник радова Факултета техничких наука, број 1/2008, 2009 година, ИССН 0350-428X, ЦОБИСС.СР-ИД 58627591