Farnaz Yousefi

According to our database1, Farnaz Yousefi authored at least 3 papers between 2019 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.
Int. J. Softw. Tools Technol. Transf., 2020

Liveness Verification of Stateful Network Functions.
Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019
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


  Loading...