PhD and Msc theses ~ Doktorske i master teze
PhD and Msc theses that I mentored - Doktorski i master radovi kojima sam bila mentor

Home | Courses ~ Kursevi | Research ~ Nauka | PhD and Msc theses - Doktorski i master radovi



PhD theses - Odbranjeni doktorski radovi

  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.

Msc theses - Odbranjeni master radovi


  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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!

  14. 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.

  15. Đ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.

  16. 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.

  17. 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.

  18. 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.

  19. Đ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.

  20. 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.

  21. 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.

  22. 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.

  23. 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.

  24. 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.

  25. 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!

  26. Stefana Cerovina
    Naslov teze: Виртуелна машина Дартино - имплементациjа интерпретатора за платформу МИПС
    Oblast: Kompajleri. Programski jezici. Arhitektura računara.
    Prijava teme.
    Rad.
    Izveštaj komisije.
    Datum odbrane: 27. oktobar 2016.

Home | Courses ~ Kursevi | Research ~ Nauka | PhD and Msc theses - Doktorski i master radovi