BibTeX records: Zaid Al-bayati

download as .bib file

@article{DBLP:journals/tecs/Al-bayatiSZNZM19,
  author       = {Zaid Al{-}bayati and
                  Youcheng Sun and
                  Haibo Zeng and
                  Marco Di Natale and
                  Qi Zhu and
                  Brett H. Meyer},
  title        = {Partitioning and Selection of Data Consistency Mechanisms for Multicore
                  Real-Time Systems},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {18},
  number       = {4},
  pages        = {35:1--35:28},
  year         = {2019},
  url          = {https://doi.org/10.1145/3320271},
  doi          = {10.1145/3320271},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/Al-bayatiSZNZM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/CaplanAZM18,
  author       = {Jonah Caplan and
                  Zaid Al{-}bayati and
                  Haibo Zeng and
                  Brett H. Meyer},
  title        = {Mapping and Scheduling Mixed-Criticality Systems with On-Demand Redundancy},
  journal      = {{IEEE} Trans. Computers},
  volume       = {67},
  number       = {4},
  pages        = {582--588},
  year         = {2018},
  url          = {https://doi.org/10.1109/TC.2017.2762293},
  doi          = {10.1109/TC.2017.2762293},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/CaplanAZM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/ZhaoAGZ17,
  author       = {Qingling Zhao and
                  Zaid Al{-}bayati and
                  Zonghua Gu and
                  Haibo Zeng},
  title        = {Optimized Implementation of Multirate Mixed-Criticality Synchronous
                  Reactive Models},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {22},
  number       = {2},
  pages        = {23:1--23:25},
  year         = {2017},
  url          = {https://doi.org/10.1145/2968445},
  doi          = {10.1145/2968445},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/todaes/ZhaoAGZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Al-bayatiCMZ16,
  author       = {Zaid Al{-}bayati and
                  Jonah Caplan and
                  Brett H. Meyer and
                  Haibo Zeng},
  editor       = {Luca Fanucci and
                  J{\"{u}}rgen Teich},
  title        = {A four-mode model for efficient fault-tolerant mixed-criticality systems},
  booktitle    = {2016 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
  pages        = {97--102},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/document/7459287/},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/Al-bayatiCMZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/Al-bayatiMZ16,
  author       = {Zaid Al{-}bayati and
                  Brett H. Meyer and
                  Haibo Zeng},
  title        = {Fault-tolerant scheduling of multicore mixed-criticality systems under
                  permanent failures},
  booktitle    = {2016 {IEEE} International Symposium on Defect and Fault Tolerance
                  in {VLSI} and Nanotechnology Systems, {DFT} 2016, Storrs, CT, USA,
                  September 19-20, 2016},
  pages        = {57--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/DFT.2016.7684070},
  doi          = {10.1109/DFT.2016.7684070},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dft/Al-bayatiMZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/Al-bayatiZYZG15,
  author       = {Zaid Al{-}bayati and
                  Qingling Zhao and
                  Ahmed Youssef and
                  Haibo Zeng and
                  Zonghua Gu},
  title        = {Enhanced partitioned scheduling of Mixed-Criticality Systems on multicore
                  platforms},
  booktitle    = {The 20th Asia and South Pacific Design Automation Conference, {ASP-DAC}
                  2015, Chiba, Japan, January 19-22, 2015},
  pages        = {630--635},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASPDAC.2015.7059079},
  doi          = {10.1109/ASPDAC.2015.7059079},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/Al-bayatiZYZG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/Al-bayatiSZNZM15,
  author       = {Zaid Al{-}bayati and
                  Youcheng Sun and
                  Haibo Zeng and
                  Marco Di Natale and
                  Qi Zhu and
                  Brett H. Meyer},
  title        = {Task placement and selection of data consistency mechanisms for real-time
                  multicore applications},
  booktitle    = {21st {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  Seattle, WA, USA, April 13-16, 2015},
  pages        = {172--181},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/RTAS.2015.7108440},
  doi          = {10.1109/RTAS.2015.7108440},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtas/Al-bayatiSZNZM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/Al-bayatiZNG13,
  author       = {Zaid Al{-}bayati and
                  Haibo Zeng and
                  Marco Di Natale and
                  Zonghua Gu},
  title        = {Multitask implementation of synchronous reactive models with Earliest
                  Deadline First scheduling},
  booktitle    = {8th {IEEE} International Symposium on Industrial Embedded Systems,
                  {SIES} 2013, Porto, Portugal, June 19-21, 2013},
  pages        = {168--177},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/SIES.2013.6601489},
  doi          = {10.1109/SIES.2013.6601489},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sies/Al-bayatiZNG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcta/AbedMAA12,
  author       = {Sa'ed Abed and
                  Bassam Jamil Mohd and
                  Zaid Al{-}bayati and
                  Sahel Alouneh},
  title        = {Low power Wallace multiplier design based on wide counters},
  journal      = {Int. J. Circuit Theory Appl.},
  volume       = {40},
  number       = {11},
  pages        = {1175--1185},
  year         = {2012},
  url          = {https://doi.org/10.1002/cta.779},
  doi          = {10.1002/CTA.779},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcta/AbedMAA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/Al-bayatiMHS12,
  author       = {Zaid Al{-}bayati and
                  Otmane A{\"{\i}}t Mohamed and
                  Syed Rafay Hasan and
                  Yvon Savaria},
  editor       = {Erik Brunvard and
                  Ken Stevens and
                  Joseph R. Cavallaro and
                  Tong Zhang},
  title        = {A novel hybrid {FIFO} asynchronous clock domain crossing interfacing
                  method},
  booktitle    = {Great Lakes Symposium on {VLSI} 2012, GLSVLSI'12, Salt Lake City,
                  UT, USA, May 3-4, 2012},
  pages        = {271--274},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2206781.2206847},
  doi          = {10.1145/2206781.2206847},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/Al-bayatiMHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/newcas/Al-bayatiMSB12,
  author       = {Zaid Al{-}bayati and
                  Otmane A{\"{\i}}t Mohamed and
                  Yvon Savaria and
                  Mounir Boukadoum},
  title        = {Probabilistic model checking of clock domain crossing interfaces},
  booktitle    = {10th {IEEE} International {NEWCAS} Conference, Montreal, QC, Canada,
                  June 17-20, 2012},
  pages        = {193--196},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/NEWCAS.2012.6328989},
  doi          = {10.1109/NEWCAS.2012.6328989},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/newcas/Al-bayatiMSB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}