Benefits of Bounded Model Checking at an Industrial Setting. - Fady Copty; Limor Fix; Ranan Fraer; Enrico Giunchiglia; Gila Kamhi; Armando Tacchella; Moshe Y. Vardi (CAV, 2001)

Efficient debugging in a formal verification environment. - Fady Copty; Amitai Irron; Osnat Weissberg; Nathan P. Kropp; Gila Kamhi (Int. J. Softw. Tools Technol. Transf., 2003)

Test sequence generation and model checking using dynamic transition relations. - Sérgio Vale Aguiar Campos; Orna Grumberg; Karen Yorav; Fady Copty (Int. J. Softw. Tools Technol. Transf., 2004)

Formal verification of arbiters using property strengthening and underapproximations. - Gadiel Auerbach; Fady Copty; Viresh Paruthi (FMCAD, 2010)

Vacuity in practice: temporal antecedent failure. - Shoham Ben-David; Fady Copty; Dana Fisman; Sitvanit Ruah (Formal Methods Syst. Des., 2015)

Solutions to IBM POWER8 verification challenges. - Klaus-Dieter Schubert; John M. Ludden; Salma Ayub; J. Behrend; Bishop Brock; Fady Copty; S. M. German; Oz Hershkovitz; H. Horbach; Jonathan R. Jackson; K. Keuerleber; J. Koesters; et al. (IBM J. Res. Dev., 2015)

Accurate Malware Detection by Extreme Abstraction. - Fady Copty; Matan Danos; Orit Edelstein; Cindy Eisner; Dov Murik; Benjamin Zeltser (ACSAC, 2018)

Deep Ahead-of-Threat Virtual Patching. - Fady Copty; Andre Kassis; Sharon Keidar-Barner; Dov Murik (IOSec@RAID, 2018)

Shakedown: compiler-based moving target protection for Return Oriented Programing attacks on an industrial IoT device. - Fady Copty; Francisco Hernandez; Dov Murik; Olmo Rayón (CoRR, 2018)

SMESEC: A Cybersecurity Framework to Protect, Enhance and Educate SMEs. - José Francisco Ruiz; Fady Copty; Christos Tselios (ERCIM News, 2018)

Integration of an online voting solution with the SMESEC security framework. - Jordi Cucurull; Christos Tselios; Carolina Rueda; Noemi Folch; Fady Copty; Reda Igbaria; Manos Athanatos; Antonios Krithinakis; Sotiris Ioannidis; José Francisco Ruiz; Pablo Barrientos (SysCon, 2020)