Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.

Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, Institute of Science and Technology Austria, 2020.

Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, Institute of Science and Technology Austria, 2019.

Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.

Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.

Analysis of dynamic message passing programs
D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.

Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.

Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.

A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.

A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.

Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.

Symbolic algorithms for verification and control
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.

Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.

Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.

Algorithms and Methodology for Scalable Model Checking
S. Qadeer, Algorithms and Methodology for Scalable Model Checking, University of California, Berkeley, 1999.

The Theory of Rectangular Hybrid Automata
P. Kopke, The Theory of Rectangular Hybrid Automata, Cornell University, 1996.

Automatic analysis of hybrid systems
P. Ho, Automatic Analysis of Hybrid Systems, Cornell University, 1995.