Aleksandr Zaks (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Amir Pnueli, Aleksandr Zaks: On the Merits of Temporal Testers. 25 Years of Model Checking 2008: 172-195

2 Amir Pnueli, Aleksandr Zaks: PSL Model Checking and Run-Time Verification Via Testers. FM 2006: 573-586

1 Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck: Monitoring Interfaces for Faults. Electr. Notes Theor. Comput. Sci. 144(4): 73-89 (2006)

Selection of 3 from 4 records - Aleksandr Zaks has 9 coauthors

4		Amir Pnueli, Aleksandr Zaks: On the Merits of Temporal Testers. 25 Years of Model Checking 2008: 172-195
2		Amir Pnueli, Aleksandr Zaks: PSL Model Checking and Run-Time Verification Via Testers. FM 2006: 573-586
1		Amir Pnueli, Aleksandr Zaks, Lenore D. Zuck: Monitoring Interfaces for Faults. Electr. Notes Theor. Comput. Sci. 144(4): 73-89 (2006)