Get started
Author

Azadeh Farzan

Observed name: Farzan, Azadeh
ORCID: 0000-0001-9005-2653
Observed ORCID: 0000-0001-9005-2653
OpenAlex ID: A5016276143
PENELOPE
2010 · Francesco Sorrentino, Azadeh Farzan, et al. · 125
Formal Analysis of Java Programs in JavaFAN
2004 · Azadeh Farzan, Feng Chen, et al. · Lecture notes in computer science · 115
Monitoring Atomicity in Concurrent Programs
2008 · Azadeh Farzan, P. Madhusudan · Lecture notes in computer science · 76
PDF
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
2008 · Azadeh Farzan, Yu-Fang Chen, et al. · Springer eBooks · 71
PDF
Learning Minimal Separating DFA’s for Compositional Verification
2009 · Yu-Fang Chen, Azadeh Farzan, et al. · Lecture notes in computer science · 67
Causal Atomicity
2006 · Azadeh Farzan, P. Madhusudan · Lecture notes in computer science · 66
PDF
Con2colic testing
2013 · Azadeh Farzan, Andreas Holzer, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 64
Compositional recurrence analysis
2015 · Azadeh Farzan, Zachary Kincaid · Formal Methods in Computer-Aided Design · 61
Inductive data flow graphs
2013 · Azadeh Farzan, Zachary Kincaid, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 51
Predicting null-pointer dereferences in concurrent programs
2012 · Azadeh Farzan, P. Madhusudan, et al. · 50
Automated Assume-Guarantee Reasoning through Implicit Learning
2010 · Yu-Fang Chen, Edmund M. Clarke, et al. · Lecture notes in computer science · 48
Meta-analysis for Atomicity Violations under Nested Locking
2009 · Azadeh Farzan, P. Madhusudan, et al. · Lecture notes in computer science · 47
PDF
Automated Hypersafety Verification
2019 · Azadeh Farzan, Anthony Vandikas · Lecture notes in computer science · 43
PDF
Formal JVM Code Analysis in JavaFAN
2004 · Azadeh Farzan, José Meseguer, et al. · Lecture notes in computer science · 41
Proof Spaces for Unbounded Parallelism
2014 · Azadeh Farzan, Zachary Kincaid, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 38
The Complexity of Predicting Atomicity Violations
2009 · Azadeh Farzan, P. Madhusudan · Lecture notes in computer science · 37
PDF
Strategy synthesis for linear arithmetic games
2017 · Azadeh Farzan, Zachary Kincaid · Proceedings of the ACM on Programming Languages · 35
PDF
Proving Liveness of Parameterized Programs
2016 · Azadeh Farzan, Zachary Kincaid, et al. · Proceedings - Symposium on Logic in Computer Science · 35
PDF
Proofs that count
2014 · Azadeh Farzan, Zachary Kincaid, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 34
Verification of parameterized concurrent programs by modular reasoning about data and control
2012 · Azadeh Farzan, Zachary Kincaid · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 31
Verification of parameterized concurrent programs by modular reasoning about data and control
2012 · Azadeh Farzan, Zachary Kincaid · ACM SIGPLAN Notices · 29
Sound sequentialization for concurrent program verification
2022 · Azadeh Farzan, Dominik Klumpp, et al. · 25
Synthesis of divide and conquer parallelism for loops
2017 · Azadeh Farzan, Victor Nicolet · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 25
Partial Order Reduction for Rewriting Semantics of Programming Languages
2007 · Azadeh Farzan, José Meseguer · Electronic Notes in Theoretical Computer Science · 25
PDF
State Space Reduction of Rewrite Theories Using Invisible Transitions
2006 · Azadeh Farzan, José Meseguer · Lecture notes in computer science · 24
Works count: 113
Citation count: 1,643
H-index: 24
I10-index: 43
Year
Topic
Type