| 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 | 84 | 2017 |
| 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 | 58 | 2018 |
| 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 | 9 | 2019 |
| 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 Unilu-University of Luxembourg, Esch sur Alzette, Luxembourg, 2020 | 1 | 2020 |
| RIP VS. EIGRP S SCEPANOVIC, I VUKOTIC Mathematica Montisnigri 28, 107-121, 2013 | 1 | 2013 |
| 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ć | | |
Vincent RahliUniversity of BirminghamVerified email at bham.ac.uk
