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

Home | Courses ~ Kursevi | Research ~ Nauka


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

Selected Publications ~ Odabrane publikacije

  1. LAV page.
  2. Djordje Pesić (RT-RK), Marko Mišić (ETF), Jelica Protić (ETF), 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.
  3. Branislava Živković, Milena Vujošević Janičić. Parallelization of Software Veri cation Tool LAV. Types 2017, ISBN 78-963-284-883-9. May 2017.
  4. 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.
  5. 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.
  6. 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.
  7. Milena Vujošević Janičić. Regression Verification Using the LAV System. InfoM, broj 49, mart 2014.
  8. Milena Vujošević Janičić. Automatsko generisanje i proveravanje uslova ispravnosti programa. Doktorska teza. Decembar, 2013.
  9. 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]
  10. 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]
  11. 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.
  12. 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.
  13. 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.
  14. Milena Vujošević Janičić. Automated Detection of Buffer Overflows in Programming Language C. Master Thesis, June 2008.
  15. 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.
  16. 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.

Other Publications ~ Ostale publikacije

  1. 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.
  2. Jelena Tomašević, Milena Vujošević Janičić. TemidaLib - Multiprecision Arithmetic Library. Proceedings of SYMOPIS 2006, Banja Koviljača, October 3-6, 2006.
  3. 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.
  4. 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.
  5. 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. Types 2017, Budapest, Hungary, 29 May - 1 June 2017.
  2. Workshop on Syntax and Semantics of Type Theory, 1-2 Feb.
  3. TTT 2017, in connection with CPP 2017 and POPL 2017. January 15. Paris, France.
  4. TYPES 2016, May 25-26, 2016, Novi Sad, Serbia.
  5. FMCAD 2014, October 21-24, 2014, Lausanne, Switzerland.
  6. Next Generation Static Software Analysis Tools, Dagstuhl Seminar 14352, Germany, August 24–29, 2014.
  7. Third International SAT/SMT Summer School, Espoo, Finland, July 3-5, 2013.
  8. Progress in Decision Procedures: From Formalizations to Applications System LAV and its Applications slides March 30, 2013, Belgrade, Serbia.
  9. Winter School on Verification, 6-10 February 2012, Vienna.
  10. 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
  11. VSTTE, Philadelphia, USA, January 28-29, 2012.
  12. Research visit to LARA group, EPFL, Lausanne, Switzerland, December 2011.
  13. 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.
  14. Foundations of Inforamtion Technologies, Summer school. Novi Sad, June 18-19, 2009.
  15. 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.
  16. ICSOFT, Porto, Portugal, July 5-8, 2008.
  17. ARGO Seminar, Seminar za automatsko rezonovanje, 26. decembar 2007, 8. decembar 2011.
  18. Seminar katedre za računarstvo i informatiku, 31. januar 2013, 26. septembar 2013.
  19. BALCOR, Belgrade-Zlatibor, September 14-17, 2007.
  20. SYMOPIS, Banja Koviljača, October 3-6, 2006.
  21. Mini-workshop on Geometry Theorem Proving, RISC, University of Linz, May 13, 2006.
  22. Mathematical Modelling Week, Tempus Project, University of Novi Sad, Serbia. July 1-10, 2005.
  23. ICCL Summer School Proof Theory and Automated Theorem Proving and Proof, Computation, Complexity Workshop, Technical University Dresden, Germany. June 13-20, 2004.
  24. Six weeks visit to Polytechnical University in Hong Kong (within IAESTE programme). August - September 2002.
  25. Eight weeks visit to the Department for Applied Mathematics, University of Iowa, USA. July - August 2000.
     

Home | Courses ~ Kursevi | Research ~ Nauka