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.
212 Publications
2008 | Published | Conference Paper | IST-REx-ID: 4366
Podelski, Andreas, et al. Heap Assumptions on Demand. Vol. 5123, Springer, 2008, pp. 314–27, doi:10.1007/978-3-540-70545-1_31.
View
| DOI
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 4384 | 
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View
| Files available
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4397
Beyer, Dirk, et al. CSIsat: Interpolation for LA+EUF. Springer, 2008, pp. 304–08.
View
2008 | Published | Conference Paper | IST-REx-ID: 4400
Aviv, Adam, et al. Security Evaluation of ES&S Voting Machines and Election Management System. USENIX, 2008, doi:1545.
View
| DOI
| Download (ext.)
2008 | Published | Thesis | IST-REx-ID: 4409 |
Prabhu, Vinayak. Games for the Verification of Timed Systems. University of California, Berkeley, 2008, pp. 1–137.
View
| Download None (ext.)
2008 | Published | Thesis | IST-REx-ID: 4415
Matic, Slobodan. Compositionality in Deterministic Real-Time Embedded Systems. University of California, Berkeley, 2008, pp. 1–148.
View
2008 | Published | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View
| DOI
| Download (ext.)
2008 | Published | 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, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View
| DOI
| Download (ext.)
2008 | Published | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. A Hierarchical Coordination Language for Reliable Real-Time Tasks. University of California, Berkeley, 2008, pp. 1–210.
View
2008 | Published | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View
| DOI
| Download (ext.)
2008 | Published | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
View
| DOI
| Download (ext.)