Volgen
farnaz Yousefi
farnaz Yousefi
Ph.D. Student, Johns Hopkins University
Geverifieerd e-mailadres voor jhu.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3