Milena Vujosevic-Janicic

According to our database, Milena Vujosevic-Janicic authored at least 20 papers between 2007 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Why do women pursue a Ph.D. in Computer Science?

Erika Ábrahám, Miguel Goulão, Milena Vujosevic-Janicic, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Ozge Buyukdagli, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, Larissa Schmid

J. Syst. Softw., 2026

GraalDoss: Direct object snapshotting and sharing for cloud-native applications.

Ivan Ristovic, Vojin Jovanovic, Peter Hofer, Milena Vujosevic-Janicic

Future Gener. Comput. Syst., 2026

Code Layout Optimization Guided by Temporal Profiling Information.

Marko Spasic, Miloje Joksimovic, Peter Hofer, Milena Vujosevic-Janicic

Proceedings of the Companion Proceedings of the 10th International Conference on the Art, 2026

The Promise of Static Profiling: Exploring the Limits.

Milan Cugurovic, Aleksandar Prokopec, Boris Spasojevic, Vojin Jovanovic, Milena Vujosevic-Janicic

Proceedings of the Companion Proceedings of the 10th International Conference on the Art, 2026

GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers.

Milan Cugurovic, Aleksandar Prokopec, Boris Spasojevic, Vojin Jovanovic, Milena Vujosevic-Janicic

Proceedings of the 35th ACM SIGPLAN International Conference on Compiler Construction, 2026

2025

Why do women pursue a PhD in Computer Science?

Erika Ábrahám, Miguel Goulão, Milena Vujosevic-Janicic, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Ozge Buyukdagli, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, Larissa Schmid

CoRR, July, 2025

Why do women pursue a PhD in Computer Science? (Dataset).

Erika Ábrahám, Miguel Goulão, Milena Vujosevic-Janicic, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Ozge Buyukdagli, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, Larissa Schmid

Dataset, July, 2025

Proving correctness of the query containment solver SpeCS using SPARQL set semantics.

Mirko Spasic, Milena Vujosevic-Janicic

J. Web Semant., 2025

2024

GraalSP: Polyglot, efficient, and robust machine learning-based static profiler.

Milan Cugurovic, Milena Vujosevic-Janicic, Vojin Jovanovic, Thomas Würthinger

J. Syst. Softw., 2024

A novel approach to source code assembling in the field of algorithmic complexity.

Dordje Pesic, Milena Vujosevic-Janicic, Marko Misic, Jelica Protic

Comput. Sci. Inf. Syst., 2024

2023

Solving the SPARQL query containment problem with SpeCS.

Mirko Spasic, Milena Vujosevic-Janicic

J. Web Semant., April, 2023

2022

Soundness and Completeness of SPARQL Query Containment Solver SpeCS.

Mirko Spasic, Milena Vujosevic-Janicic

CoRR, 2022

2021

Verification supported refactoring of embedded sql.

Mirko Spasic, Milena Vujosevic-Janicic

Softw. Qual. J., 2021

2020

Concurrent Bug Finding Based on Bounded Model Checking.

Milena Vujosevic-Janicic

Int. J. Softw. Eng. Knowl. Eng., 2020

Regression verification for automated evaluation of students programs.

Milena Vujosevic-Janicic, Filip Maric

Comput. Sci. Inf. Syst., 2020

2018

The learnability of the dimensional view of data and what to do with it.

Dusan Vujosevic, Ivana Kovacevic, Milena Vujosevic-Janicic

Aslib J. Inf. Manag., 2018

2013

Software verification and graph similarity for automated evaluation of students' assignments.

Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic, Viktor Kuncak

Inf. Softw. Technol., 2013

2012

Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description.

Milena Vujosevic-Janicic, Viktor Kuncak

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

2008

Ensuring Safe Usage of Buffers in Programming Language C.

Milena Vujosevic-Janicic

Proceedings of the ICSOFT 2008, 2008

2007

Random k-GD-Sat Model and its Phase Transition.

Milena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic

J. Univers. Comput. Sci., 2007