Παρακολούθηση
Ivana (Todorovic) Vukotic
Ivana (Todorovic) Vukotic
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uni.lu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Formally verified differential dynamic logic
R Bohrer, V Rahli, I Vukotic, M Völp, A Platzer
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
742017
Velisarios: Byzantine fault-tolerant protocols powered by Coq
V Rahli, I Vukotic, M Völp, P Esteves-Verissimo
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
502018
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
42019
Measurements of convergence time for RIP and EIGRP protocols
I Todorovic, S Scepanovic
Scripta Scientiarum Naturalium 2, 71-83, 2011
3*2011
Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models
I Vukotic
University of Luxembourg, Esch sur Alzette, Luxembourg, 2020
12020
RIP VS. EIGRP
S SCEPANOVIC, I VUKOTIC
Mathematica Montisnigri 28, 107-121, 2013
12013
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ć
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–14