Atanas N. Parashkevov

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 1

Top Topics

Operating System

Decision Support

Development Environment

Search Algorithm

Top Venues

Concurrency, Security, and Puzzles

Publications

Jay Yantchev, Atanas N. Parashkevov
Virtualization Based Development. Concurrency, Security, and Puzzles (2017)
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)
Adriel Cheng, Cheng-Chew Lim, Atanas N. Parashkevov
A software test program generator for verifying system-on-chips. HLDVT (2005)
Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim
Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques. DELTA (2004)
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)
Simon Jolly, Atanas N. Parashkevov, Tim McDougall
Automated equivalence checking of switch level circuits . DAC (2002)
Atanas N. Parashkevov, Jay Yantchev
Space Efficient Reachability Analysis Through Use of Pseudo-Root States. TACAS (1997)