| 2017 | PRDC | A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. | Negin Fathollahnejad, Raul Barbosa, Johan Karlsson |
| 2015 | EDCC | On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks. | Negin Fathollahnejad, Risat Pathan, Johan Karlsson |
| 2014 | EDCC | On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | DSN | On reliability analysis of leader election protocols for virtual traffic lights. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | PRDC | Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. | Negin Fathollahnejad, Emlia Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | SAFECOMP | Reliability Analysis of Consensus in Cooperative Transport Systems. | Emlia Villani, Negin Fathollahnejad, Risat Pathan, Raul Barbosa, Johan Karlsson |