BibTeX records: Maryam Dabaghchian

• > Home > Persons > Maryam Dabaghchian

@phdthesis{DBLP:phd/us/Dabaghchian20,
  author       = {Maryam Dabaghchian},
  title        = {Static and Dynamic Verification of Distributed Systems},
  school       = {University of Utah, {USA}},
  year         = {2020},
  timestamp    = {Fri, 01 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Dabaghchian20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/DabaghchianR19,
  author       = {Maryam Dabaghchian and
                  Zvonimir Rakamaric},
  editor       = {Partha S. Roop and
                  Naijun Zhan and
                  Sicun Gao and
                  Pierluigi Nuzzo},
  title        = {A timeless model for the verification of quasi-periodic distributed
                  systems},
  booktitle    = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
                  USA, October 9-11, 2019},
  pages        = {4:1--4:11},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3359986.3361201},
  doi          = {10.1145/3359986.3361201},
  timestamp    = {Sat, 20 May 2023 11:52:14 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/DabaghchianR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/DabaghchianROMT17,
  author       = {Maryam Dabaghchian and
                  Zvonimir Rakamaric and
                  Burcu Kulahcioglu Ozkan and
                  Erdal Mutlu and
                  Serdar Tasiran},
  title        = {Consistency-Aware Scheduling for Weakly Consistent Programs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {42},
  number       = {4},
  pages        = {1--5},
  year         = {2017},
  url          = {https://doi.org/10.1145/3149485.3149493},
  doi          = {10.1145/3149485.3149493},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/DabaghchianROMT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DabaghchianA15,
  author       = {Maryam Dabaghchian and
                  Mohammad Abdollahi Azgomi},
  title        = {Model checking the observational determinism security property using
                  {PROMELA} and {SPIN}},
  journal      = {Formal Aspects Comput.},
  volume       = {27},
  number       = {5-6},
  pages        = {789--804},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00165-014-0331-x},
  doi          = {10.1007/S00165-014-0331-X},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DabaghchianA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}