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.
11626 Publications
2009 |
Published |
Thesis |
IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.
View
2009 |
Published |
Conference Paper |
IST-REx-ID: 4365
Seghir, Mohamed, et al. “Abstraction Refinement for Quantified Array Assertions.” 16th International Symposium on Static Analysis, vol. 5673, Springer, 2009, pp. 3–18, doi:10.1007/978-3-642-03237-0_3.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4375
Lahiri, Shuvendu, et al. “Intra-Module Inference.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 493–508, doi:10.1007/978-3-642-02658-4_37.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 4376
Lublinerman, Roberto, et al. “Parallel Programming with Object Assemblies.” ACM SIGPLAN Notices, vol. 44, no. 10, ACM, 2009, pp. 61–80, doi:10.1145/1639949.164009.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4377
Hoenicke, Jochen, et al. “It’s Doomed; We Can Prove It.” Second World Congress on Formal Methods, vol. 5850, Springer, 2009, pp. 338–53, doi:10.1007/978-3-642-05089-3_22.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4383 |
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 |
Published |
Conference Paper |
IST-REx-ID: 4385
Dragojevic, Aleksandar, et al. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories.” Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, ACM, 2009, pp. 7–16, doi:10.1145/1582716.1582725.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality.” 21st International Conference on Computer Aided Verification, vol. 5643, Springer, 2009, pp. 173–87, doi:10.1007/978-3-642-02658-4_16.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4403 |
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 |
Published |
Conference Paper |
IST-REx-ID: 4453 |
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.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4535
Didier, Frédéric, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4544 |
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Journal Article |
IST-REx-ID: 21514
Sahli, M., et al. “Quality Assessment of Polymer Replication by Hot Embossing and Micro-Injection Moulding Processes Using Scanning Mechanical Microscopy.” Journal of Materials Processing Technology, vol. 209, no. 18–19, Elsevier, 2009, pp. 5851–61, doi:10.1016/j.jmatprotec.2009.06.011.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 21513
Sahli, Mohamed, et al. “Experimental Analysis and Numerical Modelling of the Forming Process of Polypropylene Replicas of Micro-Cavities Using Hot Embossing.” Microsystem Technologies, vol. 15, no. 6, Springer Nature, 2009, pp. 827–35, doi:10.1007/s00542-009-0813-6.
View
| DOI