Atanas N. Parashkevov

According to our database, Atanas N. Parashkevov authored at least 7 papers between 1997 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Virtualization Based Development.

Jay Yantchev, Atanas N. Parashkevov

Proceedings of the Concurrency, Security, and Puzzles, 2017

2006

Coverage Measurement for Software Application Testing using Partially Ordered Domains and Symbolic Trajectory Evaluation Techniques.

Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim

Proceedings of the Third IEEE International Workshop on Electronic Design, 2006

2005

A software test program generator for verifying system-on-chips.

Adriel Cheng, Cheng-Chew Lim, Atanas N. Parashkevov

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

2004

Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques.

Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim

Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

2003

An automated method for test model generation from switch level circuits.

Tim McDougall, Atanas N. Parashkevov, Simon Jolly, Juhong Zhu, Jing Zeng, Carol Pyron, Magdy S. Abadir

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002

Automated equivalence checking of switch level circuits .

Simon Jolly, Atanas N. Parashkevov, Tim McDougall

Proceedings of the 39th Design Automation Conference, 2002

1997

Space Efficient Reachability Analysis Through Use of Pseudo-Root States.

Atanas N. Parashkevov, Jay Yantchev

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997