Login / Signup
Farnaz Yousefi
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 4
Top Topics
Formal Verification
Belief Propagation
Lightweight
Email
Top Venues
CoRR
Int. J. Softw. Tools Technol. Transf.
SPIN
NSDI
</>
Publications
</>
Farnaz Yousefi
,
Anubhavnidhi Abhashkumar
,
Kausik Subramanian
,
Kartik Hans
,
Soudeh Ghorbani
,
Aditya Akella
Liveness Verification of Stateful Network Functions.
NSDI
(2020)
Farnaz Yousefi
,
Ehsan Khamespanah
,
Mohammed Gharib
,
Marjan Sirjani
,
Ali Movaghar
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.
Int. J. Softw. Tools Technol. Transf.
22 (5) (2020)
Farnaz Yousefi
,
Ehsan Khamespanah
,
Mohammed Gharib
,
Marjan Sirjani
,
Ali Movaghar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
CoRR
(2019)
Farnaz Yousefi
,
Ehsan Khamespanah
,
Mohammed Gharib
,
Marjan Sirjani
,
Ali Movaghar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
SPIN
(2019)