Farnaz Yousefi

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Liveness Verification of Stateful Network Functions.

[BibT_eX]

[DOI]

Farnaz Yousefi

Anubhavnidhi Abhashkumar

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.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Farnaz Yousefi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...