Amir Pnueli
Affiliations: | Weizmann Institute of Science, Rehovot, Israel |
Area:
Mathematics, Computer ScienceGoogle:
"Amir Pnueli"Parents
Sign in to add mentor| Chaim Leib Pekeris | grad student | 1967 | Weizmann Institute (Physics Tree) |
Children
Sign in to add trainee| Shmuel Safra | grad student | 1990 | Weizmann Institute |
| Hillel Kugler | grad student | 2004 | Weizmann Institute |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Ferrère T, Maler O, Ničković D, et al. (2019) From Real-time Logic to Timed Automata Journal of the Acm. 66: 1-31 |
| Kupferman O, Pnueli A, Vardi MY. (2012) Once and for all Journal of Computer and System Sciences. 78: 981-996 |
| Balaban I, Pnueli A, Sa'Ar Y, et al. (2012) Verification of multi-linked heaps Journal of Computer and System Sciences. 78: 853-876 |
| Asarin E, Mysore VP, Pnueli A, et al. (2012) Low dimensional hybrid systems - Decidable, undecidable, dont know Information and Computation. 211: 138-159 |
| Balaban I, Pnueli A, Zuck LD. (2010) Proving the refuted: Symbolic model checkers as proof generators Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5930: 221-236 |
| Pnueli A, Klein U. (2009) Synthesis of programs from temporal property specifications 2009 7th Ieee-Acm International Conference On Formal Methods and Models For Co-Design, Memocode '09. 1-7 |
| Kugler H, Plock C, Pnueli A. (2009) Controller synthesis from LSC requirements Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5503: 79-93 |
| Kam N, Kugler H, Marelly R, et al. (2008) A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification. Developmental Biology. 323: 1-5 |
| Gabbay DM, Pnueli A. (2008) A sound and complete deductive system for CTL* verification* Logic Journal of the Igpl. 16: 499-536 |
| Kugler H, Plock C, Pnueli A. (2007) Synthesizing reactive systems from LSC requirements using the play-engine Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 801-802 |