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.




309 Publications

2015 | Conference Paper | IST-REx-ID: 1690
Bak S, Bogomolov S, Johnson T. HYST: A source transformation and translation tool for hybrid automaton models. In: Springer; 2015:128-133. doi:10.1145/2728606.2728630
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1692
Frehse G, Bogomolov S, Greitschus M, Strump T, Podelski A. Eliminating spurious transitions in reachability with support functions. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:149-158. doi:10.1145/2728606.2728622
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1698 | OA
Velner Y, Chatterjee K, Doyen L, Henzinger TA, Rabinovich A, Raskin J. The complexity of multi-mean-payoff and multi-energy games. Information and Computation. 2015;241(4):177-196. doi:10.1016/j.ic.2015.03.001
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. Information and Computation. 2015;245(12):3-16. doi:10.1016/j.ic.2015.06.003
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1808
Gupta A, Henzinger TA. Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. 2015;25(2). doi:10.1145/2745799
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1832 | OA
Chakraborty S, Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. Logical Methods in Computer Science. 2015;11(1). doi:10.2168/LMCS-11(1:20)2015
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1836
Cerny P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. Segment abstraction for worst-case execution time analysis. 2015;9032:105-131. doi:10.1007/978-3-662-46669-8_5
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1840 | OA
Geiger B, Petrov T, Kubin G, Koeppl H. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 2015;60(4):1010-1022. doi:10.1109/TAC.2014.2364971
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1846 | OA
Beneš N, Kretinsky J, Larsen K, Möller M, Sickert S, Srba J. Refinement checking on parametric modal transition systems. Acta Informatica. 2015;52(2-3):269-297. doi:10.1007/s00236-015-0215-4
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1856 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. 2015;62(1). doi:10.1145/2699430
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1861
Ruess J, Lygeros J. Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation. 2015;25(2). doi:10.1145/2688906
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1866
Henzinger TA, Raskin J. The equivalence problem for finite automata: Technical perspective. Communications of the ACM. 2015;58(2):86-86. doi:10.1145/2701001
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1882 | OA
Fahrenberg U, Kretinsky J, Legay A, Traonouez L. Compositionality for quantitative specifications. In: Vol 8997. Springer; 2015:306-324. doi:10.1007/978-3-319-15317-9_19
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1992 | OA
Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. Succinct representation of concurrent trace sets. In: ACM; 2015:433-444. doi:10.1145/2676726.2677008
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1
View | Files available | DOI
 
2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner A. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. 2015. doi:10.15479/AT:ISTA:28
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems. 2015;32:90-102. doi:10.4230/LIPIcs.SNAPL.2015.90
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky J, Larsen K, Laursen S, Srba J. Polynomial time decidability of weighted synchronization under partial observability. In: Vol 42. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:142-154. doi:10.4230/LIPIcs.CONCUR.2015.142
View | Files available | DOI
 

Search

Filter Publications