Milena Vujosevic-Janicic

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 8

Top Topics

Decision Procedures

Query Containment

Top Venues

Comput. Sci. Inf. Syst.

J. Syst. Softw.

Softw. Qual. J.

Publications

Milan Cugurovic, Milena Vujosevic-Janicic, Vojin Jovanovic, Thomas Würthinger
GraalSP: Polyglot, efficient, and robust machine learning-based static profiler. J. Syst. Softw. 213 (2024)
Dordje Pesic, Milena Vujosevic-Janicic, Marko Misic, Jelica Protic
A novel approach to source code assembling in the field of algorithmic complexity. Comput. Sci. Inf. Syst. 21 (3) (2024)
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)