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

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

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

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

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

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

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

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

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

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

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