BibTeX records: Wisam Kadry

download as .bib file

@article{DBLP:journals/dt/KadryKMNSPPJS17,
  author       = {Wisam Kadry and
                  Dmitry Krestyashyn and
                  Arkadiy Morgenshtein and
                  Amir Nahir and
                  Vitali Sokhin and
                  Jin Sung Park and
                  Sung{-}Boem Park and
                  Wookyeong Jeong and
                  Jae{-}Cheol Son},
  title        = {Test Generation Methods for Utilization Improvement of Hardware-Accelerated
                  Simulation Platforms},
  journal      = {{IEEE} Des. Test},
  volume       = {34},
  number       = {1},
  pages        = {65--76},
  year         = {2017},
  url          = {https://doi.org/10.1109/MDAT.2016.2527998},
  doi          = {10.1109/MDAT.2016.2527998},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dt/KadryKMNSPPJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/KadryKMNSPPJS15,
  author       = {Wisam Kadry and
                  Dmitry Krestyashyn and
                  Arkadiy Morgenshtein and
                  Amir Nahir and
                  Vitali Sokhin and
                  Jin Sung Park and
                  Sung{-}Boem Park and
                  Wookyeong Jeong and
                  Jae{-}Cheol Son},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {Comparative study of test generation methods for simulation accelerators},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {321--324},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2755825},
  timestamp    = {Fri, 16 Jan 2026 12:32:21 +0100},
  biburl       = {https://dblp.org/rec/conf/date/KadryKMNSPPJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/AdirGHHHHKKLMNPSOTTZ14,
  author       = {Allon Adir and
                  Dave Goodman and
                  Daniel Hershcovich and
                  Oz Hershkovitz and
                  Bryan G. Hickerson and
                  Karen Holtz and
                  Wisam Kadry and
                  Anatoly Koyfman and
                  John M. Ludden and
                  Charles Meissner and
                  Amir Nahir and
                  Randall R. Pratt and
                  Mike Schiffli and
                  Brett St. Onge and
                  Brian W. Thompto and
                  Elena Tsanko and
                  Avi Ziv},
  title        = {Verification of Transactional Memory in {POWER8}},
  booktitle    = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
                  Francisco, CA, USA, June 1-5, 2014},
  pages        = {58:1--58:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593069.2593241},
  doi          = {10.1145/2593069.2593241},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/AdirGHHHHKKLMNPSOTTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/date/FriedlerKMNS14,
  author       = {Ophir Friedler and
                  Wisam Kadry and
                  Arkadiy Morgenshtein and
                  Amir Nahir and
                  Vitali Sokhin},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Effective post-silicon failure localization using dynamic program
                  slicing},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.332},
  doi          = {10.7873/DATE.2014.332},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/FriedlerKMNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/RabettiMGKP13,
  author       = {Tali Rabetti and
                  Ronny Morad and
                  Alex Goryachev and
                  Wisam Kadry and
                  Richard D. Peterson},
  editor       = {Valeria Bertacco and
                  Axel Legay},
  title        = {{SLAM:} SLice And Merge - Effective Test Generation for Large Systems},
  booktitle    = {Hardware and Software: Verification and Testing - 9th International
                  Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
                  5-7, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {151--165},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03077-7\_11},
  doi          = {10.1007/978-3-319-03077-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/RabettiMGKP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/KadryKKLNS13,
  author       = {Wisam Kadry and
                  Anatoly Koyfman and
                  Dmitry Krestyashyn and
                  Shimon Landa and
                  Amir Nahir and
                  Vitali Sokhin},
  editor       = {Valeria Bertacco and
                  Axel Legay},
  title        = {Improving Post-silicon Validation Efficiency by Using Pre-generated
                  Data},
  booktitle    = {Hardware and Software: Verification and Testing - 9th International
                  Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
                  5-7, 2013, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {166--181},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03077-7\_12},
  doi          = {10.1007/978-3-319-03077-7\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/KadryKKLNS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/KadryMGAK11,
  author       = {Wisam Kadry and
                  Ronny Morad and
                  Alex Goryachev and
                  Eli Almog and
                  Christopher A. Krygowski},
  editor       = {Leon Stok and
                  Nikil D. Dutt and
                  Soha Hassoun},
  title        = {Facing the challenge of new design features: an effective verification
                  approach},
  booktitle    = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
                  San Diego, California, USA, June 5-10, 2011},
  pages        = {842--847},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2024724.2024913},
  doi          = {10.1145/2024724.2024913},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/KadryMGAK11.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.