Zohar Manna
Affiliations: | Stanford University, Palo Alto, CA |
Area:
Computer Science, Mathematics, PhilosophyGoogle:
"Zohar Manna"Parents
Sign in to add mentor| Robert W Floyd | grad student | 1968 | Carnegie Mellon (Computer Science Tree) | |
| (Termination of Algorithms) | ||||
| Alan Jay Perlis | grad student | 1968 | Carnegie Mellon (Physics Tree) | |
Children
Sign in to add trainee| Adi Shamir | grad student | (Computer Science Tree) | |
| Pierre Wolper | grad student | (Computer Science Tree) | |
| Jean Vuillemin | grad student | 1973 | Stanford (Robotree) |
| Rajeev Alur | grad student | 1991 | Stanford (Computer Science Tree) |
| Michael A. Colon | grad student | 2003 | Stanford |
| Bernd E. Finkbeiner | grad student | 2003 | Stanford |
| Calogero G. Zarba | grad student | 2004 | Stanford |
| Sriram Sankaranarayanan | grad student | 2005 | Stanford |
| Aaron R. Bradley | grad student | 2007 | Stanford |
| Cesar Sanchez | grad student | 2007 | Stanford |
| Matteo Slanina | grad student | 2007 | Stanford |
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. |
| Sankaranarayanan S, Sipma HB, Manna Z. (2008) Constructing invariants for hybrid systems Formal Methods in System Design. 32: 25-55 |
| Bradley AR, Manna Z. (2008) Property-directed incremental invariant generation Formal Aspects of Computing. 20: 379-405 |
| Slanina M, Sipma HB, Manna Z. (2008) Deductive verification of alternating systems Formal Aspects of Computing. 20: 507-560 |
| Sánchez C, Slanina M, Sipma HB, et al. (2008) The reaction algebra: A formal language for event correlation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4800: 596-619 |
| Bradley AR, Manna Z. (2007) Checking safety by inductive generalization of counterexamples to induction Proceedings - Formal Methods in Computer Aided Design, Fmcad 2007. 173-180 |
| Bradley AR, Manna Z. (2007) The calculus of computation: Decision procedures with applications to verification The Calculus of Computation: Decision Procedures With Applications to Verification. 1-366 |
| Zhang T, Sipma HB, Manna Z. (2006) Decision procedures for term algebras with integer constraints Information and Computation. 204: 1526-1574 |
| Sankaranarayanan S, Sipma HB, Manna Z. (2006) Fixed point iteration for computing the time elapse operator Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 537-551 |
| Sankaranarayanan S, Colon MA, Sipma H, et al. (2006) Efficient strongly relational polyhedral analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3855: 111-125 |
| Bradley AR, Manna Z. (2006) Verification constraint problems with strengthening Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4281: 35-49 |