Seuraa
farnaz Yousefi
farnaz Yousefi
Ph.D. Student, Johns Hopkins University
Vahvistettu sähköpostiosoite verkkotunnuksessa jhu.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
212020
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
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
42020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3