Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




339 Publications

2010 | Journal Article | IST-REx-ID: 3863 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3864 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2010. Measuring and synthesizing systems in probabilistic environments. CAV: Computer Aided Verification, LNCS, vol. 6174, 380–395.
View | Files available | DOI | Download Preprint (ext.)
 
2010 | Conference Paper | IST-REx-ID: 3866 | OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174, 410–424.
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies T, Zufferey D, Henzinger TA. 2010. Forward analysis of depth-bounded processes. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 6014, 94–108.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4362
Singh V. 2010. Runtime verification for software transactional memories. RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic D, Piterman N. 2010. From MTL to deterministic timed automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6246, 152–167.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
View | DOI | Download Submitted Version (ext.)
 
2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. A marketplace for cloud resources. EMSOFT: Embedded Software , 1–8.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger TA, Tomar A, Singh V, Wies T, Zufferey D. 2010. FlexPRICE: Flexible provisioning of resources in a cloud environment. CLOUD: Cloud Computing, 83–90.
View | Files available | DOI
 

Search

Filter Publications