Amir Pnueli

Affiliations: 
Weizmann Institute of Science, Rehovot, Israel 
Area:
Mathematics, Computer Science
Google:
"Amir Pnueli"
BETA: Related publications

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.

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
Klein U, Piterman N, Pnueli A. (2012) Effective synthesis of asynchronous systems from GR(1) specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7148: 283-298
Klein U, Pnueli A. (2011) Revisiting synthesis of GR(1) specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6504: 161-181
Pnueli A, Sa'ar Y, Zuck LD. (2010) Jtlv: A framework for developing verification algorithms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 171-174
Damm W, Dierks H, Oehlerking J, et al. (2010) Towards component based design of hybrid systems: Safety and stability Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6200: 96-143
Manna Z, Pnueli A. (2010) Temporal verification of reactive systems: Response Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6200: 279-361
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
See more...