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.




287 Publications

2016 | Conference Paper | IST-REx-ID: 1230   OA
Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Timed I/O Systems,” 9583:250–67. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_12.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, and Radu Grosu. “XSpeed: Accelerating Reachability Analysis on Multi-Core Processors.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_1.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1539   OA
Ruess, Jakob. “Minimal Moment Equations for Stochastic Models of Biochemical Reaction Networks with Partially Finite State Space.” Journal of Chemical Physics 143, no. 24 (2015). https://doi.org/10.1063/1.4937937.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1692
Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015. https://doi.org/10.1145/2728606.2728622.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, Jakub, Jan Otop, and Emanuel Kieroňski. “On the Decidability of Elementary Modal Logics.” ACM Transactions on Computational Logic 17, no. 1 (2015). https://doi.org/10.1145/2817825.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1659
Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.” In LICS, 750–61. Logic in Computer Science. IEEE, 2015. https://doi.org/10.1109/LICS.2015.74.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1856   OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM 62, no. 1 (2015). https://doi.org/10.1145/2699430.
View | Files available | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1882   OA
Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality for Quantitative Specifications,” 8997:306–24. Springer, 2015. https://doi.org/10.1007/978-3-319-15317-9_19.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1731   OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.” Information and Computation 245, no. 12 (2015): 3–16. https://doi.org/10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science 11, no. 1 (2015): 20. https://doi.org/10.2168/LMCS-11(1:20)2015.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1840   OA
Geiger, Bernhard, Tatjana Petrov, Gernot Kubin, and Heinz Koeppl. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control 60, no. 4 (2015): 1010–22. https://doi.org/10.1109/TAC.2014.2364971.
View | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1605
Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,” 9434:19–35. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_2.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation 241, no. 4 (2015): 177–96. https://doi.org/10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 
2015 | Technical Report | IST-REx-ID: 5436
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 
2015 | Research Data | IST-REx-ID: 5549   OA
Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:ISTA:28.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1808
Gupta, Ashutosh, and Thomas A Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.” ACM Transactions on Modeling and Computer Simulation 25, no. 2 (2015). https://doi.org/10.1145/2745799.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1992   OA
Gupta, Ashutosh, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta, and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,” 433–44. ACM, 2015. https://doi.org/10.1145/2676726.2677008.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1601
Babiak, Tomáš, František Blahoudek, Alexandre Duret Lutz, Joachim Klein, Jan Kretinsky, Daniel Mueller, David Parker, and Jan Strejček. “The Hanoi Omega-Automata Format,” 9206:479–86. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_31.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. “Runtime Verification for Hybrid Analysis Tools.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-23820-3_19.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1670
Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.
View | Download (ext.)
 
2015 | Journal Article | IST-REx-ID: 1846
Beneš, Nikola, Jan Kretinsky, Kim Larsen, Mikael Möller, Salomon Sickert, and Jiří Srba. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica 52, no. 2–3 (2015): 269–97. https://doi.org/10.1007/s00236-015-0215-4.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.” In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015. https://doi.org/10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 
2015 | Journal Article | IST-REx-ID: 1861
Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.” ACM Transactions on Modeling and Computer Simulation 25, no. 2 (2015). https://doi.org/10.1145/2688906.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1866
Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM 58, no. 2 (2015): 86–86. https://doi.org/10.1145/2701001.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1501   OA
Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design 47, no. 2 (2015): 230–64. https://doi.org/10.1007/s10703-015-0235-2.
View | Files available | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, Jan Krčál, and Jan Kretinsky. “Controller Synthesis for MDPs and Frequency LTL\GU,” 9450:162–77. Springer, 2015. https://doi.org/10.1007/978-3-662-48899-7_12.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, Sergiy Bogomolov, and Taylor Johnson. “HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models,” 128–33. Springer, 2015. https://doi.org/10.1145/2728606.2728630.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee, Krishnendu, Zuzana Komárková, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” LICS. IEEE, 2015. https://doi.org/10.1109/LICS.2015.32.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1538   OA
Ruess, Jakob, Francesca Parise, Andreas Milias Argeitis, Mustafa Khammash, and John Lygeros. “Iterative Experiment Design Guides the Characterization of a Light-Inducible Gene Expression Circuit.” PNAS 112, no. 26 (2015): 8148–53. https://doi.org/10.1073/pnas.1423947112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2015 | Conference Paper | IST-REx-ID: 1502   OA
Beneš, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,” 101–10. ACM, 2015. https://doi.org/10.1145/2737166.2737175.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1499   OA
Kretinsky, Jan, Kim Larsen, Simon Laursen, and Jiří Srba. “Polynomial Time Decidability of Weighted Synchronization under Partial Observability,” 42:142–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1689   OA
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 259–68. ACM, 2015. https://doi.org/10.1145/2728606.2728608.
View | Files available | DOI | Download (ext.)
 
2015 | Technical Report | IST-REx-ID: 5439
Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov, Sergiy, Thomas A Henzinger, Andreas Podelski, Jakob Ruess, and Christian Schilling. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-23401-4_8.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46669-8_5.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,” 9206:158–77. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1870   OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.” In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1875   OA
Samanta, Roopsha, Oswaldo Olivo, and Emerson Allen. “Cost-Aware Automatic Program Repair.” edited by Markus Müller-Olm and Helmut Seidl, 8723:268–84. Springer, 2014. https://doi.org/10.1007/978-3-319-10936-7_17.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2056   OA
Ganguly, Arnab, Tatjana Petrov, and Heinz Koeppl. “Markov Chain Aggregation and Its Applications to Combinatorial Reaction Networks.” Journal of Mathematical Biology 69, no. 3 (2014): 767–97. https://doi.org/10.1007/s00285-013-0738-7.
View | DOI | Download (ext.)
 
2014 | Technical Report | IST-REx-ID: 5428
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. Quantitative Fair Simulation Games. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2239
Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,” 49:595–606. ACM, 2014. https://doi.org/10.1145/2535838.2535875.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2190   OA
Esparza, Javier, and Jan Kretinsky. “From LTL to Deterministic Automata: A Safraless Compositional Approach,” 8559:192–208. Springer, 2014. https://doi.org/10.1007/978-3-319-08867-9_13.
View | DOI | Download (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Qualitative Analysis of Probabilistic Systems,” 8559:473–90. Springer, 2014. https://doi.org/10.1007/978-3-319-08867-9_31.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416
Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed