People

Negin Nejad

Email

Export publications Citations

Export publications BibTeX

Conference Articles

2017

(1 publication)

Nejad, N. and Karlsson, J. and Barbosa, R. , "A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights", in 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), 2017

2014

(1 publication)

Nejad, N. and Villani, E. and Pathan, R. and Barbosa, R. and Karlsson, J. , "On probabilistic analysis of disagreement in synchronous consensus protocols", in Tenth European Dependable Computing Conference (EDCC 2014), 2014 [ DOI ]

2013

(1 publication)

Villani, E. and Nejad, N. and Pathan, R. and Barbosa, R. and Karlsson, J. , "Reliability Analysis of Consensus in Cooperative Transport Systems", in SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, 2013