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.
8923 Publications
2008 |
Published |
Conference Paper |
IST-REx-ID: 4384 |
R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking transactional memories,” presented at the PLDI: Programming Languages Design and Implementation, 2008, pp. 372–382.
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4386
R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4387
R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4397
D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4400
A. Aviv et al., “Security Evaluation of ES&S Voting Machines and Election Management System,” presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, 2008.
View
| DOI
| Download (ext.)
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4409 |
V. Prabhu, “Games for the verification of timed systems,” University of California, Berkeley, 2008.
View
| Download None (ext.)
2008 |
Published |
Thesis | PhD |
IST-REx-ID: 4415
S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4452
T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4509
T. A. Henzinger, “Two challenges in embedded systems design: Predictability and robustness,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881. Royal Society of London, pp. 3727–3736, 2008.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4521
A. Gupta, T. A. Henzinger, R. Majumdar, A. Rybalchenko, and R. Xu, “Proving non-termination,” presented at the POPL: Principles of Programming Languages, 2008, pp. 147–158.
View
| DOI
| Download (ext.)
2008 |
Published |
Thesis |
IST-REx-ID: 4524
A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
View
2008 |
Published |
Conference Paper |
IST-REx-ID: 4527
J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4532
L. Doyen, T. A. Henzinger, and J. Raskin, “Equivalence of labeled Markov chains,” International Journal of Foundations of Computer Science, vol. 19, no. 3. World Scientific Publishing, pp. 549–563, 2008.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4533
L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4534
K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
View
| DOI
| Download (ext.)
2008 |
Published |
Conference Paper |
IST-REx-ID: 4546
K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
View
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 4548
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
View
| DOI
| Download (ext.)
2007 |
Published |
Journal Article |
IST-REx-ID: 2451
J. Friml, “Auxin - Universal development signal in plant life,” Živa, vol. 1. CSAV, 2007.
View
2007 |
Published |
Journal Article |
IST-REx-ID: 2495
E. Kuramoto et al., “Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum,” Journal of Comparative Neurology, vol. 500, no. 5. Wiley-Blackwell, pp. 908–922, 2007.
View
| DOI