According to our database1, Farnaz Yousefi authored at least 3 papers between 2019 and 2020.
Legend:Book In proceedings Article PhD thesis Other
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
Proceedings of the Model Checking Software - 26th International Symposium, 2019