Ivan Velikic

According to our database, Ivan Velikic authored at least 11 papers between 2002 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Data generators: a short survey of techniques and use cases with focus on testing.

Srdan Popic, Bogdan Pavkovic, Ivan Velikic, Nikola Teslic

Proceedings of the 9th IEEE International Conference on Consumer Electronics, 2019

2017

Retrieving the useful information from the binary files compiled by C compiler.

Srdan Popic, Ivan Velikic, Nikola Teslic

Proceedings of the IEEE International Conference on Consumer Electronics, 2017

Interface checks of the automotive embedded software components.

Srdan Popic, Marko Vulic, Ivan Velikic

Proceedings of the 7th IEEE International Conference on Consumer Electronics - Berlin, 2017

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

Android development framework for TR-069-based services.

Bojan Trifunovic, Veljko Mihailovic, Nemanja Ignjatov, Rade Simikic, Ivan Velikic

Proceedings of the IEEE Fourth International Conference on Consumer Electronics Berlin, 2014

2012

A testing methodology and system for functional verification of general HbbTV device.

Zeljko Lukac, Vladimir Zlokolica, Boris Mlikota, Mario Radonjic, Ivan Velikic

Proceedings of the IEEE International Conference on Consumer Electronics, 2012

2010

Use of Finite State Machine Based Framework in Implementation of Communication Protocols - A Case Study.

Ilija Basicevic, Miroslav Popovic, Ivan Velikic

Proceedings of the Sixth Advanced International Conference on Telecommunications, 2010

2006

A Model-Based Statistical Usage Testing of Communication Protocols.

Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

A Generic Model-Based Test Case Generator.

Miroslav Popovic, Ivan Velikic

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004

A Concept of an Integrated Development Environment for Reactive Systems.

Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2002

A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering.

Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic

Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002