Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/birthday/YantchevP17,
  author       = {Jay Yantchev and
                  Atanas N. Parashkevov},
  editor       = {Thomas Gibson{-}Robinson and
                  Philippa J. Hopcroft and
                  Ranko Lazic},
  title        = {Virtualization Based Development},
  booktitle    = {Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William
                  Roscoe on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {10160},
  pages        = {294--318},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-51046-0\_15},
  doi          = {10.1007/978-3-319-51046-0\_15},
  timestamp    = {Thu, 22 Jul 2021 15:35:06 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/YantchevP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/delta/ChengPL06,
  author       = {Adriel Cheng and
                  Atanas N. Parashkevov and
                  Cheng{-}Chew Lim},
  title        = {Coverage Measurement for Software Application Testing using Partially
                  Ordered Domains and Symbolic Trajectory Evaluation Techniques},
  booktitle    = {Third {IEEE} International Workshop on Electronic Design, Test and
                  Applications {(DELTA} 2006), 17-19 January 2006, Kuala Lumpur, Malaysia},
  pages        = {481--487},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/DELTA.2006.26},
  doi          = {10.1109/DELTA.2006.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/delta/ChengPL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/ChengLP05,
  author       = {Adriel Cheng and
                  Cheng{-}Chew Lim and
                  Atanas N. Parashkevov},
  title        = {A software test program generator for verifying system-on-chips},
  booktitle    = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
                  2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
  pages        = {79--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/HLDVT.2005.1568818},
  doi          = {10.1109/HLDVT.2005.1568818},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/ChengLP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/delta/ChengPL04,
  author       = {Adriel Cheng and
                  Atanas N. Parashkevov and
                  Cheng{-}Chew Lim},
  title        = {Coverage Measurement for Software Application Level Verification using
                  Symbolic Trajectory Evaluation Techniques},
  booktitle    = {2nd {IEEE} International Workshop on Electronic Design, Test and Applications
                  {(DELTA} 2004), 28-30 January 2004, Perth, Australia},
  pages        = {237--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DELTA.2004.10047},
  doi          = {10.1109/DELTA.2004.10047},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/delta/ChengPL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aspdac/McDougallPJZZPA03,
  author       = {Tim McDougall and
                  Atanas N. Parashkevov and
                  Simon Jolly and
                  Juhong Zhu and
                  Jing Zeng and
                  Carol Pyron and
                  Magdy S. Abadir},
  editor       = {Hiroto Yasuura},
  title        = {An automated method for test model generation from switch level circuits},
  booktitle    = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference,
                  {ASP-DAC} '03, Kitakyushu, Japan, January 21-24, 2003},
  pages        = {769--774},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/1119772.1119943},
  doi          = {10.1145/1119772.1119943},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/McDougallPJZZPA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/JollyPM02,
  author       = {Simon Jolly and
                  Atanas N. Parashkevov and
                  Tim McDougall},
  title        = {Automated equivalence checking of switch level circuits},
  booktitle    = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
                  New Orleans, LA, USA, June 10-14, 2002},
  pages        = {299--304},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/513918.513996},
  doi          = {10.1145/513918.513996},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/JollyPM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ParashkevovY97,
  author       = {Atanas N. Parashkevov and
                  Jay Yantchev},
  editor       = {Ed Brinksma},
  title        = {Space Efficient Reachability Analysis Through Use of Pseudo-Root States},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, Third
                  International Workshop, {TACAS} '97, Enschede, The Netherlands, April
                  2-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1217},
  pages        = {50--64},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0035380},
  doi          = {10.1007/BFB0035380},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ParashkevovY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}