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.

232 Publications


2009 | Conference Paper | IST-REx-ID: 4360
Wies, Thomas, et al. Combining Theories with Shared Set Operations. Springer, 2009, pp. 366–82, doi:1558.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
 

2009 | Conference Paper | IST-REx-ID: 4375
Lahiri, Shuvendu, et al. Intra-Module Inference. Springer, 2009, pp. 493–508, doi:1555.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4377
Hoenicke, Jochen, et al. It’s Doomed; We Can Prove It. Springer, 2009, pp. 338–53, doi:1557.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4385
Dragojevic, Aleksandar, et al. Preventing versus Curing: Avoiding Conflicts in Transactional Memories. ACM, 2009, pp. 7–16, doi:1533.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4376
Lublinerman, Roberto, et al. Parallel Programming with Object Assemblies. ACM, 2009, pp. 61–80, doi:1546.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. Automated Analysis of Java Methods for Confidentiality. Springer, 2009, pp. 173–87, doi:1548.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View | Files available | DOI | Download (ext.)
 

Filters and Search Terms

year=2009

Search

Filter Publications