Ivana Vukotic

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Agent Programming

Fault Detection And Diagnosis

Classical First Order Logic

Multiple Faults

Top Venues

Proc. ACM Program. Lang.

Publications

Ivana Vukotic, Vincent Rahli, Paulo Jorge Esteves Veríssimo
Asphalion: trustworthy shielding against Byzantine faults. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Vincent Rahli, Ivana Vukotic, Marcus Völp, Paulo Jorge Esteves Veríssimo
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. ESOP (2018)
Brandon Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer
Formally verified differential dynamic logic. CPP (2017)