Zohar Manna's Ph.D. Students:
-
Jean-Marie Cadiou (1972):
Recursive Definitions of Partial Functions and their
Computations.
-
Ashok Chandra (1973):
On the Properties and Applications of Program Schemas.
-
Jean Vuillemin (1973):
Proof Techniques for Recursive Programs.
-
Shmuel Katz (1976):
Invariants and the Logical Analysis of Programs.
-
Adi Shamir (1977):
Fixedpoints of Recursive Programs.
-
Nachum Dershowitz (1978):
Automatic Program Modification.
-
William Scherlis (1980):
Expression Procedures and Program Derivation.
-
Pierre Wolper (1982):
Synthesis of Communicating Processes from Temporal Logic Specifications.
-
Ben Moszkowski (1983): Reasoning about Digital Circuits.
-
Yoni Malachi (1985): Nonclausal Logic Programming.
-
Martin Abadi (1986): Temporal Theorem Proving.
-
Marianne Baudinet (1988): Logic Programming Semantics: Techniques and
Applications.
-
Rajeev Alur (1991): Techniques for Automatic Verification of Real-Time Systems.
-
Tom Henzinger (1991): The Temporal Specification and Verification of
Real-Time Systems.
-
Eddie Chang (1994): Compositional Verification of Reactive and Real-Time
Systems.
-
Hugh McGuire (1995): Two Methods for Checking Formulas of Temporal Logic.
-
Anuchit Anuchitanukul (1995): Synthesis of Reactive Programs.
-
Arjun Kapur (1997): Interval and Point-Based Approaches to Hybrid System
Verification.
-
Luca de Alfaro (1997): Formal Verification of Probabilistic Systems.
-
Nikolaj S. Bjřrner (1998):
Integrating Decision Procedures for Temporal Verification.
-
Tomás E. Uribe (1998): Abstraction-Based Deductive-Algorithmic Verification
of Reactive Systems.
-
Henny B. Sipma (1999): Diagram-Based Verification of Discrete, Real-Time
and Hybrid Systems.
-
Bernd E. Finkbeiner (2002): Verification Algorithms Based on Alternating Automata.
Back to
Zohar Manna's home page.
The Stanford home page.
The Computer Science Department home page.
The Theory Division home page.