Ivana Vukotic

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq

Paulo Veríssimo, Marcus Völp, Vincent Rahli, 2018, ESOP.

Evaluation of Rope Shovel Operators in Surface Coal Mining Using a Multi-Attribute Decision-Making Model

Vladislav Kecojevic, Ivana Vukotic, V. Kecojevic, 2014 .

Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models

Ivana Vukotic, 2020 .

Formally verified differential dynamic logic

André Platzer, Marcus Völp, Vincent Rahli, 2017, CPP.

Asphalion: trustworthy shielding against Byzantine faults

Paulo Veríssimo, Vincent Rahli, Ivana Vukotic, 2019, Proc. ACM Program. Lang..