Ivana (Todorovic) Vukotic
Ivana (Todorovic) Vukotic
Geverifieerd e-mailadres voor uni.lu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Formally verified differential dynamic logic
B Bohrer, V Rahli, I Vukotic, M Völp, A Platzer
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
432017
Velisarios: Byzantine fault-tolerant protocols powered by Coq
V Rahli, I Vukotic, M Völp, P Esteves-Verissimo
European Symposium on Programming, 619-650, 2018
232018
RIP VS. EIGRP
S SCEPANOVIC, I VUKOTIC
Mathematica Montisnigri 28, 107-121, 2013
1*2013
Measurements of convergence time for RIP and EIGRP protocols
I Todorovic, S Scepanovic
Scripta Scientiarum Naturalium 2, 71-83, 2011
1*2011
Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models
I Vukotic
University of Luxembourg, Esch sur Alzette, Luxembourg, 2020
2020
Asphalion: trustworthy shielding against Byzantine faults
I Vukotic, V Rahli, P Esteves-Veríssimo
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-32, 2019
2019
Towards an Ecosystem for Verifying Implementations of BFT protocols
I Vukotic, V Rahli, M Völp, P Esteves-Veríssimo
2018
Description of distance vector routing protocols using mathematical means
I Vukotic, S Scepanovic
Scripta Scientiarum Naturalium 3, 59-64, 2013
2013
ANALIZA KONVEGRENCIJE DINAMIČKIH PROTOKOLA RUTIRANJA
I Todorovic, S Scepanovic
Conference on Information Technology IT 16, 198-201, 2011
2011
Imitaciono modeliranje protokola rutiranja
S Scepanović, I Todorovic
Kongres matematičara i fizičara Crne Gore, 2010
2010
Dinamički protokoli rutiranja
I Todorovic
Univerzitet Crne Gore, PMF, 2010
2010
An Ecosystem for Verifying Implementations of BFT protocols
I Vukotic, V Rahli, M Völp, P Esteves-Veríssimo
Description of distance vector routing protocols using mathematical means
I Todorović, S Šćepanović
ANALIZA KONVEGRENCIJE DINAMIČKIH PROTOKOLA RUTIRANJA CONVERGENCE ANALYSIS OF DYNAMIC ROUTING PROTOCOLS
I Todorović, S Šćepanović
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–14