| The glory of the past O Lichtenstein, A Pnueli, L Zuck Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings, 196-218, 1985 | 695 | 1985 |
| Session 3D-Security Algorithms and Systems II-CBTM: A Trust Model with Uncertainty Quantification and Reasoning for Pervasive Computing R He, J Niu, G Zhang Lecture Notes in Computer Science 3758, 541-552, 2005 | 332* | 2005 |
| Automatic deductive verification with invisible invariants A Pnueli, S Ruah, L Zuck International Conference on Tools and Algorithms for the Construction and …, 2001 | 310 | 2001 |
| Liveness with (0, 1,∞)-counter abstraction A Pnueli, J Xu, L Zuck Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 273 | 2002 |
| A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols JY Halpern, LD Zuck Journal of the ACM (JACM) 39 (3), 449-478, 1992 | 257 | 1992 |
| Parameterized verification with automatically computed inductive assertions? T Arons, A Pnueli, S Ruah, Y Xu, L Zuck Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 233 | 2001 |
| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 215* | 2006 |
| Verification of multiprocess probabilistic protocols A Pnueli, L Zuck Proceedings of the third annual ACM symposium on Principles of distributed …, 1984 | 180 | 1984 |
| Bauhaus linda N Carriero, D Gelernter, L Zuck Object-Based Models and Languages for Concurrent Systems: ECOOP'94 Workshop …, 1995 | 146 | 1995 |
| Probabilistic verification A Pnueli, LD Zuck Information and computation 103 (1), 1-29, 1993 | 137 | 1993 |
| Shape analysis by predicate abstraction I Balaban, A Pnueli, LD Zuck Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 125 | 2005 |
| Reliable communication over unreliable channels Y Afek, H Attiya, A Fekete, M Fischer, N Lynch, Y Mansour, DW Wang, ... Journal of the ACM (JACM) 41 (6), 1267-1297, 1994 | 119 | 1994 |
| Jtlv: A Framework for Developing Verification Algorithms A Pnueli, Y Sa’ar, LD Zuck International Conference on Computer Aided Verification, 171-174, 2010 | 108 | 2010 |
| VOC: A Methodology for the Translation Validation of OptimizingCompilers. LD Zuck, A Pnueli, B Goldberg J. Univers. Comput. Sci. 9 (3), 223-247, 2003 | 105 | 2003 |
| TVOC: A translation validator for optimizing compilers C Barrett, Y Fang, B Goldberg, Y Hu, A Pnueli, L Zuck Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 96 | 2005 |
| Model checking and abstraction to the aid of parameterized systems (a survey) L Zuck, A Pnueli Computer Languages, Systems & Structures 30 (3-4), 139-169, 2004 | 85 | 2004 |
| Network Invariants in Action* Y Kesten, A Pnueli, E Shahar, L Zuck International Conference on Concurrency Theory, 101-115, 2002 | 78 | 2002 |
| Translation and run-time validation of loop transformations L Zuck, A Pnueli, B Goldberg, C Barrett, Y Fang, Y Hu Formal Methods in System Design 27, 335-360, 2005 | 77 | 2005 |
| VOC: A translation validator for optimizing compilers L Zuck, A Pnueli, Y Fang, B Goldberg Electronic notes in theoretical computer science 65 (2), 2-18, 2002 | 73 | 2002 |
| The faithfulness of abstract protocol analysis: Message authentication JD Guttman, FJ Thayer, LD Zuck Proceedings of the 8th ACM Conference on Computer and Communications …, 2001 | 73 | 2001 |
