A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. - Miroslav Popovic; Vladimir Kovacevic; Ivan Velikic (ECBS, 2002)

A Concept of an Integrated Development Environment for Reactive Systems. - Ivan Velikic; Miroslav Popovic; Vladimir Kovacevic (ECBS, 2004)

A Generic Model-Based Test Case Generator. - Miroslav Popovic; Ivan Velikic (ECBS, 2005)

A Model-Based Statistical Usage Testing of Communication Protocols. - Miroslav Popovic; Ilija Basicevic; Ivan Velikic; Jelena Tatic (ECBS, 2006)

Use of Finite State Machine Based Framework in Implementation of Communication Protocols - A Case Study. - Ilija Basicevic; Miroslav Popovic; Ivan Velikic (AICT, 2010)

A testing methodology and system for functional verification of general HbbTV device. - Zeljko Lukac; Vladimir Zlokolica; Boris Mlikota; Mario Radonjic; Ivan Velikic (ICCE, 2012)

Android development framework for TR-069-based services. - Bojan Trifunovic; Veljko Mihailovic; Nemanja Ignjatov; Rade Simikic; Ivan Velikic (ICCE-Berlin, 2014)

Partitioned block frequency domain acoustic echo canceller with fast multiple iterations. - Zoran Saric; Istvan Papp; Dragan Kukolj; Ivan Velikic; Gordana Velikic (Digit. Signal Process., 2014)

Interface checks of the automotive embedded software components. - Srdan Popic; Marko Vulic; Ivan Velikic (ICCE-Berlin, 2017)

Retrieving the useful information from the binary files compiled by C compiler. - Srdan Popic; Ivan Velikic; Nikola Teslic (ICCE, 2017)

Data generators: a short survey of techniques and use cases with focus on testing. - Srdan Popic; Bogdan Pavkovic; Ivan Velikic; Nikola Teslic (ICCE-Berlin, 2019)