Follow
farnaz Yousefi
farnaz Yousefi
Ph.D. Student, Johns Hopkins University
Verified email at jhu.edu - Homepage
Title
Cited by
Cited by
Year
Liveness verification of stateful network functions
F Yousefi, A Abhashkumar, K Subramanian, K Hans, S Ghorbani, A Akella
17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020
242020
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance
F Yousefi, E Khamespanah, M Gharib, M Sirjani, A Movaghar
International Journal on Software Tools for Technology Transfer 22, 617-633, 2020
52020
VeriVANca: an actor-based framework for formal verification of warning message dissemination schemes in VANETs
F Yousefi, E Khamespanah, M Gharib, M Sirjani, A Movaghar
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–3