Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4424

Majumdar, R. (2003). Symbolic algorithms for verification and control. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Horowitz, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4425

Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4414

Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4411

Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.
LibreCat: https://research-explorer.ista.ac.at/record/4419

Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.
LibreCat: https://research-explorer.ista.ac.at/record/4428