Aleksandr Zaks
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Software Reliability and Analysis Research, Cloud Computing and Resource Management
Most-Cited Works
- → PSL Model Checking and Run-Time Verification Via Testers(2006)157 cited
- → On the Merits of Temporal Testers(2008)52 cited
- → Monitoring Interfaces for Faults(2006)16 cited
- → Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking(2008)12 cited
- → Towards ML Engineering: A Brief History Of TensorFlow Extended (TFX)(2020)6 cited
- Formal verification using static and dynamic analyses(2007)