Milena Vujosevic-Janicic

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

Collaborative distances:

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

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