M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” Institute of Science and Technology Austria, 2020.
LibreCat: https://research-explorer.ista.ac.at/record/8332
DOI: 10.15479/AT:ISTA:8332

M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6894
DOI: 10.15479/AT:ISTA:6894

P. Daca, “Statistical and logical methods for property checking,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/1155
DOI: 10.15479/AT:ISTA:TH_730

T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

V. Prabhu, “Games for the verification of timed systems,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4409

S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4415

A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4524

A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4566

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

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

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

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

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

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

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