Ivan Velikic

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