Monitoring Interfaces for Faults. - Amir Pnueli; Aleksandr Zaks; Lenore D. Zuck (RV@CAV, 2005)

PSL Model Checking and Run-Time Verification Via Testers. - Amir Pnueli; Aleksandr Zaks (FM, 2006)

Formal Verification Using Static and Dynamic Analyses. - Aleksandr Zaks (2007)

On the Merits of Temporal Testers. - Amir Pnueli; Aleksandr Zaks (25 Years of Model Checking, 2008)

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking. - Aleksandr Zaks; Zijiang Yang 006; Ilya Shlyakhter; Franjo Ivancic; Srihari Cadambi; Malay K. Ganai; Aarti Gupta; Pranav Ashar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Towards ML Engineering: A Brief History Of TensorFlow Extended (TFX). - Konstantinos Katsiapis; Abhijit Karmarkar; Ahmet Altay; Aleksandr Zaks; Neoklis Polyzotis; Anusha Ramesh; Ben Mathes; Gautam Vasudevan; Irene Giannoumis; Jarek Wilkiewicz; Jiri Simsa; Justin Hong; et al. (CoRR, 2020)