Milena Vujosevic-Janicic

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 6

Top Topics

Undergraduate Students

Query Containment

Complexity Bounds

Formative Evaluation

Top Venues

Inf. Softw. Technol.

Comput. Sci. Inf. Syst.

Softw. Qual. J.

Publications

Mirko Spasic, Milena Vujosevic-Janicic
Solving the SPARQL query containment problem with SpeCS. J. Web Semant. 76 (2023)
Mirko Spasic, Milena Vujosevic-Janicic
Soundness and Completeness of SPARQL Query Containment Solver SpeCS. CoRR (2022)
Mirko Spasic, Milena Vujosevic-Janicic
Verification supported refactoring of embedded sql. Softw. Qual. J. 29 (3) (2021)
Milena Vujosevic-Janicic, Filip Maric
Regression verification for automated evaluation of students programs. Comput. Sci. Inf. Syst. 17 (1) (2020)
Milena Vujosevic-Janicic
Concurrent Bug Finding Based on Bounded Model Checking. Int. J. Softw. Eng. Knowl. Eng. 30 (5) (2020)
Dusan Vujosevic, Ivana Kovacevic, Milena Vujosevic-Janicic
The learnability of the dimensional view of data and what to do with it. Aslib J. Inf. Manag. 71 (1) (2018)
Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic, Viktor Kuncak
Software verification and graph similarity for automated evaluation of students' assignments. Inf. Softw. Technol. 55 (6) (2013)
Milena Vujosevic-Janicic, Viktor Kuncak
Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description. VSTTE (2012)
Milena Vujosevic-Janicic, Mladen Nikolic, Dusan Tosic, Viktor Kuncak
Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments. CoRR (2012)
Milena Vujosevic-Janicic
Ensuring Safe Usage of Buffers in Programming Language C. ICSOFT (PL/DPS/KE) (2008)
Milena Vujosevic-Janicic, Jelena Tomasevic, Predrag Janicic
Random k-GD-Sat Model and its Phase Transition. J. Univers. Comput. Sci. 13 (4) (2007)