# Zohar Manna

## Affiliations: | Stanford University, Palo Alto, CA |

##### Area:

Computer Science, Mathematics, Philosophy##### Google:

"Zohar Manna"#### Children

Sign in to add traineeRajeev 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

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. |

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 |