Dragana Milovancevic

According to our database, Dragana Milovancevic authored at least 8 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formal Autograding in a Classroom (Extended Version Artifact).

Dragana Milovancevic, Samuel Chassot, Mario Bucev, Marcin Wojnarowski, Viktor Kuncak

Dataset, November, 2025

Formal Autograding in a Classroom.

Dragana Milovancevic, Mario Bucev, Marcin Wojnarowski, Samuel Chassot, Viktor Kuncak

Proceedings of the Programming Languages and Systems, 2025

2024

Proving Termination via Measure Transfer in Equivalence Checking (Artifact).

Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak

Dataset, September, 2024

Proving Termination via Measure Transfer in Equivalence Checking (Artifact).

Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak

Dataset, August, 2024

Proving Termination via Measure Transfer in Equivalence Checking.

Dragana Milovancevic, Carsten Fuhs, Mario Bucev, Viktor Kuncak

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Proving and Disproving Equivalence of Functional Programming Assignments (Artifact).

Dragana Milovancevic, Viktor Kuncak

Dataset, April, 2023

Proving and Disproving Equivalence of Functional Programming Assignments.

Dragana Milovancevic, Viktor Kuncak

Proc. ACM Program. Lang., 2023

Formula Normalizations in Verification.

Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak

Proceedings of the Computer Aided Verification - 35th International Conference, 2023