Profile photo

Milena Vujošević Janičić

Professor of Computer Science

Faculty of Mathematics, University of Belgrade, Belgrade, Serbia

ORCID | LinkedIn
milena dot vujosevic dot janicic at matf dot bg dot ac dot rs

About

I am a professor and researcher at the Department of Computer Science, Faculty of Mathematics, University of Belgrade, interested in improving software quality and performance through advanced analysis & optimization techniques and formal reasoning.

Research Interests

Teaching

Selected Publications

Journal Articles
  1. Ivan Ristović, Milan Čugurović, Strahinja Stanojević, Marko Spasić, Vesna Marinković, Milena Vujošević-Janičić. “Machine learning-driven prediction of optimal control flow graph traversal strategy.” Serbian Journal of Electrical Engineering, online first, 2025. DOI: 10.2298/SJEE250828003R
  2. Erika Ábrahám, Miguel Goulão, Milena Vujošević Janičić, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Özge Büyükdağlı, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, Larissa Schmid. “Why do women pursue a Ph.D. in Computer Science?” Journal of Systems and Software, Vol. 231, January 2026, 112586. Elsevier. DOI: 10.1016/j.jss.2025.112586
  3. Mirko Spasić, Milena Vujošević Janičić. “Proving correctness of the query containment solver SpeCS using SPARQL set semantics.” Journal of Web Semantics, Vol. 87, December 2025, 100870. Elsevier. DOI: 10.1016/j.websem.2025.100870
  4. Milan Čugurović, Milena Vujošević Janičić, Vojin Jovanović, Thomas Würthinger. “GraalSP: Polyglot, efficient, and robust machine learning-based static profiler.” Journal of Systems and Software, Vol. 213, 112058, July 2024. DOI: 10.1016/j.jss.2024.112058
  5. Erika Abraham, Miguel Goulão, Milena Vujošević Janičić, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Larissa Schmid, Angela Nebot, Özge Büyükdağlı, Karima Boudaoud, Deniz Sunar Cerci. Women's Career Lunch — Catalog of Questions for the Speakers. Supported by COST (European Cooperation in Science and Technology), 2024.
  6. Đorđe Pešić, Milena Vujošević Janičić, Marko Mišić, Jelica Protić. “A novel approach to source code assembling in the field of algorithmic complexity.” Comput. Sci. Inf. Syst., 21(3): 781-806, 2024. DOI: 10.2298/CSIS230730015P
  7. Milena Vujošević Janičić. “Maintenance and maintainability within agile software development.” Science of Maintenance Journal, Vol. 1, No. 1, pp. 9-19, 2021.
  8. Spasić, M., Janičić, M.V. “Verification supported refactoring of embedded SQL.” Software Quality Journal, 2020. DOI: 10.1007/s11219-020-09517-y
  9. Milena Vujošević Janičić. “Concurrent Bug Finding Based on Bounded Model Checking.” International Journal of Software Engineering and Knowledge Engineering, Vol. 30, No. 05, pp. 669-694, 2020. DOI: 10.1142/S0218194020500242
  10. Milena Vujosevic Janicic, Filip Maric. “Regression Verification for Automated Evaluation of Students Programs.” Computer Science and Information Systems. DOI: 10.2298/CSIS181220019V
  11. Dusan Vujosevic, Ivana Kovacevic, Milena Vujošević-Janičić. “The learnability of the dimensional view of data and what to do with it.” Aslib Journal of Information Management, 71(1): 38-53, 2018. DOI: 10.1108/AJIM-05-2018-0125
  12. Djordje Pesić, Marko Mišić, Jelica Protić, Milena Vujošević Janičić. “Prototype Implementation of Segment Assembling Software.” Serbian Journal of Electrical Engineering, Vol. 15, No. 1, Feb. 2018. DOI: 10.2298/SJEE1801071P
  13. Milena Vujošević Janičić. Regression Verification Using the LAV System. InfoM, broj 49, March 2014.
  14. Milena Vujošević Janičić, Mladen Nikolić, Dušan Tošić, Viktor Kuncak. “Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments.” Information and Software Technology, Elsevier, 2013. pdf
  15. Milena Vujošević Janičić, Viktor Kuncak. “Development and Evaluation of LAV: an SMT-Based Error Finding Platform.” Verified Software: Theories, Tools, Experiments, Lecture Notes in Computer Science, Vol. 7152, Springer, 2012. pdf
  16. Milena Vujošević Janičić, Filip Marić, Dušan Tošić. “Using Simplex Method in Verifying Software Safety.” In Proceedings of BALCOR 2007, Eight Balkan Conference on Operational Research, pages 305–319, 2008. Also published in Yugoslav Journal of Operations Research, Volume 19, No. 1, June 2009.
  17. Milena Vujošević Janičić, Dušan Tošić. The Role of Programming Paradigms in the First Programming Courses. The Teaching of Mathematics, Issue XI_2, pp. 63-83, 2008.
  18. Milena Vujošević Janičić, Jelena Tomašević, Predrag Janičić. “Random k-GD-SAT Model and its Phase Transition.” Journal of Universal Computer Science, Vol. 13, Issue 4, pp. 572-591, 2007.
  19. M. Živković, S. Malkov, S. Zarić, M. Vujošević Janičić, J. Tomašević, G. Predović, N. Blažić, M. V. Beljanski. “Statistical Dependence of Protein Secondary Structure on Amino Acid Bigrams.” Chemical Industry & Chemical Engineering Quarterly, 12(1), 82, 2006.
Conference, symposium, and workshop papers
  1. Milan Čugurović, Ivan Ristović, Strahinja Stanojević, Marko Spasić, Vesna Marinković, Milena Vujošević Janičić. “ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications.” 12th International Conference IcETRAN, June 9-12, 2025. (Best paper award in category of young researchers)
  2. Milan Čugurović, Milena Vujošević Janičić. “GraalSP Profiles Logger: A Tool for Analyzing and Interpreting Predictions of the ML-Based Static Profilers.” Artificial Intelligence Conference, Department of Technical Sciences SASA and Mathematical Institute SASA, December 26-27, 2024.
  3. Milica Karličić, Ivan Ristović, Milena Vujošević Janičić. “Profiling-Based Adaptive GC Policy for Serverless.” Simpozijum MATEMATIKA I PRIMENE, Matematički fakultet, Univerzitet u Beogradu, 2024, Vol. XIV.
  4. Aleksandar Stefanović, Ivan Ristović, Milena Vujošević Janičić. “Constant Folding of Reflective Calls via Static Analysis of Java Bytecode.” Simpozijum MATEMATIKA I PRIMENE, Matematički fakultet, Univerzitet u Beogradu, 2024, Vol. XIV.
  5. Đorđe Pešić, Milena Vujošević Janičić, Marko Mišić, Jelica Protić. “Assessing ChatGPT for Algorithm Time Complexity Education.” 2024 World Congress in Computer Science, Computer Engineering and Applied Computing, July 22-25, 2024, USA. Springer Nature, pp. 182-191. DOI: 10.1007/978-3-031-85930-4_17
  6. Marko Spasić, Ivan Ristović, Strahinja Stanojević, Milan Čugurović, Milica Karličić, Milena Vujošević Janičić. “Evaluacija performansi kompilatora GraalVM na distribuiranom računarskom klasteru.” XV Srpski matematički kongres, Matematički fakultet, Univerzitet u Beogradu, 2024, pp. 114. ISBN: 978-86-7589-191-8.
  7. Ivan Ristović, Milan Čugurović, Strahinja Stanojević, Marko Spasić, Vesna Marinković, Milena Vujošević Janičić. “Efikasan obilazak grafova kontrole toka.” YuInfo 2024, Kopaonik, 10-13 March 2024, pp. 89-94. ISBN: 978-86-85525-31-5.
  8. Đorđe Pešić, Milena Vujošević Janičić, Marko Mišić, Jelica Protić. “A novel approach to source code assembling in the field of algorithmic complexity.” Comput. Sci. Inf. Syst. 2024, 21(3): 781-806. DOI: 10.2298/CSIS230730015P
  9. Đorđe Pešić, Milena Vujošević Janičić, Marko Mišić, Jelica Protić. “Generisanje programskih segmenata zadate složenosti pomoću alata veštačke inteligencije.” YuInfo 2024, Kopaonik, 10-13 March 2024, pp. 74-79. ISBN: 978-86-85525-31-5.
  10. Страхиња Станојевић, Милена Вујошевић Јаничић. "Креирање скупа података за одређивање параметара компилације." In Artificial Intelligence, Organized by the Department of Technical Sciences SASA and the Mathematical Institute SASA, December 26-27, 2023. PDF.
  11. Милан Чугуровић, Милена Вујошевић Јаничић. "Креирање и анализа скупа података за предвиђање вероватноћа извршавања виртуелних метода у објектно-оријентисаним програмима." In Artificial Intelligence, Organized by the Department of Technical Sciences SASA and the Mathematical Institute SASA, December 26-27, 2023. PDF.
  12. Milan Čugurović, Ivan Ristović, Strahinja Stanojević, Marko Spasić, Vesna Marinković, Milena Vujošević Janičić. “Komparativna analiza algoritama obilaska grafova kontrole toka programa.” Simpozijum MATEMATIKA I PRIMENE, Matematički fakultet, Univerzitet u Beogradu, 2023, Vol. XIII(1)
  13. Marko Spasić, Milena Vujošević Janičić. “Smanjivanje veličine izvršive datoteke kompresijom koda.” Simpozijum MATEMATIKA I PRIMENE, Matematički fakultet, Univerzitet u Beogradu, 2023, Vol. XIII(1)
  14. Mirko Spasić, Milena Vujošević Janičić. “Solving the SPARQL query containment problem with SpeCS.” Journal of Web Semantics, Vol. 76, 2023, 100770. DOI: 10.1016/j.websem.2022.100770
  15. Milena Vujošević Janičić. “Obtaining high quality software with formal verification approaches.” 13th International DQM Conference “Life Cycle Engineering and Management”, 2022, Plenary lecture.
  16. Milena Vujošević Janičić. “Proving code equivalence in database-driven applications and SPARQL queries.” Workshop: Women in EuroProofNet, Université de Nantes, France, June 24, 2022.
  17. Milena Vujošević Janičić, Ognjen Plavšić, Mirko Brkušanin, Petar Jovanović. “AutoCheck: A Tool For Checking Compliance With Automotive Coding Standards.” 2021 Zooming Innovation in Consumer Technologies Conference (ZINC), Novi Sad, Serbia, 2021, pp. 150-155. DOI: 10.1109/ZINC52049.2021.9499304
  18. Milena Vujošević Janičić. “Maintenance and maintainability in an agile software environment.” Maintenance Forum 2021, Plenary lecture.
  19. Milena Vujošević Janičić. “Uloga, značaj i primene savremenih tehnika verifikacije softvera.” 13th International Scientific-Professional Conference ITeO 2021, Banja Luka, Republika Srpska, Plenary lecture.
  20. M. Spasić, M. V. Janičić. “SpeCS — SPARQL Query Containment Solver.” 2020 Zooming Innovation in Consumer Technologies Conference (ZINC), Novi Sad, Serbia, pp. 31-35. DOI: 10.1109/ZINC50678.2020.9161435
  21. Milena Vujošević Janičić. “Moderni pristupi za obezbeđivanje ispravnosti softvera.” YuInfo 2021, Kopaonik, 7-10 March 2021, pp. 48-52. ISBN: 978-86-85525-25-4.
  22. Milena Vujošević Janičić. “Extending Clang for checking compliance with automotive coding standards.” LLVM Developers’ Meeting 2020, Virtual.
  23. Đorđe Milićević, Mirko Brkušanin, Milena Vujošević Janičić, Teodora Novković, Petar Jovanović. "Unapređenje programskog prevodioca Clang sa podrškom za standard MISRA/AUTOSAR." In ETRAN 2019. (Best paper award in computing). 2019.
  24. Mirko Spasić, Milena Vujošević Janičić. "First steps towards proving functional equivalence of embedded SQL." In 24th International Conference on Types for Proofs and Programs (TYPES 2018). 2018.
  25. Petar Avramovic, Milena Vujošević Janičić, Gordana Cmiljanović, Marija Antić. "Adding support for global instruction selection pass for MIPS32 architecture in LLVM." In (Ic)ETRAN 2018, June 2018.
  26. Milena Vujošević Janičić. "A calculus for a LLVM-based software verification tool LAV." In EUTypes Meeting, Nijmegen, Netherlands, January 22-24, 2018. PDF.
  27. Djordje Pesić, Marko Mišić, Jelica Protić, Milena Vujošević Janičić. "Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritama." In ETRAN 2017, Jun 2017. (Best young researcher paper award). PDF.
  28. Branislava Živković, Milena Vujošević Janičić. "Parallelization of Software Verification Tool LAV." In Types 2017, May 2017. ISBN 78-963-284-883-9. PDF.
  29. Milena Vujošević Janičić. "Modelling Program Behaviour within Software Verification Tool LAV." In TTT 2017, in connection with CPP 2017 and POPL 2017, January 2017. PDF.
  30. Milena Vujošević Janičić. System LAV and Automated Evaluation of Students’ Programs. Dagstuhl Reports, Volume 4, Issue 8, Dagstuhl Seminar 14352: Next Generation Static Software Analysis Tools, 2014.
  31. Milena Vujošević Janičić, Filip Marić, Dušan Tošić. “Using Simplex Method in Verifying Software Safety.” Proceedings of BALCOR 2007 — Eight Balkan Conference on Operational Research, 2008, pp. 305–319. Also published in Yugoslav Journal of Operations Research, 19(1), June 2009.
  32. Milena Vujošević Janičić. "Ensuring Safe Usage of Buffers in Programming Language C." In ICSOFT 2008 — Third International Conference on Software and Data Technologies, Volume PL/DPS/KE, pages 29–36, 2008. PDF.
  33. Milena Vujošević Janičić, Jelena Tomašević. “Phase Transition In Random SAT Problems.” Proceedings of SYMOPIS 2006, Banja Koviljača, October 3-6, 2006.
  34. Jelena Tomašević, Milena Vujošević Janičić. “TemidaLib — Multiprecision Arithmetic Library.” Proceedings of SYMOPIS 2006, Banja Koviljača, October 3-6, 2006.
  35. Tibor Bakota, Aleksandra Rakić, Milena Vujošević Janičić, Zoran Perić, Marko Miladinović, Wojcieh Okrasinski. "Lake Fish Harvesting Model." In Proceedings of the Modelling Week, pages 11–18, Novi Sad, June 30 – July 6, 2005.
Patents
  1. Čugurović Milan, Vujošević Janičić Milena, Prokopec Aleksandar, Spasojević Boris, Jovanović Vojin. “ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers.” United States Letter Patent Application ORC26140781-US-NPR, In progress, 2025.
  2. Ristović Ivan, Vujošević Janičić Milena, Jovanović Vojin, Hofer Peter. “GraalDOSS: Direct Object Snapshotting and Sharing for Cloud-Native Applications.” United States Letters Patent ORC25139810-US-NPR, In progress, 2025.
  3. Cugurović Milan, Vujošević Janičić Milena, Jovanović Vojin, Thomas Wuerthinger. “Machine Learning Based Static Profiling.” United States Letters Patent ORC24137793-US-NPR, 2023 (Published 2025).
Books, Chapters, Theses
  1. Judith Knoblach, Ute Schmid, Miguel Goulão, Larissa Schmid, Milena Vujošević Janičić, Karima Boudaoud. “The Impact of Peers, Mentors and Role Models on Successful PhD Studies.” In: B. Penzenstadler, K. Boudaoud, A. Di Marco, S. Caner-Yıldırım (eds.), Actions for Gender Balance in Informatics Across Europe, pp. 175–195, Springer, Cham, 12 March 2025. DOI: 10.1007/978-3-031-78432-3_8
  2. Özge Büyükdağlı, Miguel Goulão, Milena Vujošević Janičić, Amal Mersni. “Voices of Female Informatics Students Across Universities.” In: B. Penzenstadler, K. Boudaoud, A. Di Marco, S. Caner-Yıldırım (eds.), Actions for Gender Balance in Informatics Across Europe, pp. 105–135, Springer, Cham, 12 March 2025. DOI: 10.1007/978-3-031-78432-3_6
  3. Milena Vujošević Janičić, Erika Ábrahám, Amal Mersni, Oleksandra Yeremenko, Miguel Goulão. “WoCa Lunch: A Program for Female Students to Get Informed About PhD Studies.” In: B. Penzenstadler, K. Boudaoud, A. Di Marco, S. Caner-Yıldırım (eds.), Actions for Gender Balance in Informatics Across Europe, pp. 137–173, Springer, Cham, 12 March 2025. DOI: 10.1007/978-3-031-78432-3_7
  4. Amal Mersni, Caroline Oehlhorn, Erika Abraham, Karima Boudaoud, Larissa Schmid, Matilde Pato, Miguel Goulão, Milena Vujošević Janičić, Oleksandra Yeremenko, Özge Büyükdağlı, Sarah Jane Delany, Ute Schmid. EUGAIN Booklet: Best Practices from Bachelor/Master Studies to Ph.D., April 2024. Supported by COST (European Cooperation in Science and Technology). Available at: https://eugain.eu/wp-content/uploads/2024/04/EUGAIN_Booklet_Best_Practices_From_BScMSc_to_PhD.pdf
  5. Milena Vujošević Janičić, Jovana Kovačević, Danijela Simić, Anđelka Zečević, Aleksandra Kocić. Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C). Matematički fakultet, ISBN 978-86-7589-139-0, October 2019.
  6. Milena Vujošević Janičić, Jelena Graovac, Nina Radojičić, Ana Spasić, Mirko Spasić, Anđelka Zečević. Programiranje 2 - Zbirka zadataka sa rešenjima (u programskom jeziku C). Matematički fakultet, ISBN 978-86-7589-107-9, March 2016.
  7. Milena Vujošević Janičić. Automatsko generisanje i proveravanje uslova ispravnosti programa. Doktorska teza, December 2013. [pdf]
  8. Pedro Quaresma, Predrag Janičić, Jelena Tomašević, Milena Vujošević Janičić, Dušan Tošić. “XML-based Format for Geometry — XML-based Format for Descriptions of Geometrical Constructions and Geometrical Proofs.” Chapter in Communicating Mathematics in Digital Era, J. M. Borwein, E. M. Rocha, J. F. Rodrigues (eds.), pages 183–197, 2008.
  9. Milena Vujošević Janičić. Automated Detection of Buffer Overflows in Programming Language C. Master Thesis, June 2008. [pdf]

Supervised Theses

PhD Theses
  1. Mirko Spasić
    Title: Modelling of query languages and applications in code refactoring and code optimization
    Keywords: Software verification, SPARQL, query containment, FOL modeling, SMT solving, SPECS solver, embedded SQL, code refactoring, SQLAV framework
    PhD thesis.
    Date: March 23, 2021.
    This Ph.D. was acknowledged by the Annual Award of the Mathematical Institute of the Serbian Academy of Sciences and Arts in the field of computing for Ph.D.
Master’s Theses
  1. Miloje Joksimović
    Naslov teze: Компаративна анализа и евалуациjа алгоритама распоређивања метода програма у циљу оптимизациjе перформанси
    Oblast: Kompajleri. GraalVM
    Prijava teme. Rad. Izveštaj komisije. Datum odbrane: 31. oktobar 2025.
    Master rad urađen u saradnji sa kompanijom Oracle
  2. Veronika Marinković
    Naslov teze: Развој вођен понашањем кроз примену алата Cucumber
    Oblast: Verifikacija softvera. Razvoj vođen ponašanjem.
    Prijava teme. Rad. Izveštaj komisije. Datum odbrane: 23. oktobar 2025.
  3. Aleksandar Stefanović
    Naslov teze: Razrešavanje reflektivnih poziva statičkom analizom Java bajtkoda
    Oblast: Kompajleri. GraalVM.
    Prijava teme. Rad. Izveštaj komisije. Datum odbrane: 17. oktobar 2025.
    Master rad urađen u saradnji sa kompanijom Oracle
  4. Milica Kleut
    Naslov teze: Apstraktna interpretacija u verifikaciji softvera — elektronska lekcija
    Oblast: Verifikacija softvera. Apstraktna interpretacija.
    Prijava teme. Rad. Izveštaj komisije. Datum odbrane: 17. oktobar 2025.
  5. Petar Tešić
    Naslov teze: Automatska detekcija i optimizacija algoritma CRC u okviru kompajlerske infrastrukture LLVM
    Oblast: Kompajleri. LLVM.
    Prijava teme. Rad. Izveštaj komisije. Datum odbrane: 19. septembar 2024.
    Master rad urađen u saradnji sa kompanijom SYRMIA

  6. Milica Karličić
    Naslov teze: Poboljšanje efikasnosti klijent-server apliakcija dinamičkim podešavanjem parametara skupljača otpadaka u sistemu GraalVM
    Oblast: Kompajleri. GraalVM. Skupljač otpadaka.
    Prijava teme. Rad. Izveštaj komisije. Datum odbrane: 13. septembar 2024.
    Master rad urađen u saradnji sa kompanijom Oracle.
    Nagrada SANU za najbolji master rad u oblasti računarstva za 2024. godinu!

  7. Jovana Bošković
    Naslov teze: Optimizacija procesa kontinuirane integracije i isporuke kroz selektivno testiranje zasnovano na analizi pokrivenosti koda
    Oblast: Verifikacija softvera. Testiranje. Kontinuirana integracija.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 13. septembar 2024.
    Master rad urađen u saradnji sa kompanijom Cisco

  8. Nikola Perić
    Naslov teze: Alat za generisanje i prikaz razlika u pokrivenosti koda testovima
    Oblast: Kompajleri. Verifikacija softvera. Profajleri.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 29. septembar 2023.
    Master rad urađen u saradnji sa kompanijom SYRMIA

  9. Vladimir Vuksanović
    Naslov teze: Unapređenje infrastrukture LLVM čuvanjem originalne lokacije pri debagovanju izdvojenog koda
    Oblast: Kompajleri. Debageri. Verifikacija softvera.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 15. septembar 2023.
    Master rad urađen u saradnji sa kompanijom SYRMIA

  10. Ana Petrović
    Naslov teze: Testiranje funkcionalnih programa na primeru aplikacije koja koristi jezike Elm i Eliksir
    Oblast: Programski jezici. Funkcionalno programiranje. Testiranje. Verifikacija softvera.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. septembar 2023.

  11. Tamara Ivanović
    Naslov teze: Imlementacija upravljača za digitalnu televiziju korišćenjem platforme Android
    Oblast: Razvoj softvera. Digitalna televizija. Komunikacioni protokoli.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. septembar 2023.
    Master rad urađen u saradnji sa kompanijom RT-RK

  12. Milica Galjak
    Naslov teze: Automatsko testiranje mobilnih aplikacija
    Oblast: Razvoj softvera. Testiranje. Verifikacja softvera.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. septembar 2023.

  13. Zorana Gajić
    Naslov teze: Savremeni alati za prikupljanje podataka sa veb-stranica
    Oblast: Razvoj softvera. Skript programiranje. Veb tehnologije.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. septembar 2023.

  14. Nikola Grulović
    Naslov teze: Tehnike augmentacije i kreiranja podataka za detekciju objekata
    Oblast: Veštačka inteligencija, mašinsko učenje
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 28. septembar 2022.

  15. Mirko Brkušanin
    Naslov teze: Implementacija pravila iz standarda AUTOSAR C++14 u okviru programskog prevodioca Clang
    Oblast: Verifikacija softvera. Statička analiza programa. Kompilatori. Standardi kodiranja
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 23. septembar 2022.
    Master rad urađen u saradnji sa kompanijom SYRMIA

  16. Ognjen Plavišić
    Naslov teze: Alat za statičku analizu i predlaganje izmena u C++ kodu
    Oblast: verifikacija softvera, statička analiza programa, kompilatori, standardi kodiranja
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 23. septembar 2022.
    Master rad urađen u saradnji sa kompanijom SYRMIA

  17. Irena Blagojević
    Naslov teze: Automatsko uklanjanje redundantnih testova
    Oblast: verifikacija softvera, testiranje, automatsko rezonovanje, SMT rešavači
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 23. septembar 2022.

  18. Nemanja Subotić
    Naslov teze: Programski jezici Elm i Eliksir u razvoju studentskog veb portala
    Oblast: programski jezici, razvoj softvera
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 16. septembar 2022.

  19. Nikola Dimić
    Naslov teze: Automatsko testiranje mikroservisnih aplikacija
    Oblast: verifikacija softvera, testiranje, razvoj softvera, mikroservisi
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 16. septembar 2022.

  20. Jovan Dmitrović
    Naslov teze: Implementacija prilagodljivog radiks-stabla u programskom jeziku Rust
    Oblast: programski jezici, algoritmi, razvoj softvera
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 9. septembar 2022.

  21. Srđan Lazarević
    Naslov teze: UART kao medijum za komunikaciju između uređaja sa ugrađenim računarom
    Oblast: uređaji sa ugrađenim računarom, računarske mreže, komunikacioni protokoli
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. septembar 2022.

  22. David Gavrilović
    Naslov teze: Distribuirana obrada geoprostornih podataka
    Oblast: programski jezici, razvoj softvera, distribuirana obrada podataka
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. septembar 2022.

  23. Marko Veljković
    Naslov teze: Kreiranje vidžeta u programskom jeziku Swift
    Oblast: Razvoj softvera. Programski jezici.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 1. jul 2022.

  24. Miloš Samardžija
    Naslov teze: Razvoj mikroservisne aplikacije za Android korišćenjem okruženja Lumen
    Oblast: Razvoj softvera. Distribuirano programiranje. Domenski orijentisano modelovanje. Mikroservisna arhitektura.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 21. septembar 2021.

  25. Lazar Mladenović
    Naslov teze: Automatsko ispravljanje grešaka detektovanih pomoću alata Memcheck
    Oblast: Verifikacija softvera. Dinamička analiza. Profajliranje.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 30. decembar 2020.

  26. Strahinja Stanojević
    Naslov teze: Proširivanje alata KLEE naprednim algoritmom pretrage stabla izvršavanja programa.
    Oblast: Verifikacija softvera. Simboličko izvršavanje. Algoritmika. Testiranje.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 23. septembar 2020.

  27. Ivan Ristović
    Naslov teze: Jezički invarijantna provera semantičke ekvialentnosti strukturno sličnih segmenata imperativnog koda.
    Oblast: Programski jezici. Kompajleri. Verifikacija softvera.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 03. jul 2020.
    Pohvala SANU za jedan od najboljih master radova u oblasti računarstva za 2020. godinu!

  28. Milena Dukanac
    Naslov teze: Jezik Elixir sa primenom u sekvencioniranju genoma.
    Oblast: Programski jezici. Bioinformatika. Algoritmika.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 25. septembar 2019.

  29. Đorđe Todorović
    Naslov teze: Podrška za naprednu analizu promenljivih lokalnih za niti pomoću alata GNU GDB.
    Oblast: Debageri. Verifikacija softvera. Testiranje.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 17. jun 2019.
    Master rad urađen u saradnji sa kompanijom RT-RK

  30. Marina Nikolić
    Naslov teze: Prikupljanje i prikaz podataka o izvršavanju programa.
    Oblast: Profajleri. Verifikacija softvera. Testiranje.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 4. jun 2019.
    Master rad urađen u saradnji sa kompanijom RT-RK

  31. Nikola Vidič
    Naslov teze: Primena mašinskog učenja u verifikaciji softvera.
    Oblast: Verifikacija softvera. Mašinsko učenje.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. februar 2019.

  32. Ana Mitrović
    Naslov teze: Primena jezika Skala u paralelizaciji rasplinutog testiranja.
    Oblast: Programski jezici. Konkurentno programiranje. Verifikacija softvera. Testiranje.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 8. februar 2019.

  33. Đorđe Milićević
    Naslov teze: Realizacija programskog jezika aKcent za programiranje ATmega328P mikrokontrolera pomoću LLVM infrastrukture.
    Oblast: Programski jezici. Kompajleri. Mikrokontroleri.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 28. septembar 2018.

  34. Nenad Lazić
    Naslov teze: Daljinska kontrola robota sa Android uređaja.
    Oblast: Razvoj softvera. Robotika. Uređaji sa ugrađenim računarom. Android.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 17. septembar 2018.
    Master rad urađen u saradnji sa kompanijom RT-RK

  35. Ana Đorđević
    Naslov teze: Automatsko generisanje test primera uz pomoć statičke analize i rešavača Z3.
    Oblast: Verifikacija softvera. Programski jezici. Veštačka inteligencija.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 13. jun 2018.

  36. Miloš Mitrović
    Naslov teze: Konkurentnost u programskom jeziku Go.
    Oblast: Programski jezici. Konkurentno programiranje. Algoritmika.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 31. januar 2018.

  37. Nikola Prica
    Naslov teze: Podrška za profajliranje softvera za uređaje sa ugrađenim računarom.
    Oblast: Razvoj softvera. Profajleri. Verifikacija softvera. Uređaji sa ugrađenim računarom.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 30. januar 2018.
    Master rad urađen u saradnji sa kompanijom RT-RK

  38. Aleksandra Karadžić
    Naslov teze: Alat Valgrind - implementacija konvencije FPXX za arhitekturu MIPS.
    Oblast: Razvoj softvera. Profajleri. Verifikacija softvera. Uređaji sa ugrađenim računarom.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 30. januar 2018.
    Master rad urađen u saradnji sa kompanijom RT-RK

  39. Branislava Živković
    Naslov teze: Паралелизациjа статичке верификациjе софтвера.
    Oblast: Verifikacija softvera. Konkurentno programiranje.
    Prijava teme. Rad. Izveštaj komisije.
    Datum odbrane: 20. septembar 2017.
    Nagrada SANU za najbolji master rad u oblasti računarstva za 2017. godinu!

  40. Stefana Cerovina
    Naslov teze: Виртуелна машина Дартино - имплементациjа интерпретатора за платформу МИПС
    Oblast: Kompajleri. Programski jezici. Arhitektura računara.
    Prijava teme.
    Rad.
    Izveštaj komisije.
    Datum odbrane: 27. oktobar 2016.
    Master rad urađen u saradnji sa kompanijom RT-RK

Contact

milena dot vujosevic dot janicic at matf dot bg dot ac dot rs
Department for Computer Science
Faculty of Mathematics, University of Belgrade
Studentski trg 16, 11000 Belgrade, Serbia