Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Azadeh Farzan
@article{DBLP:journals/pacmpl/FarzanM24, author = {Azadeh Farzan and Umang Mathur}, title = {Coarser Equivalences for Causal Concurrency}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{POPL}}, pages = {911--941}, year = {2024}, url = {https://doi.org/10.1145/3632873}, doi = {10.1145/3632873}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/FarzanM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FarzanKP24, author = {Azadeh Farzan and Dominik Klumpp and Andreas Podelski}, title = {Commutativity Simplifies Proofs of Parameterized Programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {8}, number = {{POPL}}, pages = {2485--2513}, year = {2024}, url = {https://doi.org/10.1145/3632925}, doi = {10.1145/3632925}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/FarzanKP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-18708, author = {Jialu Bao and Emanuele D'Osualdo and Azadeh Farzan}, title = {Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning}, journal = {CoRR}, volume = {abs/2402.18708}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.18708}, doi = {10.48550/ARXIV.2402.18708}, eprinttype = {arXiv}, eprint = {2402.18708}, timestamp = {Tue, 26 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-18708.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FarzanKP23, author = {Azadeh Farzan and Dominik Klumpp and Andreas Podelski}, title = {Stratified Commutativity in Verification Algorithms for Concurrent Programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{POPL}}, pages = {1426--1453}, year = {2023}, url = {https://doi.org/10.1145/3571242}, doi = {10.1145/3571242}, timestamp = {Fri, 10 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/FarzanKP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/LetteF23, author = {Danya Lette and Azadeh Farzan}, editor = {Constantin Enea and Akash Lal}, title = {Commutativity for Concurrent Program Termination Proofs}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13964}, pages = {109--131}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37706-8\_6}, doi = {10.1007/978-3-031-37706-8\_6}, timestamp = {Tue, 12 Sep 2023 07:57:21 +0200}, biburl = {https://dblp.org/rec/conf/cav/LetteF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Farzan23, author = {Azadeh Farzan}, title = {Commutativity in Automated Verification}, booktitle = {{LICS}}, pages = {1--7}, year = {2023}, url = {https://doi.org/10.1109/LICS56636.2023.10175734}, doi = {10.1109/LICS56636.2023.10175734}, timestamp = {Thu, 20 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/Farzan23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/CirisciEFM23, author = {Berk {\c{C}}irisci and Constantin Enea and Azadeh Farzan and Suha Orhun Mutluergil}, editor = {Cezara Dragoi and Michael Emmi and Jingbo Wang}, title = {A Pragmatic Approach to Stateful Partial Order Reduction}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 24th International Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13881}, pages = {129--154}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-24950-1\_7}, doi = {10.1007/978-3-031-24950-1\_7}, timestamp = {Fri, 10 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/CirisciEFM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-02673, author = {Azadeh Farzan and Dominik Klumpp and Andreas Podelski}, title = {Commutativity Simplifies Proofs of Parameterized Programs}, journal = {CoRR}, volume = {abs/2311.02673}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.02673}, doi = {10.48550/ARXIV.2311.02673}, eprinttype = {arXiv}, eprint = {2311.02673}, timestamp = {Wed, 08 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-02673.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DOsualdoFD22, author = {Emanuele D'Osualdo and Azadeh Farzan and Derek Dreyer}, title = {Proving hypersafety compositionally}, journal = {Proc. {ACM} Program. Lang.}, volume = {6}, number = {{OOPSLA2}}, pages = {289--314}, year = {2022}, url = {https://doi.org/10.1145/3563298}, doi = {10.1145/3563298}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DOsualdoFD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/FarzanLN22, author = {Azadeh Farzan and Danya Lette and Victor Nicolet}, editor = {Ranjit Jhala and Isil Dillig}, title = {Recursion synthesis with unrealizability witnesses}, booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022}, pages = {244--259}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3519939.3523726}, doi = {10.1145/3519939.3523726}, timestamp = {Fri, 03 Jun 2022 08:25:37 +0200}, biburl = {https://dblp.org/rec/conf/pldi/FarzanLN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/FarzanKP22, author = {Azadeh Farzan and Dominik Klumpp and Andreas Podelski}, editor = {Ranjit Jhala and Isil Dillig}, title = {Sound sequentialization for concurrent program verification}, booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022}, pages = {506--521}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3519939.3523727}, doi = {10.1145/3519939.3523727}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/FarzanKP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KlumppDHSEFP22, author = {Dominik Klumpp and Daniel Dietsch and Matthias Heizmann and Frank Sch{\"{u}}ssele and Marcel Ebbinghaus and Azadeh Farzan and Andreas Podelski}, editor = {Dana Fisman and Grigore Rosu}, title = {Ultimate GemCutter and the Axes of Generalization - (Competition Contribution)}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, {TACAS} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13244}, pages = {479--483}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99527-0\_35}, doi = {10.1007/978-3-030-99527-0\_35}, timestamp = {Fri, 29 Apr 2022 14:50:32 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KlumppDHSEFP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-12117, author = {Azadeh Farzan and Umang Mathur}, title = {Coarser Equivalences for Concurrent Program Runs}, journal = {CoRR}, volume = {abs/2208.12117}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.12117}, doi = {10.48550/ARXIV.2208.12117}, eprinttype = {arXiv}, eprint = {2208.12117}, timestamp = {Tue, 30 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-12117.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-07448, author = {Emanuele D'Osualdo and Azadeh Farzan and Derek Dreyer}, title = {Proving Hypersafety Compositionally}, journal = {CoRR}, volume = {abs/2209.07448}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.07448}, doi = {10.48550/ARXIV.2209.07448}, eprinttype = {arXiv}, eprint = {2209.07448}, timestamp = {Tue, 27 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-07448.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-11942, author = {Berk {\c{C}}irisci and Constantin Enea and Azadeh Farzan and Suha Orhun Mutluergil}, title = {A Pragmatic Approach to Stateful Partial Order Reduction}, journal = {CoRR}, volume = {abs/2211.11942}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.11942}, doi = {10.48550/ARXIV.2211.11942}, eprinttype = {arXiv}, eprint = {2211.11942}, timestamp = {Thu, 24 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-11942.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/DOsualdoSFG21, author = {Emanuele D'Osualdo and Julian Sutherland and Azadeh Farzan and Philippa Gardner}, title = {TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {43}, number = {4}, pages = {16:1--16:134}, year = {2021}, url = {https://doi.org/10.1145/3477082}, doi = {10.1145/3477082}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/DOsualdoSFG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanN21, author = {Azadeh Farzan and Victor Nicolet}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Counterexample-Guided Partial Bounding for Recursive Function Synthesis}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12759}, pages = {832--855}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81685-8\_39}, doi = {10.1007/978-3-030-81685-8\_39}, timestamp = {Fri, 23 Jul 2021 16:41:31 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/FarzanN21, author = {Azadeh Farzan and Victor Nicolet}, editor = {Stephen N. Freund and Eran Yahav}, title = {Phased synthesis of divide and conquer programs}, booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021}, pages = {974--986}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3453483.3454089}, doi = {10.1145/3453483.3454089}, timestamp = {Thu, 09 Dec 2021 07:39:43 +0100}, biburl = {https://dblp.org/rec/conf/pldi/FarzanN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FarzanV20, author = {Azadeh Farzan and Anthony Vandikas}, title = {Reductions for safety proofs}, journal = {Proc. {ACM} Program. Lang.}, volume = {4}, number = {{POPL}}, pages = {13:1--13:28}, year = {2020}, url = {https://doi.org/10.1145/3371081}, doi = {10.1145/3371081}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/FarzanV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CirisciEFM20, author = {Berk {\c{C}}irisci and Constantin Enea and Azadeh Farzan and Suha Orhun Mutluergil}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Root Causing Linearizability Violations}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12224}, pages = {350--375}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53288-8\_17}, doi = {10.1007/978-3-030-53288-8\_17}, timestamp = {Wed, 12 Aug 2020 15:15:42 +0200}, biburl = {https://dblp.org/rec/conf/cav/CirisciEFM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanV19, author = {Azadeh Farzan and Anthony Vandikas}, editor = {Isil Dillig and Serdar Tasiran}, title = {Automated Hypersafety Verification}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {200--218}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_11}, doi = {10.1007/978-3-030-25540-4\_11}, timestamp = {Fri, 31 Jan 2020 21:32:18 +0100}, biburl = {https://dblp.org/rec/conf/cav/FarzanV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/FarzanN19, author = {Azadeh Farzan and Victor Nicolet}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {Modular divide-and-conquer parallelization of nested loops}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {610--624}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314612}, doi = {10.1145/3314221.3314612}, timestamp = {Sun, 09 Jun 2019 18:52:19 +0200}, biburl = {https://dblp.org/rec/conf/pldi/FarzanN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-05750, author = {Emanuele D'Osualdo and Azadeh Farzan and Philippa Gardner and Julian Sutherland}, title = {TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs}, journal = {CoRR}, volume = {abs/1901.05750}, year = {2019}, url = {http://arxiv.org/abs/1901.05750}, eprinttype = {arXiv}, eprint = {1901.05750}, timestamp = {Fri, 01 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-05750.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-01031, author = {Azadeh Farzan and Victor Nicolet}, title = {Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version)}, journal = {CoRR}, volume = {abs/1904.01031}, year = {2019}, url = {http://arxiv.org/abs/1904.01031}, eprinttype = {arXiv}, eprint = {1904.01031}, timestamp = {Wed, 24 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-01031.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-09242, author = {Azadeh Farzan and Anthony Vandikas}, title = {Reductions for Automated Hypersafety Verification}, journal = {CoRR}, volume = {abs/1905.09242}, year = {2019}, url = {http://arxiv.org/abs/1905.09242}, eprinttype = {arXiv}, eprint = {1905.09242}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-09242.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-14619, author = {Azadeh Farzan and Anthony Vandikas}, title = {Reductions for Safety Proofs (Extended Version)}, journal = {CoRR}, volume = {abs/1910.14619}, year = {2019}, url = {http://arxiv.org/abs/1910.14619}, eprinttype = {arXiv}, eprint = {1910.14619}, timestamp = {Mon, 04 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-14619.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FarzanK18, author = {Azadeh Farzan and Zachary Kincaid}, title = {Strategy synthesis for linear arithmetic games}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{POPL}}, pages = {61:1--61:30}, year = {2018}, url = {https://doi.org/10.1145/3158149}, doi = {10.1145/3158149}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/FarzanK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FarzanK17, author = {Azadeh Farzan and Zachary Kincaid}, editor = {Roland Meyer and Uwe Nestmann}, title = {A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)}, booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017, September 5-8, 2017, Berlin, Germany}, series = {LIPIcs}, volume = {85}, pages = {4:1--4:11}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.4}, doi = {10.4230/LIPICS.CONCUR.2017.4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/concur/FarzanK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/FarzanN17, author = {Azadeh Farzan and Victor Nicolet}, editor = {Albert Cohen and Martin T. Vechev}, title = {Synthesis of divide and conquer parallelism for loops}, booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2017, Barcelona, Spain, June 18-23, 2017}, pages = {540--555}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3062341.3062355}, doi = {10.1145/3062341.3062355}, timestamp = {Wed, 23 Jun 2021 15:34:31 +0200}, biburl = {https://dblp.org/rec/conf/pldi/FarzanN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FarzanN17, author = {Azadeh Farzan and Victor Nicolet}, title = {Automated Synthesis of Divide and Conquer Parallelism}, journal = {CoRR}, volume = {abs/1701.08345}, year = {2017}, url = {http://arxiv.org/abs/1701.08345}, eprinttype = {arXiv}, eprint = {1701.08345}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FarzanN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/FarzanK16, author = {Azadeh Farzan and Zachary Kincaid}, editor = {Subbarao Kambhampati}, title = {Linear Arithmetic Satisfiability via Strategy Improvement}, booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016}, pages = {735--743}, publisher = {{IJCAI/AAAI} Press}, year = {2016}, url = {http://www.ijcai.org/Abstract/16/110}, timestamp = {Tue, 20 Aug 2019 16:19:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/FarzanK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/FarzanKP16, author = {Azadeh Farzan and Zachary Kincaid and Andreas Podelski}, editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}, title = {Proving Liveness of Parameterized Programs}, booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}, pages = {185--196}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2933575.2935310}, doi = {10.1145/2933575.2935310}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/FarzanKP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/EneaF16, author = {Constantin Enea and Azadeh Farzan}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {On Atomicity in Presence of Non-atomic Writes}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {497--514}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_29}, doi = {10.1007/978-3-662-49674-9\_29}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/EneaF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2016-1, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9779}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41528-4}, doi = {10.1007/978-3-319-41528-4}, isbn = {978-3-319-41527-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/2016-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2016-2, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9780}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41540-6}, doi = {10.1007/978-3-319-41540-6}, isbn = {978-3-319-41539-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/2016-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FarzanKP16, author = {Azadeh Farzan and Zachary Kincaid and Andreas Podelski}, title = {Proving Liveness of Parameterized Programs}, journal = {CoRR}, volume = {abs/1605.02350}, year = {2016}, url = {http://arxiv.org/abs/1605.02350}, eprinttype = {arXiv}, eprint = {1605.02350}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FarzanKP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/FarzanK15, author = {Azadeh Farzan and Zachary Kincaid}, editor = {Roope Kaivola and Thomas Wahl}, title = {Compositional Recurrence Analysis}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas, USA, September 27-30, 2015}, pages = {57--64}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/FMCAD.2015.7542253}, doi = {10.1109/FMCAD.2015.7542253}, timestamp = {Tue, 30 May 2023 17:04:45 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/FarzanK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/FarzanHV15, author = {Azadeh Farzan and Andreas Holzer and Helmut Veith}, title = {Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution}, booktitle = {8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015}, pages = {1--11}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICST.2015.7102600}, doi = {10.1109/ICST.2015.7102600}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/FarzanHV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/FarzanHHKP15, author = {Azadeh Farzan and Matthias Heizmann and Jochen Hoenicke and Zachary Kincaid and Andreas Podelski}, editor = {Adrian{-}Horia Dediu and Enrico Formenti and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {Automated Program Verification}, booktitle = {Language and Automata Theory and Applications - 9th International Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8977}, pages = {25--46}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-15579-1\_2}, doi = {10.1007/978-3-319-15579-1\_2}, timestamp = {Mon, 16 Sep 2019 15:27:03 +0200}, biburl = {https://dblp.org/rec/conf/lata/FarzanHHKP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/FarzanKP15, author = {Azadeh Farzan and Zachary Kincaid and Andreas Podelski}, editor = {Sriram K. Rajamani and David Walker}, title = {Proof Spaces for Unbounded Parallelism}, booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015}, pages = {407--420}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2676726.2677012}, doi = {10.1145/2676726.2677012}, timestamp = {Sat, 30 Sep 2023 09:54:52 +0200}, biburl = {https://dblp.org/rec/conf/popl/FarzanKP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FarzanK15, author = {Azadeh Farzan and Zachary Kincaid}, title = {Compositional Invariant Generation via Linear Recurrence Analysis}, journal = {CoRR}, volume = {abs/1502.00138}, year = {2015}, url = {http://arxiv.org/abs/1502.00138}, eprinttype = {arXiv}, eprint = {1502.00138}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FarzanK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/RazaviFM14, author = {Niloofar Razavi and Azadeh Farzan and Sheila A. McIlraith}, title = {Generating effective tests for concurrent programs via {AI} automated planning techniques}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {16}, number = {1}, pages = {49--65}, year = {2014}, url = {https://doi.org/10.1007/s10009-013-0277-y}, doi = {10.1007/S10009-013-0277-Y}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/RazaviFM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/FarzanKP14, author = {Azadeh Farzan and Zachary Kincaid and Andreas Podelski}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Proofs that count}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {151--164}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535885}, doi = {10.1145/2535838.2535885}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/FarzanKP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ChaudhuriFK14, author = {Swarat Chaudhuri and Azadeh Farzan and Zachary Kincaid}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Consistency analysis of decision-making programs}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {555--568}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535858}, doi = {10.1145/2535838.2535858}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/ChaudhuriFK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se/FarzanHRV14, author = {Azadeh Farzan and Andreas Holzer and Niloofar Razavi and Helmut Veith}, editor = {Wilhelm Hasselbring and Nils Christian Ehmke}, title = {Concolic Testing of Concurrent Programs}, booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Germany}, series = {{LNI}}, volume = {{P-227}}, pages = {101--102}, publisher = {{GI}}, year = {2014}, url = {https://dl.gi.de/handle/20.500.12116/30982}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/se/FarzanHRV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanK13, author = {Azadeh Farzan and Zachary Kincaid}, editor = {Natasha Sharygina and Helmut Veith}, title = {Duet: Static Analysis for Unbounded Parallelism}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {191--196}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_12}, doi = {10.1007/978-3-642-39799-8\_12}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/FarzanK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/FarzanKP13, author = {Azadeh Farzan and Zachary Kincaid and Andreas Podelski}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Inductive data flow graphs}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {129--142}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429086}, doi = {10.1145/2429069.2429086}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/FarzanKP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/FarzanHRV13, author = {Azadeh Farzan and Andreas Holzer and Niloofar Razavi and Helmut Veith}, editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini}, title = {Con2colic testing}, booktitle = {Joint Meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013}, pages = {37--47}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2491411.2491453}, doi = {10.1145/2491411.2491453}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/FarzanHRV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FarzanK13, author = {Azadeh Farzan and Zachary Kincaid}, title = {An Algebraic Framework for Compositional Program Analysis}, journal = {CoRR}, volume = {abs/1310.3481}, year = {2013}, url = {http://arxiv.org/abs/1310.3481}, eprinttype = {arXiv}, eprint = {1310.3481}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FarzanK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/RazaviFH12, author = {Niloofar Razavi and Azadeh Farzan and Andreas Holzer}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Bounded-Interference Sequentialization for Testing Concurrent Programs}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {7609}, pages = {372--387}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34026-0\_28}, doi = {10.1007/978-3-642-34026-0\_28}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/RazaviFH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/FarzanK12, author = {Azadeh Farzan and Zachary Kincaid}, editor = {John Field and Michael Hicks}, title = {Verification of parameterized concurrent programs by modular reasoning about data and control}, booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012}, pages = {297--308}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2103656.2103693}, doi = {10.1145/2103656.2103693}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/FarzanK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/FarzanMRS12, author = {Azadeh Farzan and P. Madhusudan and Niloofar Razavi and Francesco Sorrentino}, editor = {Will Tracz and Martin P. Robillard and Tevfik Bultan}, title = {Predicting null-pointer dereferences in concurrent programs}, booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012}, pages = {47}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2393596.2393651}, doi = {10.1145/2393596.2393651}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/FarzanMRS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChenCFTTW10, author = {Yu{-}Fang Chen and Edmund M. Clarke and Azadeh Farzan and Ming{-}Hsien Tsai and Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, editor = {Tayssir Touili and Byron Cook and Paul B. Jackson}, title = {Automated Assume-Guarantee Reasoning through Implicit Learning}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, pages = {511--526}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14295-6\_44}, doi = {10.1007/978-3-642-14295-6\_44}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ChenCFTTW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/ChenCFHTTWZ10, author = {Yu{-}Fang Chen and Edmund M. Clarke and Azadeh Farzan and Fei He and Ming{-}Hsien Tsai and Yih{-}Kuen Tsay and Bow{-}Yaw Wang and Lei Zhu}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6415}, pages = {643--657}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0\_52}, doi = {10.1007/978-3-642-16558-0\_52}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/ChenCFHTTWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/FarzanK10, author = {Azadeh Farzan and Zachary Kincaid}, editor = {Radhia Cousot and Matthieu Martel}, title = {Compositional Bitvector Analysis for Concurrent Programs with Nested Locks}, booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan, France, September 14-16, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6337}, pages = {253--270}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15769-1\_16}, doi = {10.1007/978-3-642-15769-1\_16}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/FarzanK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/SorrentinoFM10, author = {Francesco Sorrentino and Azadeh Farzan and P. Madhusudan}, editor = {Gruia{-}Catalin Roman and Andr{\'{e}} van der Hoek}, title = {{PENELOPE:} weaving threads to expose atomicity violations}, booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010}, pages = {37--46}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1882291.1882300}, doi = {10.1145/1882291.1882300}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/SorrentinoFM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanMS09, author = {Azadeh Farzan and P. Madhusudan and Francesco Sorrentino}, editor = {Ahmed Bouajjani and Oded Maler}, title = {Meta-analysis for Atomicity Violations under Nested Locking}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {248--262}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_21}, doi = {10.1007/978-3-642-02658-4\_21}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenFCTW09, author = {Yu{-}Fang Chen and Azadeh Farzan and Edmund M. Clarke and Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, editor = {Stefan Kowalewski and Anna Philippou}, title = {Learning Minimal Separating DFA's for Compositional Verification}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, {TACAS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5505}, pages = {31--45}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00768-2\_3}, doi = {10.1007/978-3-642-00768-2\_3}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/ChenFCTW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FarzanM09, author = {Azadeh Farzan and P. Madhusudan}, editor = {Stefan Kowalewski and Anna Philippou}, title = {The Complexity of Predicting Atomicity Violations}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, {TACAS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5505}, pages = {155--169}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00768-2\_14}, doi = {10.1007/978-3-642-00768-2\_14}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FarzanM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanM08, author = {Azadeh Farzan and P. Madhusudan}, editor = {Aarti Gupta and Sharad Malik}, title = {Monitoring Atomicity in Concurrent Programs}, booktitle = {Computer Aided Verification, 20th International Conference, {CAV} 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5123}, pages = {52--65}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70545-1\_8}, doi = {10.1007/978-3-540-70545-1\_8}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FarzanCCTW08, author = {Azadeh Farzan and Yu{-}Fang Chen and Edmund M. Clarke and Yih{-}Kuen Tsay and Bow{-}Yaw Wang}, editor = {C. R. Ramakrishnan and Jakob Rehof}, title = {Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, {TACAS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4963}, pages = {2--17}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78800-3\_2}, doi = {10.1007/978-3-540-78800-3\_2}, timestamp = {Mon, 03 Apr 2023 17:23:33 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FarzanCCTW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Farzan07, author = {Azadeh Farzan}, title = {Static and Dynamic Formal Analysis of Concurrent Systems and Languages: {A} Semantics-Based Approach}, school = {University of Illinois Urbana-Champaign, {USA}}, year = {2007}, url = {https://hdl.handle.net/2142/81762}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Farzan07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/FarzanM07, author = {Azadeh Farzan and P. Madhusudan}, editor = {Orna Grumberg and Michael Huth}, title = {Causal Dataflow Analysis for Concurrent Programs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4424}, pages = {102--116}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71209-1\_10}, doi = {10.1007/978-3-540-71209-1\_10}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/conf/tacas/FarzanM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/maude/ClavelDELMMTBFHOPSSV07, author = {Manuel Clavel and Francisco Dur{\'{a}}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'{\i}}{-}Oliet and Jos{\'{e}} Meseguer and Carolyn L. Talcott and Christiano Braga and Azadeh Farzan and Joe Hendrix and Peter Csaba {\"{O}}lveczky and Miguel Palomino and Ralf Sasse and Mark{-}Oliver Stehr and Alberto Verdejo}, editor = {Manuel Clavel and Francisco Dur{\'{a}}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'{\i}}{-}Oliet and Jos{\'{e}} Meseguer and Carolyn L. Talcott}, title = {Some Tools}, booktitle = {All About Maude - {A} High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic}, series = {Lecture Notes in Computer Science}, volume = {4350}, pages = {667--693}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71999-1\_21}, doi = {10.1007/978-3-540-71999-1\_21}, timestamp = {Wed, 20 Sep 2023 08:58:11 +0200}, biburl = {https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/FarzanM06, author = {Azadeh Farzan and Jos{\'{e}} Meseguer}, editor = {Michael Johnson and Varmo Vene}, title = {State Space Reduction of Rewrite Theories Using Invisible Transitions}, booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4019}, pages = {142--157}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11784180\_13}, doi = {10.1007/11784180\_13}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/FarzanM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanM06, author = {Azadeh Farzan and P. Madhusudan}, editor = {Thomas Ball and Robert B. Jones}, title = {Causal Atomicity}, booktitle = {Computer Aided Verification, 18th International Conference, {CAV} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4144}, pages = {315--328}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11817963\_30}, doi = {10.1007/11817963\_30}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FarzanM07, author = {Azadeh Farzan and Jos{\'{e}} Meseguer}, editor = {Grit Denker and Carolyn L. Talcott}, title = {Partial Order Reduction for Rewriting Semantics of Programming Languages}, booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, {WRLA} 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {4}, pages = {61--78}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2007.06.008}, doi = {10.1016/J.ENTCS.2007.06.008}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/FarzanM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/FarzanMR04, author = {Azadeh Farzan and Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Charles Rattray and Savi Maharaj and Carron Shankland}, title = {Formal {JVM} Code Analysis in JavaFAN}, booktitle = {Algebraic Methodology and Software Technology, 10th International Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3116}, pages = {132--147}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27815-3\_14}, doi = {10.1007/978-3-540-27815-3\_14}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amast/FarzanMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FarzanCMR04, author = {Azadeh Farzan and Feng Chen and Jos{\'{e}} Meseguer and Grigore Rosu}, editor = {Rajeev Alur and Doron A. Peled}, title = {Formal Analysis of Java Programs in JavaFAN}, booktitle = {Computer Aided Verification, 16th International Conference, {CAV} 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3114}, pages = {501--505}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27813-9\_46}, doi = {10.1007/978-3-540-27813-9\_46}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FarzanCMR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.