Search the dblp DataBase

Publications of Author

1. Azadeh Farzan, José Meseguer, Grigore Rosu
   Formal JVM Code Analysis in JavaFAN. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:132-147 [Conf]
   
2. Azadeh Farzan, José Meseguer
   State Space Reduction of Rewrite Theories Using Invisible Transitions. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:142-157 [Conf]
   
3. Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu
   Formal Analysis of Java Programs in JavaFAN. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:501-505 [Conf]
   
4. Azadeh Farzan, P. Madhusudan
   Causal Atomicity. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:315-328 [Conf]
   
5. Azadeh Farzan, P. Madhusudan
   Causal Dataflow Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:102-116 [Conf]
   
6. Azadeh Farzan, José Meseguer
   Partial Order Reduction for Rewriting Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:61-78 [Journal]
   
7. 
   Monitoring Atomicity in Concurrent Programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Automated Assume-Guarantee Reasoning through Implicit Learning. [Citation Graph (, )][DBLP]
   
   
9. 
   Meta-analysis for Atomicity Violations under Nested Locking. [Citation Graph (, )][DBLP]
   
   
10. 
    Compositional Bitvector Analysis for Concurrent Programs with Nested Locks. [Citation Graph (, )][DBLP]
    
    
11. 
    The Complexity of Predicting Atomicity Violations. [Citation Graph (, )][DBLP]
    
    
12. 
    Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages. [Citation Graph (, )][DBLP]
    
    
13. 
    Learning Minimal Separating DFA's for Compositional Verification. [Citation Graph (, )][DBLP]
    
    
14. 
    Some Tools. [Citation Graph (, )][DBLP]