Aleksandr Zaks

According to our database, Aleksandr Zaks authored at least 6 papers between 2005 and 2020.

Collaborative distances:

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

2020

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, Mitchell Trott, Noé Lutz, Pavel A. Dournov, Robert Crowe, Sarah Sirajuddin, Tris Brian Warkentin, Zhitao Li

CoRR, 2020

2008

Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.

Aleksandr Zaks, Zijiang Yang, Ilya Shlyakhter, Franjo Ivancic, Srihari Cadambi, Malay K. Ganai, Aarti Gupta, Pranav Ashar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

On the Merits of Temporal Testers.

Amir Pnueli, Aleksandr Zaks

Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

2007

Formal Verification Using Static and Dynamic Analyses.

Aleksandr Zaks

PhD thesis, 2007

2006

PSL Model Checking and Run-Time Verification Via Testers.

Amir Pnueli, Aleksandr Zaks

Proceedings of the FM 2006: Formal Methods, 2006

2005

Monitoring Interfaces for Faults.

Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck

Proceedings of the Fifth Workshop on Runtime Verification, 2005