BibTeX records: Hassan Hatefi-Ardakani

• > Home > Persons > Hassan Hatefi-Ardakani

@phdthesis{DBLP:phd/dnb/Ardakani17,
  author       = {Hassan Hatefi{-}Ardakani},
  title        = {Finite horizon analysis of Markov automata},
  school       = {Saarland University, Germany},
  year         = {2017},
  url          = {http://scidok.sulb.uni-saarland.de/volltexte/2017/6743/},
  urn          = {urn:nbn:de:bsz:291-scidok-67438},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Ardakani17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csicc/Hatefi-Ardakani08,
  author       = {Hassan Hatefi{-}Ardakani and
                  Amir Masoud Gharehbaghi and
                  Shaahin Hessabi},
  editor       = {Hamid Sarbazi{-}Azad and
                  Behrooz Parhami and
                  Seyed Ghassem Miremadi and
                  Shaahin Hessabi},
  title        = {System-Level Assertion-Based Performance Verification for Embedded
                  Systems},
  booktitle    = {Advances in Computer Science and Engineering - 13th International
                  {CSI} Computer Conference, {CSICC} 2008, Kish Island, Iran, March
                  9-11, 2008 Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {6},
  pages        = {243--250},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89985-3\_30},
  doi          = {10.1007/978-3-540-89985-3\_30},
  timestamp    = {Thu, 23 Jun 2022 19:54:33 +0200},
  biburl       = {https://dblp.org/rec/conf/csicc/Hatefi-Ardakani08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/Hatefi-ArdakaniGH08,
  author       = {Hassan Hatefi{-}Ardakani and
                  Amir Masoud Gharehbaghi and
                  Shaahin Hessabi},
  title        = {Timing verification of distributed network systems at higher levels
                  of abstraction},
  booktitle    = {{IEEE} International High Level Design Validation and Test Workshop,
                  {HLDVT} 2008, Incline Village, NV, USA, November 19-21, 2008},
  pages        = {101--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/HLDVT.2008.4695884},
  doi          = {10.1109/HLDVT.2008.4695884},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hldvt/Hatefi-ArdakaniGH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}