Mario Bucev

According to our database, Mario Bucev authored at least 8 papers between 2022 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

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study.

Mario Bucev, Samuel Chassot, Simon Felix, Filip Schramka, Viktor Kuncak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Formula Normalizations in Verification.

Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak

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

2022

Formally Verified Quite OK Image Format.

Mario Bucev, Viktor Kuncak

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022