Zohar Manna

Affiliations: 
Stanford University, Palo Alto, CA 
Area:
Computer Science, Mathematics, Philosophy
Google:
"Zohar Manna"

Parents

Sign in to add mentor
Robert W Floyd grad student (Computer Science Tree)

Children

Sign in to add trainee
Rajeev Alur grad student (Computer Science Tree)
Adi Shamir grad student (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

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.

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
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
Sánchez C, Sipma HB, Manna Z. (2007) Generating efficient distributed deadlock avoidance controllers Proceedings - 21st International Parallel and Distributed Processing Symposium, Ipdps 2007; Abstracts and Cd-Rom
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
Sánchez C, Sipma HB, Manna Z. (2007) A family of distributed deadlock avoidance protocols and their reachable state spaces Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4422: 155-169
Manna Z, Sipma HB, Zhang T. (2007) Verifying balanced trees Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4514: 363-378
See more...