Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9114 Publications
2008 | Thesis | IST-REx-ID: 4409 | 
Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.
View
| Download None (ext.)
2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.
View
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,” 5330:333–42. Springer, 2008. https://doi.org/10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008. https://doi.org/10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.
View