default search action

combined dblp search
author search
venue search
publication search

ask others

Atanas N. Parashkevov

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/YantchevP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/YantchevP17
Jay Yantchev, Atanas N. Parashkevov:
Virtualization Based Development. Concurrency, Security, and Puzzles 2017: 294-318
2006
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/delta/ChengPL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delta/ChengPL06
Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim:
Coverage Measurement for Software Application Testing using Partially Ordered Domains and Symbolic Trajectory Evaluation Techniques. DELTA 2006: 481-487
2005
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/ChengLP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/ChengLP05
Adriel Cheng, Cheng-Chew Lim, Atanas N. Parashkevov:
A software test program generator for verifying system-on-chips. HLDVT 2005: 79-86
2004
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/delta/ChengPL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delta/ChengPL04
Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim:
Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques. DELTA 2004: 237-244
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/McDougallPJZZPA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/McDougallPJZZPA03
Tim McDougall, Atanas N. Parashkevov, Simon Jolly, Juhong Zhu, Jing Zeng, Carol Pyron, Magdy S. Abadir:
An automated method for test model generation from switch level circuits. ASP-DAC 2003: 769-774
2002
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/JollyPM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/JollyPM02
Simon Jolly, Atanas N. Parashkevov, Tim McDougall:
Automated equivalence checking of switch level circuits . DAC 2002: 299-304
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ParashkevovY97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ParashkevovY97
Atanas N. Parashkevov, Jay Yantchev:
Space Efficient Reachability Analysis Through Use of Pseudo-Root States. TACAS 1997: 50-64

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.