@ARTICLE{
author={Cugurovic Milan,Prokopec Aleksandar,Spasojevic Boris,Jovanovic Vojin,Vujosevic-Janicic Milena M},
year={2026},
title={GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers},
journal={PROCEEDINGS OF THE 35TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, CC 2026},
volume={},
number={},
pages={1-13},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ristovic Ivan,Jovanovic Vojin,Hofer Peter,Vujosevic-Janicic Milena M},
year={2026},
title={GraalDoss: Direct object snapshotting and sharing for cloud-native applications},
journal={FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE},
volume={180},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Abraham Erika,...,Vujosevic-Janicic Milena M,...,(broj koautora 16)},
year={2026},
title={Why do women pursue a Ph.D. in Computer Science?},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={231},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Cugurovic Milan,Ristovic Ivan,Stanojevic Strahinja,Spasic Marko,Marinkovic Vesna,Vujosevic-Janicic Milena M},
year={2025},
title={ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications},
journal={2025 12TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONIC AND COMPUTING ENGINEERING, ICETRAN},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2025},
title={Proving correctness of the query containment solver SpeCS using SPARQL set semantics},
journal={JOURNAL OF WEB SEMANTICS},
volume={87},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Pesic Djordje,Vujosevic-Janicic Milena M,Misic Marko J,Protic Jelica Z},
year={2025},
title={Assessing ChatGPT for Algorithm Time Complexity Education},
journal={FOUNDATIONS OF COMPUTER SCIENCE AND FRONTIERS IN EDUCATION: COMPUTER SCIENCE AND COMPUTER ENGINEERING, FCS 2024, FECS 2024},
volume={2261},
number={},
pages={182-191},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Cugurovic Milan,Vujosevic-Janicic Milena M,Jovanovic Vojin,Wurthinger Thomas},
year={2024},
title={Editor: Dr. Lingxiao Jiang. * Corresponding author at: .<i> E-mail</i><i> address:</i> (M.},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={213},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Pesic Djordje,Vujosevic-Janicic Milena M,Misic Marko J,Protic Jelica Z},
year={2024},
title={A Novel Approach to Source Code Assembling in the Field of Algorithmic Complexity},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={21},
number={3},
pages={781-806},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2023},
title={Solving the SPARQL query containment problem with SpeCS},
journal={JOURNAL OF WEB SEMANTICS},
volume={76},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2021},
title={Verification supported refactoring of embeddedsql},
journal={SOFTWARE QUALITY JOURNAL},
volume={29},
number={3},
pages={629-665},
document_type={Article},
} 

@ARTICLE{
author={Spasic Mirko D,Vujosevic-Janicic Milena M},
year={2020},
title={SpeCS - SPARQL Query Containment Solver},
journal={2020 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC)},
volume={},
number={},
pages={31-35},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Bankovic Milan M,Filipovic Vladimir J,Graovac Jelena B,Hadzi-Puric Jelena Z,...,Kartelj Aleksandar A,Kovacevic Jovana J,Korolija Nenad,Kotlar Milos,Krdzavac Nenad B,Maric Filip M,Malkov Sasa N,Milutinovic Veljko M,Mitic Nenad S,Miskovic Stefan Z,Nikolic Mladen,Pavlovic-Lazetic Gordana M,Simic Danijela,Stojanovic-Djurdjevic Sana,Vujicic-Stankovic Stasa,Vujosevic-Janicic Milena M,Zivkovic Miodrag V},
year={2020},
title={Teaching graduate students how to review research articles and respond to reviewer comments},
journal={ADVANCES IN COMPUTERS, VOL 116},
volume={116},
number={},
pages={1-63},
document_type={Review; Book Chapter},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M},
year={2020},
title={Concurrent Bug Finding Based on Bounded Model Checking},
journal={INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING},
volume={30},
number={5},
pages={669-694},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Maric Filip M},
year={2020},
title={Regression Verification for Automated Evaluation of Students Programs},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={17},
number={1},
pages={205-227},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic Dusan,Kovacevic Ivana N,Vujosevic-Janicic Milena M},
year={2019},
title={The learnability of the dimensional view of data and what to do with it},
journal={ASLIB JOURNAL OF INFORMATION MANAGEMENT},
volume={71},
number={1},
pages={38-53},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Nikolic Mladen,Tosic Dusan D,Kuncak Viktor},
year={2013},
title={Software verification and graph similarity for automated evaluation of students' assignments},
journal={INFORMATION AND SOFTWARE TECHNOLOGY},
volume={55},
number={6},
pages={1004-1016},
document_type={Article},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Kuncak Viktor},
year={2012},
title={Development and Evaluation of LAV: An SMT-Based Error Finding Platform System Description},
journal={VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS},
volume={7152},
number={},
pages={98-113},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M},
year={2008},
title={Ensuring safe usage of buffers in programming language C},
journal={ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL PL/DPS/KE},
volume={},
number={},
pages={29-36},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Tomasevic Jelena,Janicic Predrag},
year={2007},
title={Random kappa-GD-SAT model and its phase transition},
journal={JOURNAL OF UNIVERSAL COMPUTER SCIENCE},
volume={13},
number={4},
pages={572-591},
document_type={Article},
}