We stand with Ukraine  

Ivana Vukotic

According to our database1, Ivana Vukotic authored at least 4 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models.
[BibTeX]
[DOI]
Ivana Vukotic
PhD thesis, 2020

2019
Asphalion: trustworthy shielding against Byzantine faults.
[BibTeX]
[DOI]
Ivana Vukotic
,
Vincent Rahli
,
Paulo Jorge Esteves Veríssimo
Proc. ACM Program. Lang., 2019

2018
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq.
[BibTeX]
[DOI]
Vincent Rahli
,
Ivana Vukotic
,
Marcus Völp
,
Paulo Jorge Esteves Veríssimo
Proceedings of the Programming Languages and Systems, 2018

2017
Formally verified differential dynamic logic.
[BibTeX]
[DOI]
Rose Bohrer
,
Vincent Rahli
,
Ivana Vukotic
,
Marcus Völp
,
André Platzer
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017


  Loading...