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.




285 Publications

2015 | Conference Paper | IST-REx-ID: 1541
XSpeed: Accelerating reachability analysis on multi-core processors
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1539   OA View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1692
Eliminating spurious transitions in reachability with support functions
G. Frehse, S. Bogomolov, M. Greitschus, T. Strump, A. Podelski, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 149–158.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1680
On the decidability of elementary modal logics
J. Michaliszyn, J. Otop, E. Kieroňski, ACM Transactions on Computational Logic 17 (2015).
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1659
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, in:, LICS, IEEE, 2015, pp. 750–761.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1856   OA
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, Journal of the ACM 62 (2015).
View | Files available | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1882   OA
Compositionality for quantitative specifications
U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1729
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1731   OA
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, Information and Computation 245 (2015) 3–16.
View | Files available | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 1832   OA
Aspect-oriented linearizability proofs
S. Chakraborty, T.A. Henzinger, A. Sezgin, V. Vafeiadis, Logical Methods in Computer Science 11 (2015) 20.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed