2008 |
4 | EE | Amir Pnueli,
Aleksandr Zaks:
On the Merits of Temporal Testers.
25 Years of Model Checking 2008: 172-195 |
3 | EE | Aleksandr Zaks,
Zijiang Yang,
Ilya Shlyakhter,
Franjo Ivancic,
Srihari Cadambi,
Malay K. Ganai,
Aarti Gupta,
Pranav Ashar:
Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(8): 1513-1517 (2008) |
2006 |
2 | EE | Amir Pnueli,
Aleksandr Zaks:
PSL Model Checking and Run-Time Verification Via Testers.
FM 2006: 573-586 |
1 | EE | Amir Pnueli,
Aleksandr Zaks,
Lenore D. Zuck:
Monitoring Interfaces for Faults.
Electr. Notes Theor. Comput. Sci. 144(4): 73-89 (2006) |