Yuriy Viktorov

According to our database, Yuriy Viktorov authored at least 3 papers between 2011 and 2023.

Collaborative distances:

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

2023

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.

Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2020

UEFI Firmware Fuzzing with Simics Virtual Platform.

Zhenkun Yang, Yuriy Viktorov, Jin Yang, Jiewen Yao, Vincent Zimmer

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2011

Challenges in Verifying Communication Fabrics.

Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011