| * | 2009 |
|---|
| 12 | EE | Azadeh Farzan,
P. Madhusudan,
Francesco Sorrentino:
Meta-analysis for Atomicity Violations under Nested Locking.
CAV 2009: 248-262 |
| 11 | EE | Azadeh Farzan,
P. Madhusudan:
The Complexity of Predicting Atomicity Violations.
TACAS 2009: 155-169 |
| 10 | EE | Yu-Fang Chen,
Azadeh Farzan,
Edmund M. Clarke,
Yih-Kuen Tsay,
Bow-Yaw Wang:
Learning Minimal Separating DFA's for Compositional Verification.
TACAS 2009: 31-45 |
| 2008 |
|---|
| 9 | EE | Azadeh Farzan,
P. Madhusudan:
Monitoring Atomicity in Concurrent Programs.
CAV 2008: 52-65 |
| 8 | EE | Azadeh Farzan,
Yu-Fang Chen,
Edmund M. Clarke,
Yih-Kuen Tsay,
Bow-Yaw Wang:
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.
TACAS 2008: 2-17 |
| 2007 |
|---|
| 7 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott,
Christiano Braga,
Azadeh Farzan,
Joe Hendrix,
Peter Csaba Ölveczky,
Miguel Palomino,
Ralf Sasse,
Mark-Oliver Stehr,
Alberto Verdejo:
Some Tools.
All About Maude 2007: 667-693 |
| 6 | EE | Azadeh Farzan,
P. Madhusudan:
Causal Dataflow Analysis for Concurrent Programs.
TACAS 2007: 102-116 |
| 5 | EE | Azadeh Farzan,
José Meseguer:
Partial Order Reduction for Rewriting Semantics of Programming Languages.
Electr. Notes Theor. Comput. Sci. 176(4): 61-78 (2007) |
| 2006 |
|---|
| 4 | EE | Azadeh Farzan,
José Meseguer:
State Space Reduction of Rewrite Theories Using Invisible Transitions.
AMAST 2006: 142-157 |
| 3 | EE | Azadeh Farzan,
P. Madhusudan:
Causal Atomicity.
CAV 2006: 315-328 |
| 2004 |
|---|
| 2 | EE | Azadeh Farzan,
José Meseguer,
Grigore Rosu:
Formal JVM Code Analysis in JavaFAN.
AMAST 2004: 132-147 |
| 1 | EE | Azadeh Farzan,
Feng Chen,
José Meseguer,
Grigore Rosu:
Formal Analysis of Java Programs in JavaFAN.
CAV 2004: 501-505 |
