Azadeh Farzan
发表
Sheila A. McIlraith,
Niloofar Razavi,
Azadeh Farzan,
2013,
International Journal on Software Tools for Technology Transfer.
Helmut Veith,
Andreas Holzer,
Niloofar Razavi,
2013,
ESEC/FSE 2013.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2012,
POPL '12.
Azadeh Farzan,
Victor Nicolet,
Azadeh Farzan,
2019,
ArXiv.
Andreas Podelski,
Zachary Kincaid,
Azadeh Farzan,
2013,
POPL.
Andreas Podelski,
Zachary Kincaid,
Azadeh Farzan,
2014,
POPL.
Azadeh Farzan,
P. Madhusudan,
P. Madhusudan,
2008,
CAV.
Yih-Kuen Tsay,
Ming-Hsien Tsai,
Edmund M. Clarke,
2010,
CAV.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2013,
CAV.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2019,
All About Maude.
Azadeh Farzan,
Anthony Vandikas,
Azadeh Farzan,
2019,
ArXiv.
José Meseguer,
Azadeh Farzan,
J. Meseguer,
2006,
AMAST.
Andreas Holzer,
Niloofar Razavi,
Azadeh Farzan,
2012,
ISoLA.
Azadeh Farzan,
Anthony Vandikas,
Azadeh Farzan,
2019,
ArXiv.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2013,
ArXiv.
Francesco Sorrentino,
Azadeh Farzan,
P. Madhusudan,
2010,
FSE '10.
Lei Zhu,
Yih-Kuen Tsay,
Ming-Hsien Tsai,
2010,
ISoLA.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2017,
Proc. ACM Program. Lang..
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2016,
IJCAI.
Swarat Chaudhuri,
Zachary Kincaid,
Azadeh Farzan,
2014,
POPL.
Constantin Enea,
Azadeh Farzan,
C. Enea,
2016,
TACAS.
Azadeh Farzan,
Anthony Vandikas,
2019
.
Azadeh Farzan,
P. Madhusudan,
P. Madhusudan,
2007
.
Azadeh Farzan,
2011
.
Helmut Veith,
Andreas Holzer,
Azadeh Farzan,
2015,
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).
José Meseguer,
Grigore Rosu,
Azadeh Farzan,
2004,
CAV.
Constantin Enea,
Azadeh Farzan,
Berk Çirisci,
2020,
CAV.
Francesco Sorrentino,
Azadeh Farzan,
P. Madhusudan,
2009,
CAV.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2009,
TACAS.
Azadeh Farzan,
Anthony Vandikas,
Azadeh Farzan,
2019,
CAV.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2015,
ArXiv.
José Meseguer,
Grigore Rosu,
Azadeh Farzan,
2004,
AMAST.
Azadeh Farzan,
Victor Nicolet,
2017,
ArXiv.
Jochen Hoenicke,
Andreas Podelski,
Zachary Kincaid,
2015,
LATA.
Azadeh Farzan,
Victor Nicolet,
Azadeh Farzan,
2017,
PLDI.
Helmut Veith,
Andreas Holzer,
Niloofar Razavi,
2014,
Software Engineering.
Francesco Sorrentino,
Niloofar Razavi,
Azadeh Farzan,
2012,
SIGSOFT FSE.
Arun Venkataramani,
Eyal de Lara,
Collin Jackson,
2010,
OSDI.
Azadeh Farzan,
P. Madhusudan,
P. Madhusudan,
2009,
TACAS.
Andreas Podelski,
Zachary Kincaid,
Azadeh Farzan,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Swarat Chaudhuri,
Azadeh Farzan,
2016,
Lecture Notes in Computer Science.
Yih-Kuen Tsay,
Edmund M. Clarke,
Yu-Fang Chen,
2008,
TACAS.
Azadeh Farzan,
P. Madhusudan,
P. Madhusudan,
2007,
TACAS.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2017,
CONCUR.
Axel Legay,
Azadeh Farzan,
2009
.
José Meseguer,
Azadeh Farzan,
J. Meseguer,
2007,
WRLA.
Azadeh Farzan,
Victor Nicolet,
Azadeh Farzan,
2019,
PLDI.
Azadeh Farzan,
P. Madhusudan,
2006,
CAV.
José Meseguer,
Azadeh Farzan,
J. Meseguer,
2007
.
Philippa Gardner,
Azadeh Farzan,
Julian Sutherland,
2019,
ArXiv.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2010,
SAS.
Zachary Kincaid,
Azadeh Farzan,
Zachary Kincaid,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Andreas Podelski,
Zachary Kincaid,
Azadeh Farzan,
2015,
POPL.
Azadeh Farzan,
Victor Nicolet,
Azadeh Farzan,
2021,
CAV.
Azadeh Farzan,
Victor Nicolet,
Azadeh Farzan,
2021,
PLDI.
Azadeh Farzan,
Azadeh Farzan,
2013
.