VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. - Farnaz Yousefi; Ehsan Khamespanah; Mohammed Gharib; Marjan Sirjani; Ali Movaghar 001 (SPIN, 2019)

Liveness Verification of Stateful Network Functions. - Farnaz Yousefi; Anubhavnidhi Abhashkumar; Kausik Subramanian; Kartik Hans; Soudeh Ghorbani; Aditya Akella (NSDI, 2020)

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. - Farnaz Yousefi; Ehsan Khamespanah; Mohammed Gharib; Marjan Sirjani; Ali Movaghar 001 (Int. J. Softw. Tools Technol. Transf., 2020)