| Some tools M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ... All About Maude-A High-Performance Logical Framework: How to Specify …, 2007 | 1584 | 2007 |
| Formal analysis of Java programs in JavaFAN A Farzan, F Chen, J Meseguer, G Roşu Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 163 | 2004 |
| PENELOPE: weaving threads to expose atomicity violations F Sorrentino, A Farzan, P Madhusudan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 147 | 2010 |
| Monitoring atomicity in concurrent programs A Farzan, P Madhusudan Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 93 | 2008 |
| Causal atomicity A Farzan, P Madhusudan Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 93 | 2006 |
| Learning minimal separating DFA’s for compositional verification YF Chen, A Farzan, EM Clarke, YK Tsay, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2009 | 89 | 2009 |
| Con2colic testing A Farzan, A Holzer, N Razavi, H Veith Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 83 | 2013 |
| Extending automated compositional verification to the full class of omega-regular languages A Farzan, YF Chen, EM Clarke, YK Tsay, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2008 | 80 | 2008 |
| Inductive data flow graphs A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 48 (1), 129-142, 2013 | 70 | 2013 |
| Compositional recurrence analysis A Farzan, Z Kincaid 2015 Formal Methods in Computer-Aided Design (FMCAD), 57-64, 2015 | 67 | 2015 |
| Automated assume-guarantee reasoning through implicit learning YF Chen, EM Clarke, A Farzan, MH Tsai, YK Tsay, BY Wang Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 60 | 2010 |
| Verification of parameterized concurrent programs by modular reasoning about data and control A Farzan, Z Kincaid ACM SIGPLAN Notices 47 (1), 297-308, 2012 | 56 | 2012 |
| Meta-analysis for atomicity violations under nested locking A Farzan, P Madhusudan, F Sorrentino Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 56 | 2009 |
| Predicting null-pointer dereferences in concurrent programs A Farzan, P Madhusudan, N Razavi, F Sorrentino Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 51 | 2012 |
| Formal JVM code analysis in JavaFAN A Farzan, J Meseguer, G Roşu Algebraic Methodology and Software Technology: 10th International Conference …, 2004 | 48 | 2004 |
| The complexity of predicting atomicity violations A Farzan, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2009 | 47 | 2009 |
| Automated hypersafety verification A Farzan, A Vandikas Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 44 | 2019 |
| Synthesis of divide and conquer parallelism for loops A Farzan, V Nicolet ACM SIGPLAN Notices 52 (6), 540-555, 2017 | 41 | 2017 |
| Proof spaces for unbounded parallelism A Farzan, Z Kincaid, A Podelski ACM SIGPLAN Notices 50 (1), 407-420, 2015 | 41 | 2015 |
| Proofs that count A Farzan, Z Kincaid, A Podelski Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 40 | 2014 |
Zachary KincaidPrinceton University在 cs.princeton.edu 的电子邮件经过验证
