Showing results 1 to 20 of 64
next >
| Issue Date | Title | Author(s) | Rank |
| 2018 | Adding support for global instruction selection pass for MIPS32 architecture in LLVM | Avramovic, Petar; Vujošević Janičić, Milena ; Cmiljanovic, Gordana; Antic, Marija | M33 |
| 1-Jan-2025 | Assessing ChatGPT for Algorithm Time Complexity Education | Pešić, Đorđe; Vujošević Janičić, Milena ; Mišić, Marko; Protić, Jelica | M33 |
| 2024 | Assessing ChatGPT for Algorithm Time Complexity Education | \DJor\dje Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, Jelica | M34 |
| 26-May-2021 | AUTOCHECK: A Tool for Checking Compliance with Automotive Coding Standards | Vujošević Janičić, Milena ; Plavsic, Ognjen; Brkusanin, Mirko; Jovanovic, Petar | M33 |
| - | Automated generation and checking of verification conditions | Vujošević Janičić, Milena | M70 |
| 2008 | Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza | Vujošević Janičić, Milena | |
| 2024 | Best Practices From Bachelor/Master Studies to Ph.D | Mersni, Amal; Oehlhorn, Caroline; Abraham, Erika; Boudaoud, Karima; Schmid, Larissa; Pato, Matilde; Goulao, Miguel; Vujošević Janičić, Milena ; Yeremenko, Oleksandra; Delany, Ozge Buyukdaglıand Sarah Jane; Schmid, Ute | |
| 2025 | Comparative Analysis and Evaluation of Method Layout Algorithms | Joksimović, Miloje ; Spasić, Marko ; Vujošević Janičić, Milena | M64 |
| 1-May-2020 | Concurrent Bug Finding Based on Bounded Model Checking | Vujošević Janičić, Milena | M23 |
| 2024 | Constant Folding of Reflective Calls via Static Analysis of Java Bytecode | Stefanović, Aleksandar ; Ristović, Ivan; Vujošević Janičić, Milena | M64 |
| 7-Feb-2012 | Development and evaluation of LAV: An SMT-based error finding platform: System description | Vujošević Janičić, Milena ; Kuncak, Viktor | M33 |
| 2024 | Efikasan obilazak grafova kontrole toka | Ristović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena | M63 |
| 17-Nov-2008 | Ensuring safe usage of buffers in programming language C | Vujošević Janičić, Milena | M33 |
| 2025 | Extensible Java Bytecode Data-Flow Analysis JVMCI Framework | Stefanović, Aleksandar ; Ristović, Ivan ; Vujošević Janičić, Milena | M64 |
| 2018 | First steps towards proving functional equivalence of embedded SQL | Spasić, Mirko ; Vujošević Janičić, Milena | M34 |
| 2024 | Generisanje programskih segmenata zadate složenosti pomoću alata veštačke inteligencije | Đorđe Pešić; Vujošević Janičić, Milena ; Mišić, Marko; Protić, Jelica | M63 |
| 2026 | GraalDoss: Direct object snapshotting and sharing for cloud-native applications | Ristović, Ivan ; Jovanović, Vojin; Hofer, Peter; Vujošević Janičić, Milena | M21a |
| 28-Jan-2026 | GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers | Čugurović, Milan ; Prokopec, Aleksandar; Spasojevic, Boris; Jovanovic, Vojin; Vujošević Janičić, Milena | M33 |
| 2024 | GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static Profilers | Čugurović, Milan ; Vujošević Janičić, Milena | M34 |
| 1-Jul-2024 | GraalSP: Polyglot, efficient, and robust machine learning-based static profiler | Čugurović, Milan ; Vujošević Janičić, Milena ; Jovanović, Vojin; Würthinger, Thomas | M21 |
