Milena Vujosevic-Janicic

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

Collaborative distances:

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

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