Ivan Velikic

Publication Activity (10 Years)

Years Active: 2002-2019
Publications (10 Years): 3

Top Topics

Functional Verification

Frequency Domain Analysis

Embedded Software

Top Venues

Digit. Signal Process.

Publications

Srdan Popic, Bogdan Pavkovic, Ivan Velikic, Nikola Teslic
Data generators: a short survey of techniques and use cases with focus on testing. ICCE-Berlin (2019)
Srdan Popic, Ivan Velikic, Nikola Teslic
Retrieving the useful information from the binary files compiled by C compiler. ICCE (2017)
Srdan Popic, Marko Vulic, Ivan Velikic
Interface checks of the automotive embedded software components. ICCE-Berlin (2017)
Bojan Trifunovic, Veljko Mihailovic, Nemanja Ignjatov, Rade Simikic, Ivan Velikic
Android development framework for TR-069-based services. ICCE-Berlin (2014)
Zoran Saric, Istvan Papp, Dragan Kukolj, Ivan Velikic, Gordana Velikic
Partitioned block frequency domain acoustic echo canceller with fast multiple iterations. Digit. Signal Process. 27 (2014)
Zeljko Lukac, Vladimir Zlokolica, Boris Mlikota, Mario Radonjic, Ivan Velikic
A testing methodology and system for functional verification of general HbbTV device. ICCE (2012)
Ilija Basicevic, Miroslav Popovic, Ivan Velikic
Use of Finite State Machine Based Framework in Implementation of Communication Protocols - A Case Study. AICT (2010)
Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic
A Model-Based Statistical Usage Testing of Communication Protocols. ECBS (2006)
Miroslav Popovic, Ivan Velikic
A Generic Model-Based Test Case Generator. ECBS (2005)
Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic
A Concept of an Integrated Development Environment for Reactive Systems. ECBS (2004)
Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. ECBS (2002)