Search dblp for Publications

export results for "Atanas N. Parashkevov"

 download as .bib file

@inproceedings{DBLP:conf/birthday/YantchevP17,
  author       = {Jay Yantchev and
                  Atanas N. Parashkevov},
  title        = {Virtualization Based Development},
  booktitle    = {Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William
                  Roscoe on the Occasion of His 60th Birthday},
  pages        = {294--318},
  year         = {2017},
  crossref     = {DBLP:conf/birthday/2017roscoe},
  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},
  year         = {2006},
  crossref     = {DBLP:conf/delta/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},
  year         = {2005},
  crossref     = {DBLP:conf/hldvt/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},
  year         = {2004},
  crossref     = {DBLP:conf/delta/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},
  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},
  year         = {2003},
  crossref     = {DBLP:conf/aspdac/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},
  year         = {2002},
  crossref     = {DBLP:conf/dac/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},
  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},
  pages        = {50--64},
  year         = {1997},
  crossref     = {DBLP:conf/tacas/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}
}

@proceedings{DBLP:conf/birthday/2017roscoe,
  editor       = {Thomas Gibson{-}Robinson and
                  Philippa J. Hopcroft and
                  Ranko Lazic},
  title        = {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},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-51046-0},
  doi          = {10.1007/978-3-319-51046-0},
  isbn         = {978-3-319-51045-3},
  timestamp    = {Sat, 09 Nov 2024 04:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/2017roscoe.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/delta/2006,
  title        = {Third {IEEE} International Workshop on Electronic Design, Test and
                  Applications {(DELTA} 2006), 17-19 January 2006, Kuala Lumpur, Malaysia},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/10553/proceeding},
  isbn         = {0-7695-2500-8},
  timestamp    = {Sat, 09 Nov 2024 04:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/delta/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/hldvt/2005,
  title        = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
                  2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/10490/proceeding},
  isbn         = {0-7803-9571-9},
  timestamp    = {Sat, 09 Nov 2024 04:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/delta/2004,
  title        = {2nd {IEEE} International Workshop on Electronic Design, Test and Applications
                  {(DELTA} 2004), 28-30 January 2004, Perth, Australia},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/9676/proceeding},
  isbn         = {0-7695-2081-2},
  timestamp    = {Sat, 09 Nov 2024 04:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/delta/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aspdac/2003,
  editor       = {Hiroto Yasuura},
  title        = {Proceedings of the 2003 Asia and South Pacific Design Automation Conference,
                  {ASP-DAC} '03, Kitakyushu, Japan, January 21-24, 2003},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/1119772},
  doi          = {10.1145/1119772},
  isbn         = {0-7803-7660-9},
  timestamp    = {Sat, 09 Nov 2024 04:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dac/2002,
  title        = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
                  New Orleans, LA, USA, June 10-14, 2002},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {http://dl.acm.org/citation.cfm?id=513918},
  isbn         = {1-58113-461-4},
  timestamp    = {Sat, 09 Nov 2024 04:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tacas/1997,
  editor       = {Ed Brinksma},
  title        = {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},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0035375},
  doi          = {10.1007/BFB0035375},
  isbn         = {3-540-62790-1},
  timestamp    = {Sat, 09 Nov 2024 04:23:04 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/1997.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.