Resarch ~ Nauka
Research interests, publications and conferences ~ Naučna interesovanja, publikacije i konferencije

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


Curriculum Vitae ~ Biografija

English ~ Srpski 

Research interests ~ Interesovanja

Software Analysis and Verification, Automated Bug Finding ~ Analiza i verifikacija softvera, automatsko pronalaženje grešaka u softveru

Publications ~ Publikacije

  1. LAV page.
  2. Mirko Spasić, Milena Vujošević Janičić, Solving the SPARQL query containment problem with SpeCS, Journal of Web Semantics, Volume 76, 2023, 100770, ISSN 1570-8268, DOI.
  3. Milena Vujošević Janičić, Proving code equivalence in database-driven applications and SPARQL queries. Workshop: Women in EuroProofNet. Université de Nantes, Faculté des Sciences et Techniques, Nantes, France. June 24, 2022.
  4. Milena Vujošević Janičić. Maintenance and maintainability within agile software development, Science of Maintenance Journal, vol. 1, no. 1, 9-19. (2021)
  5. Milena Vujošević Janičić. "Uloga, značaj i primene savremenih tehnika verifikacije softvera", Plenarno predavanje, 13. međunarodni naučno-stručni skup ITeO 2021, Banja Luka, Republika Srpska.
  6. 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. 10.1109/ZINC52049.2021.9499304
  7. Milena Vujošević Janičić. Moderni pristupi za obezbeđivanje ispravnosti softvera. YuInfo 2021. Kopaonik, 7-10. mart 2021, pp. 48-52. ISBN: 978-86-85525-25-4.
  8. Milena Vujošević Janičić. Extending Clang for checking compliance with automotive coding standards. 2020 LLVM Developers’ Meeting. Virtual. 2020.
  9. M. Spasić and M. V. Janičić, "SpeCS — SPARQL Query Containment Solver," 2020 Zooming Innovation in Consumer Technologies Conference (ZINC), Novi Sad, Serbia, 2020, pp. 31-35. DOI.
  10. Spasić, M., Janičić, M.V. Verification supported refactoring of embedded SQL. Software Quality Journal (2020). DOI
  11. 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
  12. 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). Izdavač: Matematički fakultet, ISBN 978-86-7589-139-0, oktobar 2019.
  13. Milena Vujosevic Janicic, Filip Maric. Regression Verification for Automated Evaluation of Students Programs. Computer Science and Information Systems, DOI: https://doi.org/10.2298/CSIS181220019V
  14. Đ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. Etran 2019. (Nagrada za najbolji rad u oblasti računarstva).
  15. Dusan Vujosevic, Ivana Kovacevic, Milena Vujosevic-Janicic. The learnability of the dimensional view of data and what to do with it. Aslib J. Inf. Manag. 71(1): 38-53 (2018) DOI: https://doi.org/10.1108/AJIM-05-2018-0125
  16. Mirko Spasić and Milena Vujošević Janičić. First steps towards proving functional equivalence of embedded SQL. 24th International Conference on Types for Proofs and Programs, TYPES 2018.
  17. Petar Avramovic, Milena Vujošević Janičić, Gordana Cmiljanović and Marija Antić. Adding support for global instruction selection pass for MIPS32 architecture in LLVM. (Ic)ETRAN 2018. Jun 2018.
  18. 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: https://doi.org/10.2298/SJEE1801071P
  19. Milena Vujošević Janičić. A calculus for a LLVM-based software verification tool LAV. EUTypes meeting, Nijmegen, Netherlands, 22-24 January 2018. pdf
  20. 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. Etran 2017 (nagrada za najbolji rad mladog istraživača). Jun 2017.
  21. Branislava Živković, Milena Vujošević Janičić. Parallelization of Software Verification Tool LAV. Types 2017, ISBN 78-963-284-883-9. May 2017.
  22. Milena Vujošević Janičić. Modelling Program Behaviour within Software Verification Tool LAV. TTT 2017, in connection with CPP 2017 and POPL 2017. January 2017.
  23. 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). Izdavač: Matematički fakultet, ISBN 978-86-7589-107-9, mart 2016.
  24. Milena Vujošević Janičić: System LAV and Automated Evaluation of Students’ Programs, Dagstuhl Seminar 14352, Next Generation Static Software Analysis Tools, Dagstuhl Reports, Volume 4, Issue 8, 2014.
  25. Milena Vujošević Janičić. Regression Verification Using the LAV System. InfoM, broj 49, mart 2014.
  26. Milena Vujošević Janičić. Automatsko generisanje i proveravanje uslova ispravnosti programa. Doktorska teza. Decembar, 2013.
  27. 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]
  28. 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, Volume 7152, Springer 2012, ISBN 978-3-642-27704-7.
    [pdf] [slides]
  29. 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, pages 63-83, 2008.
  30. 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, edited by. J. M.  Borwein, E. M. Rocha and J. F. Rodriguespages 183 -- 197, 2008.
  31. Milena Vujošević Janičić. Ensuring Safe Usage of Buffers in Programming Language C. In Proceedings of ICSOFT 2008 --- Third International Conference on Software and Data Technologies, Volume PL/DPS/KE, pages 29--36, 2008.
  32. Milena Vujošević Janičić. Automated Detection of Buffer Overflows in Programming Language C. Master Thesis, June 2008.
  33. 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 Operetional Research, pages 305 -- 319, 2008. Also published in Yugoslav Journal of Operations Research, Volume 19, no 1, June 2009.
  34. 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, Volume 13, Issue 4, pages 572 -- 591, 2007.
  35. 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.
  36. Jelena Tomašević, Milena Vujošević Janičić. TemidaLib - Multiprecision Arithmetic Library. Proceedings of SYMOPIS 2006, Banja Koviljača, October 3-6, 2006.
  37. M. Vujošević Janičić, J. Tomašević, M. Živković, S. Malkov, G. Predović, N. Blažić, M. V. Beljanski, S. Zarić. Distribution of distances of connected amino acid pairs in proteins. Poster presented at 1st South East European Congress of Chemical Engineering Faculty of Technology and Metallurgy, Belgrade, Serbia and Montenegro, September 25-28, 2005.
  38. 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.
  39. Tibor Bakota, Aleksandra Rakić, Milena Vujošević Janičić, Zoran Perić, Marko Miladinović, Wojcieh Okrasinski. Lake Fish Harvesting Model.
    Proceedings of the Modelling Week, pages 11--18, Novi Sad, June 30 -- July 6, 2005.

Conferences, Summer Schools, Seminars ~ Konferencije, letnje škole, seminari

  1. ECSS and EUGAIN meeting, October 25-26, 2022 in Hamburg, Germany
  2. Women in EuroProofNet 2022, June 24, 2022 in Nantes, France
  3. 4th Summit on Gender Equality in Computing, June 16-17, 2022 (virtualy)
  4. EUGAIN working group meeting, June 13-14, 2022 in Oulu, Finland
  5. WIRE-EUGAIN Workshop, October 27, 2021 in Madrid
  6. WIRE Workshop, Online, October 28, 2020.
  7. Types 2018, Braga, Portugal, 18-21 June 2018.
  8. EUTypes meeting, Nijmegen, Netherlands, 22-24 January 2018.
  9. Types 2017, Budapest, Hungary, 29 May - 1 June 2017.
  10. Workshop on Syntax and Semantics of Type Theory, 1-2 Feb.
  11. TTT 2017, in connection with CPP 2017 and POPL 2017. January 15. Paris, France.
  12. TYPES 2016, May 25-26, 2016, Novi Sad, Serbia.
  13. FMCAD 2014, October 21-24, 2014, Lausanne, Switzerland.
  14. Next Generation Static Software Analysis Tools, Dagstuhl Seminar 14352, Germany, August 24–29, 2014.
  15. Third International SAT/SMT Summer School, Espoo, Finland, July 3-5, 2013.
  16. Progress in Decision Procedures: From Formalizations to Applications System LAV and its Applications slides March 30, 2013, Belgrade, Serbia.
  17. Winter School on Verification, 6-10 February 2012, Vienna.
  18. Fifth Workshop on Formal and Automated Theorem Proving and Applications. Automated Evaluation of Students' Programs: Testing, Verification and Similarity February 3-4, 2012, Belgrade, Serbia
  19. VSTTE, Philadelphia, USA, January 28-29, 2012.
  20. Research visit to LARA group, EPFL, Lausanne, Switzerland, December 2011.
  21. Fourth Workshop on Formal and Automated Theorem Proving and Applications A New Verification Tool: From LLVM Code to SMT Formulae, Belgrade, February 4-5, 2011.
  22. Foundations of Inforamtion Technologies, Summer school. Novi Sad, June 18-19, 2009.
  23. Second Workshop on Formal and Automated Theorem Proving and Applications. Using SMT Solver in Detection of Buffer Overflow Bugs, Belgrade, January 30 - January 31, 2009.
  24. ICSOFT, Porto, Portugal, July 5-8, 2008.
  25. ARGO Seminar, Seminar za automatsko rezonovanje, 26. decembar 2007, 8. decembar 2011.
  26. Seminar katedre za računarstvo i informatiku, 31. januar 2013, 26. septembar 2013.
  27. BALCOR, Belgrade-Zlatibor, September 14-17, 2007.
  28. SYMOPIS, Banja Koviljača, October 3-6, 2006.
  29. Mini-workshop on Geometry Theorem Proving, RISC, University of Linz, May 13, 2006.
  30. Mathematical Modelling Week, Tempus Project, University of Novi Sad, Serbia. July 1-10, 2005.
  31. ICCL Summer School Proof Theory and Automated Theorem Proving and Proof, Computation, Complexity Workshop, Technical University Dresden, Germany. June 13-20, 2004.
  32. Six weeks visit to Polytechnical University in Hong Kong (within IAESTE programme). August - September 2002.
  33. Eight weeks visit to the Department for Applied Mathematics, University of Iowa, USA. July - August 2000.
     

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