426 Publications

Mark all

[426]
2019 | Journal Article | IST-REx-ID: 6752   OA
Avni, Guy, et al. “Infinite-Duration Bidding Games.” Journal of the ACM, vol. 66, no. 4, ACM, 2019, p. 31, doi:10.1145/3340295.
View | Files available | DOI | Download (ext.) | arXiv
 
[425]
2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” Proceedings of the 13th International Conference of Reachability Problems, Springer.
View | Files available
 
[424]
2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 
[423]
2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View | Files available | DOI
 
[422]
2019 | Journal Article | IST-REx-ID: 6761
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, Elsevier, doi:10.1016/j.tcs.2019.06.031.
View | Files available | DOI
 
[421]
2018 | Conference Paper | IST-REx-ID: 5788   OA
Avni, Guy, et al. Infinite-Duration Poorman-Bidding Games. Vol. 11316, Springer, 2018, pp. 21–36, doi:10.1007/978-3-030-04612-5_2.
View | DOI | Download (ext.) | arXiv
 
[420]
2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Modeling Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.
View | DOI
 
[419]
2018 | Conference Paper | IST-REx-ID: 5959
Bakhirkin, Alexey, et al. “Keynote: The First-Order Logic of Signals.” 2018 International Conference on Embedded Software (EMSOFT), IEEE, 2018, pp. 1–10, doi:10.1109/emsoft.2018.8537203.
View | DOI
 
[418]
2018 | Conference Paper | IST-REx-ID: 144
Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194.
View | DOI
 
[417]
2018 | Book Chapter | IST-REx-ID: 86
Chatterjee, Krishnendu, et al. “Computing Average Response Time.” Principles of Modeling, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:10.1007/978-3-319-95246-8_9.
View | DOI
 
[416]
2018 | Conference Paper | IST-REx-ID: 81
Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
View | DOI
 
[415]
2018 | Journal Article | IST-REx-ID: 5677   OA
Benveniste, Albert, et al. “Contracts for System Design.” Foundations and Trends in Electronic Design Automation, vol. 12, no. 2–3, Now Publishers Inc, 2018, pp. 124–400, doi:10.1561/1000000053.
View | DOI | Download (ext.)
 
[414]
2018 | Conference Paper | IST-REx-ID: 140   OA
Frehse, Goran, et al. Space-Time Interpolants. Vol. 10981, Springer, 2018, pp. 468–86, doi:10.1007/978-3-319-96145-3_25.
View | Files available | DOI
 
[413]
2018 | Conference Paper | IST-REx-ID: 133   OA
Kragl, Bernhard, et al. Synchronizing the Asynchronous. Vol. 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 21, doi:10.4230/LIPIcs.CONCUR.2018.21.
View | Files available | DOI
 
[412]
2018 | Book | IST-REx-ID: 3300
Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer, 2018, doi:10.1007/978-3-319-10575-8.
View | DOI
 
[411]
2018 | Conference Paper | IST-REx-ID: 142   OA
Kong, Hui, et al. Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. Vol. 10981, Springer, 2018, pp. 449–67, doi:10.1007/978-3-319-96145-3_24.
View | Files available | DOI
 
[410]
2018 | Book Chapter | IST-REx-ID: 60
Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.
View | DOI
 
[409]
2017 | Conference Paper | IST-REx-ID: 1116   OA
Avni, Guy, et al. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. Vol. 10206, Springer, 2017, pp. 169–87, doi:10.1007/978-3-662-54580-5_10.
View | Files available | DOI
 
[408]
2017 | Journal Article | IST-REx-ID: 1351
Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.
View | Files available | DOI
 
[407]
2017 | Conference Paper | IST-REx-ID: 631   OA
Bogomolov, Sergiy, et al. Counterexample Guided Refinement of Template Polyhedra. Vol. 10205, Springer, 2017, pp. 589–606, doi:10.1007/978-3-662-54577-5_34.
View | Files available | DOI
 
[406]
2017 | Technical Report | IST-REx-ID: 6426
Henzinger, Thomas A., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi:10.15479/AT:IST-2018-853-v2-2.
View | Files available | DOI
 
[405]
2017 | Journal Article | IST-REx-ID: 465   OA
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 
[404]
2017 | Journal Article | IST-REx-ID: 1338
Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.
View | Files available | DOI
 
[403]
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, Krishnendu, et al. “Quantitative Fair Simulation Games.” Information and Computation, vol. 254, no. 2, Elsevier, 2017, pp. 143–66, doi:10.1016/j.ic.2016.10.006.
View | Files available | DOI
 
[402]
2017 | Book Chapter | IST-REx-ID: 625
Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.” Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
View | DOI
 
[401]
2017 | Conference Paper | IST-REx-ID: 663   OA
Kong, Hui, et al. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.” Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–72, doi:10.1145/3049797.3049814.
View | Files available | DOI
 
[400]
2017 | Journal Article | IST-REx-ID: 467
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, ACM, 2017, p. 31, doi:10.1145/3152769.
View | Files available | DOI | Download (ext.) | arXiv
 
[399]
2017 | Conference Paper | IST-REx-ID: 633
Bak, Stanley, et al. Challenges and Tool Implementation of Hybrid Rapidly Exploring Random Trees. Edited by Alessandro Abate and Sylvie Bodo, vol. 10381, Springer, 2017, pp. 83–89, doi:10.1007/978-3-319-63501-9_6.
View | DOI
 
[398]
2017 | Conference Paper | IST-REx-ID: 950
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 17, doi:10.4230/LIPIcs.CONCUR.2017.21.
View | Files available | DOI | arXiv
 
[397]
2017 | Conference Paper | IST-REx-ID: 711   OA
Chatterjee, Krishnendu, et al. Bidirectional Nested Weighted Automata. Vol. 85, 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.5.
View | Files available | DOI
 
[396]
2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems, vol. 23, Elsevier, 2017, pp. 166–90, doi:10.1016/j.nahs.2016.09.001.
View | DOI
 
[395]
2017 | Journal Article | IST-REx-ID: 471   OA
Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.
View | Files available | DOI | Download (ext.)
 
[394]
2017 | Conference Paper | IST-REx-ID: 647   OA
Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 116–32, doi:10.1007/978-3-319-65765-3_7.
View | Files available | DOI
 
[393]
2017 | Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View | DOI
 
[392]
2016 | Conference Paper | IST-REx-ID: 1421
Bak, Stanley, et al. Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. Springer, 2016, pp. 155–64, doi:10.1145/2883817.2883837.
View | DOI
 
[391]
2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi, Cezara, et al. PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. Vol. 20–22, ACM, 2016, pp. 400–15, doi:10.1145/2837614.2837650.
View | DOI | Download (ext.)
 
[390]
2016 | Journal Article | IST-REx-ID: 1148
Schilling, Christian, et al. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Biosystems, vol. 149, Elsevier, 2016, pp. 15–25, doi:10.1016/j.biosystems.2016.07.005.
View | Files available | DOI
 
[389]
2016 | Conference Paper | IST-REx-ID: 1341
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
View | Files available | DOI
 
[388]
2016 | Conference Paper | IST-REx-ID: 1093
Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
View | Files available | DOI
 
[387]
2016 | Conference Paper | IST-REx-ID: 1391
Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
View | Files available | DOI | Download (ext.)
 
[386]
2016 | Conference Paper | IST-REx-ID: 1138   OA
Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
View | DOI | Download (ext.)
 
[385]
2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 
[384]
2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee, Krishnendu, et al. Quantitative Monitor Automata. Vol. 9837, Springer, 2016, pp. 23–38, doi:10.1007/978-3-662-53413-7_2.
View | DOI | Download (ext.)
 
[383]
2016 | Conference Paper | IST-REx-ID: 1234
Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
View | Files available | DOI | Download (ext.)
 
[382]
2016 | Conference Paper | IST-REx-ID: 1090   OA
Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.
View | Files available | DOI
 
[381]
2016 | Conference Paper | IST-REx-ID: 1095   OA
Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.” Leibniz International Proceedings in Informatics, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.6.
View | Files available | DOI
 
[380]
2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger, Thomas A., et al. Lipschitz Robustness of Timed I/O Systems. Vol. 9583, Springer, 2016, pp. 250–67, doi:10.1007/978-3-662-49122-5_12.
View | DOI | Download (ext.)
 
[379]
2016 | Conference Paper | IST-REx-ID: 1230
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download (ext.)
 
[378]
2015 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science, vol. 11, no. 1, International Federation of Computational Logic, 2015, p. 20, doi:10.2168/LMCS-11(1:20)2015.
View | Files available | DOI
 
[377]
2015 | Journal Article | IST-REx-ID: 1856
Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
View | Files available | DOI | Download (ext.)
 
[376]
2015 | Journal Article | IST-REx-ID: 1731
Chatterjee, Krishnendu, et al. “Randomness for Free.” Information and Computation, vol. 245, no. 12, Elsevier, 2015, pp. 3–16, doi:10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download (ext.)
 
[375]
2015 | Conference Paper | IST-REx-ID: 1659
Boker, Udi, et al. “The Target Discounted-Sum Problem.” LICS, IEEE, 2015, pp. 750–61, doi:10.1109/LICS.2015.74.
View | Files available | DOI
 
[374]
2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, et al. From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis. Vol. 9207, Springer, 2015, pp. 180–97, doi:10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 
[373]
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 
[372]
2015 | Technical Report | IST-REx-ID: 5436   OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 
[371]
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, vol. 25, no. 2, 7, ACM, 2015, doi:10.1145/2745799.
View | DOI
 
[370]
2015 | Conference Paper | IST-REx-ID: 1992   OA
Gupta, Ashutosh, et al. Succinct Representation of Concurrent Trace Sets. ACM, 2015, pp. 433–44, doi:10.1145/2676726.2677008.
View | Files available | DOI
 
[369]
2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, IEEE, 2015, p. 7174926, doi:10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 
[368]
2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
View | Files available | DOI
 
[367]
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, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:10.1145/2701001.
View | DOI
 
[366]
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download (ext.)
 
[365]
2015 | Technical Report | IST-REx-ID: 5438
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 
[364]
2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov, Sergiy, et al. Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. Vol. 9308, Springer, 2015, pp. 77–89, doi:10.1007/978-3-319-23401-4_8.
View | Files available | DOI
 
[363]
2015 | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
View | DOI
 
[362]
2015 | Technical Report | IST-REx-ID: 5439   OA
Boker, Udi, et al. The Target Discounted-Sum Problem. IST Austria, 2015, doi:10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 
[361]
2015 | Conference Paper | IST-REx-ID: 1502
Beneš, Nikola, et al. Complete Composition Operators for IOCO-Testing Theory. ACM, 2015, pp. 101–10, doi:10.1145/2737166.2737175.
View | Files available | DOI
 
[360]
2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 
[359]
2014 | Conference Paper | IST-REx-ID: 1870   OA
Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.” Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.
View | Files available | DOI
 
[358]
2014 | Conference Paper | IST-REx-ID: 2239
Boker, Udi, et al. Battery Transition Systems. Vol. 49, no. 1, ACM, 2014, pp. 595–606, doi:10.1145/2535838.2535875.
View | DOI
 
[357]
2014 | Technical Report | IST-REx-ID: 5411   OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 
[356]
2014 | Technical Report | IST-REx-ID: 5416   OA
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 
[355]
2014 | Technical Report | IST-REx-ID: 5428   OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 
[354]
2014 | Journal Article | IST-REx-ID: 2038
Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, ACM, 2014, p. 27, doi:10.1145/2629686.
View | Files available | DOI
 
[353]
2014 | Technical Report | IST-REx-ID: 5417   OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
View | Files available | DOI
 
[352]
2014 | Conference Paper | IST-REx-ID: 2217
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Hybrid Systems.” Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–22, doi:10.1145/2562059.2562130.
View | DOI
 
[351]
2014 | Journal Article | IST-REx-ID: 1733
Cerny, Pavol, et al. “Interface Simulation Distances.” Theoretical Computer Science, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi:10.1016/j.tcs.2014.08.019.
View | Files available | DOI | Download (ext.)
 
[350]
2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.
View | Files available | DOI
 
[349]
2014 | Conference Paper | IST-REx-ID: 2167
Daca, Przemyslaw, et al. “Compositional Specifications for Ioco Testing.” IEEE 7th International Conference on Software Testing, Verification and Validation, 6823899, Springer, 2014, doi:10.1109/ICST.2014.50.
View | Files available | DOI
 
[348]
2014 | Conference Paper | IST-REx-ID: 2218
Cerny, Pavol, et al. Regression-Free Synthesis for Concurrency. Vol. 8559, Springer, 2014, pp. 568–84, doi:10.1007/978-3-319-08867-9_38.
View | Files available | DOI | Download (ext.)
 
[347]
2014 | Conference Paper | IST-REx-ID: 1393
Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.
View | DOI
 
[346]
2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem, Roderick, et al. “Synthesizing Robust Systems.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.
View | Files available | DOI
 
[345]
2014 | Journal Article | IST-REx-ID: 2233   OA
Boker, Udi, and Thomas A. Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:10)2014.
View | Files available | DOI
 
[344]
2014 | Technical Report | IST-REx-ID: 5415
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 
[343]
2013 | Journal Article | IST-REx-ID: 2289   OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
View | Files available | DOI
 
[342]
2013 | Conference Paper | IST-REx-ID: 2328   OA
Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
View | Files available | DOI
 
[341]
2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, Antonin, et al., editors. Mathematical and Engineering Methods in Computer Science. Vol. 7721, Springer, 2013, pp. 1–228, doi:10.1007/978-3-642-36046-6.
View | DOI
 
[340]
2013 | Journal Article | IST-REx-ID: 2854   OA
Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences, vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 
[339]
2013 | Technical Report | IST-REx-ID: 6440   OA
Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.
View | Files available | DOI
 
[338]
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 
[337]
2013 | Technical Report | IST-REx-ID: 5406   OA
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
View | Files available | DOI
 
[336]
2013 | Book Chapter | IST-REx-ID: 5747   OA
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 
[335]
2013 | Conference Paper | IST-REx-ID: 2445
Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
View | Files available | DOI
 
[334]
2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
View | Files available | DOI
 
[333]
2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
View | Files available | DOI
 
[332]
2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger, Thomas A., and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013, doi:10.15479/AT:IST-2013-123-v1-1.
View | Files available | DOI
 
[331]
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View | DOI
 
[330]
2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
View | DOI
 
[329]
2013 | Conference Paper | IST-REx-ID: 2327
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.
View | Files available | DOI
 
[328]
2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.” Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.
View | DOI | Download (ext.)
 
[327]
2012 | Conference Paper | IST-REx-ID: 3136
Guet, Calin C., et al. Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits. Vol. 7358, Springer, 2012, pp. 294–309, doi:10.1007/978-3-642-31424-7_24.
View | DOI
 
[326]
2012 | Conference Paper | IST-REx-ID: 3155   OA
Delahaye, Benoît, et al. Synchronous Interface Theories and Time Triggered Scheduling. Vol. 7273, Springer, 2012, pp. 203–18, doi:10.1007/978-3-642-30793-5_13.
View | Files available | DOI
 
[325]
2012 | Journal Article | IST-REx-ID: 3249
Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 
[324]
2012 | Conference Paper | IST-REx-ID: 3251
Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.
View | Files available | DOI
 
[323]
2012 | Journal Article | IST-REx-ID: 3846   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:10.1016/j.jcss.2011.05.002.
View | Files available | DOI
 
[322]
2012 | Journal Article | IST-REx-ID: 3168
Feret, Jérôme, et al. “Lumpability Abstractions of Rule Based Systems.” Theoretical Computer Science, vol. 431, Elsevier, 2012, pp. 137–64, doi:10.1016/j.tcs.2011.12.059.
View | Files available | DOI
 
[321]
2012 | Conference Paper | IST-REx-ID: 1384   OA
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
View | DOI | Download (ext.)
 
[320]
2012 | Journal Article | IST-REx-ID: 2302
Henzinger, Thomas A., and Maria Mateescu. “The Propagation Approach for Computing Biochemical Reaction Networks.” IEEE ACM Transactions on Computational Biology and Bioinformatics, vol. 10, no. 2, IEEE, 2012, pp. 310–22, doi:10.1109/TCBB.2012.91.
View | DOI
 
[319]
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger, Thomas A. “Quantitative Reactive Models.” Conference Proceedings MODELS 2012, vol. 7590, Springer, 2012, pp. 1–2, doi:10.1007/978-3-642-33666-9_1.
View | DOI
 
[318]
2012 | Conference Paper | IST-REx-ID: 2890
Cerny, Pavol, et al. “Synthesis from Incompatible Specifications.” Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62, doi:10.1145/2380356.2380371.
View | DOI
 
[317]
2012 | Journal Article | IST-REx-ID: 3836
Ghosal, Arkadeb, et al. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.” Science of Computer Programming, vol. 77, no. 2, Elsevier, 2012, pp. 96–112, doi:10.1016/j.scico.2010.06.004.
View | DOI
 
[316]
2012 | Conference Paper | IST-REx-ID: 2891   OA
Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.” Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.
View | Files available | DOI
 
[315]
2012 | Conference Paper | IST-REx-ID: 2916   OA
Cerny, Pavol, et al. “Interface Simulation Distances.” Electronic Proceedings in Theoretical Computer Science, vol. 96, EPTCS, 2012, pp. 29–42, doi:10.4204/EPTCS.96.3.
View | Files available | DOI | Download (ext.)
 
[314]
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” Conference Proceedings Monterey Workshop 2012, vol. 7539, Springer, 2012, pp. 380–95, doi:10.1007/978-3-642-34059-8_20.
View | DOI
 
[313]
2012 | Journal Article | IST-REx-ID: 3128   OA
Chatterjee, Krishnendu, et al. “A Survey of Partial-Observation Stochastic Parity Games.” Formal Methods in System Design, vol. 43, no. 2, Springer, 2012, pp. 268–84, doi:10.1007/s10703-012-0164-2.
View | Files available | DOI
 
[312]
2011 | Conference Paper | IST-REx-ID: 3299   OA
Henzinger, Thomas A., and Maria Mateescu. Propagation Models for Computing Biochemical Reaction Networks. Springer, 2011, pp. 1–3, doi:10.1145/2037509.2037510.
View | Files available | DOI
 
[311]
2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger, Thomas A., et al. Static Scheduling in Clouds. USENIX, 2011, pp. 1–6.
View | Files available
 
[310]
2011 | Journal Article | IST-REx-ID: 3352
Fisher, Jasmin, et al. “Biology as Reactivity.” Communications of the ACM, vol. 54, no. 10, ACM, 2011, pp. 72–82, doi:10.1145/2001269.2001289.
View | DOI
 
[309]
2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, et al. The Complexity of Request-Response Games. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 227–37, doi:10.1007/978-3-642-21254-3_17.
View | DOI
 
[308]
2011 | Journal Article | IST-REx-ID: 3364
Didier, Frédéric, et al. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science, vol. 412, no. 21, Elsevier, 2011, pp. 2128–41, doi:10.1016/j.tcs.2010.10.022.
View | Files available | DOI
 
[307]
2011 | Journal Article | IST-REx-ID: 3353   OA
Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
View | Files available | DOI
 
[306]
2011 | Conference Paper | IST-REx-ID: 3358
Henzinger, Thomas A., et al. Scheduling Large Jobs by Abstraction Refinement. ACM, 2011, pp. 329–42, doi:10.1145/1966445.1966476.
View | DOI
 
[305]
2011 | Conference Paper | IST-REx-ID: 3360   OA
Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
View | Files available | DOI
 
[304]
2011 | Conference Paper | IST-REx-ID: 3365   OA
Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 
[303]
2011 | Journal Article | IST-REx-ID: 3315
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
View | Files available | DOI
 
[302]
2011 | Journal Article | IST-REx-ID: 531
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
View | DOI
 
[301]
2011 | Technical Report | IST-REx-ID: 5385   OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
View | Files available | DOI
 
[300]
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View | Files available | DOI
 
[299]
2011 | Conference Paper | IST-REx-ID: 3316
Bloem, Roderick, et al. Specification-Centered Robustness. IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.
View | DOI
 
[298]
2011 | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.
View | DOI
 
[297]
2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.
View | Files available | DOI
 
[296]
2011 | Conference Paper | IST-REx-ID: 3366
Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20 .
View | Files available | DOI
 
[295]
2011 | Conference Paper | IST-REx-ID: 3362
Fisher, Jasmin, et al. Dynamic Reactive Modules. Edited by Joost-Pieter Katoen and Barbara König, vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
View | DOI
 
[294]
2011 | Conference Paper | IST-REx-ID: 3355   OA
Halalai, Raluca, et al. Quantitative Evaluation of BFT Protocols. IEEE, 2011, pp. 255–64, doi:10.1109/QEST.2011.40.
View | Files available | DOI
 
[293]
2011 | Journal Article | IST-REx-ID: 3381
Henzinger, Thomas A., et al. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4, World Scientific Publishing, 2011, pp. 823–41, doi:10.1142/S0129054111008441.
View | Files available | DOI
 
[292]
2011 | Conference Paper | IST-REx-ID: 3301   OA
Henzinger, Thomas A., and Maria Mateescu. Tail Approximation for the Chemical Master Equation. Tampere International Center for Signal Processing, 2011.
View | Files available
 
[291]
2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.
View | Download (ext.) | arXiv
 
[290]
2011 | Conference Paper | IST-REx-ID: 3356
Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
View | Files available | DOI
 
[289]
2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger, Thomas A., et al. Hybrid Numerical Solution of the Chemical Master Equation. Springer, 2010, pp. 55–65, doi:10.1145/1839764.1839772.
View | Files available | DOI
 
[288]
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, Thomas A. From Boolean to Quantitative Notions of Correctness. Vol. 45, no. 1, ACM, 2010, pp. 157–58, doi:10.1145/1706299.1706319.
View | DOI
 
[287]
2010 | Conference Paper | IST-REx-ID: 3845   OA
Henzinger, Thomas A., et al. Aligators for Arrays. Vol. 6397, Springer, 2010, pp. 348–56, doi:10.1007/978-3-642-16242-8_25.
View | Files available | DOI
 
[286]
2010 | Conference Paper | IST-REx-ID: 3864   OA
Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
View | Files available | DOI | Download (ext.)
 
[285]
2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger, Thomas A., et al. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE, 2010, pp. 83–90, doi:10.1109/CLOUD.2010.71  .
View | Files available | DOI
 
[284]
2010 | Conference Paper | IST-REx-ID: 4393
Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
View | Files available | DOI
 
[283]
2010 | Technical Report | IST-REx-ID: 5389   OA
Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
View | Files available | DOI
 
[282]
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.
View | Files available | DOI
 
[281]
2010 | Conference Paper | IST-REx-ID: 3719   OA
Feret, Jérôme, et al. Lumpability Abstractions of Rule-Based Systems. Vol. 40, Open Publishing Association, 2010, pp. 142–61.
View | Files available | Download (ext.)
 
[280]
2010 | Journal Article | IST-REx-ID: 3834   OA
Wolf, Verena, et al. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology, vol. 4, no. 42, BioMed Central, 2010, pp. 1–19, doi:10.1186/1752-0509-4-42.
View | Files available | DOI
 
[279]
2010 | Conference Paper | IST-REx-ID: 3839   OA
Henzinger, Thomas A., et al. Invariant and Type Inference for Matrices. Vol. 5944, Springer, 2010, pp. 163–79, doi:10.1007/978-3-642-11319-2_14.
View | Files available | DOI
 
[278]
2010 | Conference Paper | IST-REx-ID: 3853   OA
Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
View | Files available | DOI
 
[277]
2010 | Conference Paper | IST-REx-ID: 4382   OA
Guerraoui, Rachid, et al. Transactions in the Jungle. ACM, 2010, pp. 263–72, doi:10.1145/1810479.1810529.
View | Files available | DOI
 
[276]
2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
View | Files available | DOI
 
[275]
2010 | Conference Paper | IST-REx-ID: 3847   OA
Didier, Frédéric, et al. SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks. IEEE, 2010, pp. 193–94, doi:10.1109/QEST.2010.33.
View | Files available | DOI
 
[274]
2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
View | Files available | DOI
 
[273]
2010 | Journal Article | IST-REx-ID: 3842
Didier, Frédéric, et al. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology, vol. 4, no. 6, Institution of Engineering and Technology, 2010, pp. 441–52, doi:10.1049/iet-syb.2010.0005.
View | Files available | DOI
 
[272]
2010 | Journal Article | IST-REx-ID: 3861
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
View | Files available | DOI
 
[271]
2010 | Conference Paper | IST-REx-ID: 4388
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
View | Files available | DOI | Download (ext.) | arXiv
 
[270]
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View | Files available | DOI
 
[269]
2010 | Journal Article | IST-REx-ID: 3862   OA
Chatterjee, Krishnendu, et al. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, ACM, 2010, p. 23, doi:10.1145/1805950.1805953.
View | Files available | DOI
 
[268]
2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 
[267]
2010 | Conference Paper | IST-REx-ID: 4389   OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
View | Files available | DOI
 
[266]
2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
View | Files available | DOI
 
[265]
2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 
[264]
2010 | Journal Article | IST-REx-ID: 3402
Guerraoui, Rachid, et al. “Model Checking Transactional Memories.” Distributed Computing, vol. 22, no. 3, Springer, 2010, pp. 129–45, doi:10.1007/s00446-009-0092-6.
View | DOI | Download (ext.)
 
[263]
2010 | Conference Paper | IST-REx-ID: 3856   OA
Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
View | Files available | DOI | Download (ext.)
 
[262]
2010 | Journal Article | IST-REx-ID: 3863
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
View | Files available | DOI
 
[261]
2010 | Conference Paper | IST-REx-ID: 4380   OA
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
View | Files available | DOI
 
[260]
2010 | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, et al. “Quantitative Simulation Games.” Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.
View | DOI
 
[259]
2010 | Technical Report | IST-REx-ID: 5388   OA
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
View | Files available | DOI
 
[258]
2010 | Conference Paper | IST-REx-ID: 4361
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
View | Files available | DOI
 
[257]
2009 | Conference Paper | IST-REx-ID: 3871   OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 
[256]
2009 | Conference Paper | IST-REx-ID: 4545   OA
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.
View | Files available | DOI
 
[255]
2009 | Conference Paper | IST-REx-ID: 4569   OA
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.
View | DOI | Download (ext.) | arXiv
 
[254]
2009 | 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
 
[253]
2009 | Conference Paper | IST-REx-ID: 3841   OA
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 
[252]
2009 | Conference Paper | IST-REx-ID: 3835
Bloem, Roderick, et al. Synthesizing Robust Systems. Springer, 2009, pp. 85–92, doi:10.1109/FMCAD.2009.5351139.
View | DOI
 
[251]
2009 | Conference Paper | IST-REx-ID: 4383   OA
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
 
[250]
2009 | Conference Paper | IST-REx-ID: 4453   OA
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.)
 
[249]
2009 | Conference Paper | IST-REx-ID: 4580   OA
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.)
 
[248]
2009 | Conference Paper | IST-REx-ID: 4542   OA
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 
[247]
2009 | 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
 
[246]
2009 | Technical Report | IST-REx-ID: 5393   OA
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
View | Files available | DOI
 
[245]
2009 | Conference Paper | IST-REx-ID: 3843
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
View | Files available | DOI
 
[244]
2009 | 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
 
[243]
2009 | Technical Report | IST-REx-ID: 5394   OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
View | Files available | DOI
 
[242]
2009 | Conference Paper | IST-REx-ID: 3837   OA
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
View | Files available | DOI
 
[241]
2009 | Conference Paper | IST-REx-ID: 3503   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 
[240]
2009 | Conference Paper | IST-REx-ID: 3844   OA
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
View | Files available | DOI
 
[239]
2009 | Journal Article | IST-REx-ID: 3870   OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
View | Files available | DOI
 
[238]
2009 | Conference Paper | IST-REx-ID: 4544   OA
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.)
 
[237]
2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
View | Files available | DOI
 
[236]
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. Timed Parity Games: Complexity and Robustness. Vol. 5215, Springer, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View | Files available | DOI
 
[235]
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View | DOI | Download (ext.)
 
[234]
2008 | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View | DOI | Download (ext.)
 
[233]
2008 | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
View | DOI | Download (ext.)
 
[232]
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View | DOI
 
[231]
2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–38, doi:10.1007/978-3-540-69850-0_7.
View | DOI
 
[230]
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View | DOI | Download (ext.)
 
[229]
2008 | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
View | DOI | Download (ext.)
 
[228]
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View | DOI | Download (ext.)
 
[227]
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View | DOI | Download (ext.)
 
[226]
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View | DOI | Download (ext.)
 
[225]
2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, et al. Controller Synthesis with Budget Constraints. Vol. 4981, Springer, 2008, pp. 72–86, doi:DOI: 10.1007/978-3-540-78929-1_6.
View | DOI
 
[224]
2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View | Files available | DOI
 
[223]
2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View | DOI | Download (ext.)
 
[222]
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. Trading Infinite Memory for Uniform Randomness in Timed Games. Vol. 4981, Springer, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View | DOI
 
[221]
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View | DOI
 
[220]
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View | DOI | Download (ext.)
 
[219]
2008 | Conference Paper | IST-REx-ID: 4384   OA
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View | Files available | DOI | Download (ext.)
 
[218]
2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. Model-Checking Omega-Regular Properties of Interval Markov Chains. Vol. 4962, Springer, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View | DOI
 
[217]
2008 | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View | DOI | Download (ext.)
 
[216]
2008 | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
View | DOI | Download (ext.)
 
[215]
2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
View | DOI
 
[214]
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. Games, Time, and Probability: Graph Models for System Design and Analysis. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.
View | DOI
 
[213]
2007 | Conference Paper | IST-REx-ID: 4571
Beyer, Dirk, et al. Path Invariants. ACM, 2007, pp. 300–09, doi:10.1145/1250734.1250769.
View | DOI
 
[212]
2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.
View | Files available | DOI
 
[211]
2007 | Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, et al. Invariant Synthesis for Combined Theories. Vol. 4349, Springer, 2007, pp. 378–94, doi:10.1007/978-3-540-69738-1_27.
View | DOI
 
[210]
2007 | Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.
View | DOI
 
[209]
2007 | Journal Article | IST-REx-ID: 4446
Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393, ACM, 2007, doi:10.1145/1286821.1286824.
View | DOI
 
[208]
2007 | Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, et al. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Vol. 4590, Springer, 2007, pp. 504–18, doi:10.1007/978-3-540-73368-3_51.
View | DOI
 
[207]
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
View | DOI
 
[206]
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.
View | DOI
 
[205]
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, Jacques, and Thomas A. Henzinger. “CSL: Computer Science Logic .” CSL: Computer Science Logic, vol. 4646, Springer, 2007, doi:10.1007/978-3-540-74915-8.
View | DOI
 
[204]
2007 | Journal Article | IST-REx-ID: 4529
Fisher, Jasmin, and Thomas A. Henzinger. “Executable Cell Biology.” Nature Biotechnology, vol. 25, Nature Publishing Group, 2007, pp. 1239–49, doi:10.1038/nbt1356.
View | DOI
 
[203]
2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology, vol. 3(5):e92, Public Library of Science, 2007, doi:10.1371/journal.pcbi.0030092.
View | DOI
 
[202]
2007 | Journal Article | IST-REx-ID: 4567
Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:10.1007/s10009-007-0044-z.
View | DOI
 
[201]
2007 | Journal Article | IST-REx-ID: 4405
Schaub, Marc, et al. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.” BMC Systems Biology, vol. 1, no. 4, BioMed Central, 2007, doi:10.1186/1752-0509-1-4.
View | DOI | Download (ext.)
 
[200]
2007 | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.” Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–92, doi:10.1007/978-3-540-71322-7_13.
View | DOI
 
[199]
2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, Thomas, et al. Minimum-Time Reachability in Timed Games. Vol. 4596, Springer, 2007, pp. 825–37, doi:10.1007/978-3-540-73420-8_71.
View | DOI
 
[198]
2007 | Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, et al. An Application of Web-Service Interfaces. IEEE, 2007, pp. 831–38, doi:10.1109/ICWS.2007.32 .
View | DOI
 
[197]
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:10.1016/j.tcs.2007.07.008.
View | DOI
 
[196]
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
View | DOI
 
[195]
2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games. Vol. 4137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–89, doi:10.1007/11817949_25.
View | DOI
 
[194]
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, et al. The Complexity of Quantitative Concurrent Parity Games. SIAM, 2006, pp. 678–87, doi:10.1145/1109557.1109631.
View | DOI
 
[193]
2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
View | DOI
 
[192]
2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View | DOI
 
[191]
2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View | DOI
 
[190]
2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View | DOI
 
[189]
2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
View | DOI
 
[188]
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 
[187]
2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View | DOI
 
[186]
2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, et al. Algorithms for Büchi Games. ACM, 2006.
View | Download (ext.)
 
[185]
2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. Algorithms for Omega-Regular Games with Imperfect Information. Vol. 4207, Springer, 2006, pp. 287–302, doi:10.1007/11874683_19.
View | DOI
 
[184]
2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 
[183]
2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
View | DOI
 
[182]
2006 | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
View | DOI
 
[181]
2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 
[180]
2006 | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
View | DOI
 
[179]
2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
View | DOI
 
[178]
2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View | DOI
 
[177]
2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 
[176]
2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 
[175]
2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, et al. A Programmable Microkernel for Real-Time Systems. ACM, 2005, pp. 35–45, doi:10.1145/1064979.1064986.
View | DOI
 
[174]
2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, Thomas A., et al. Permissive Interfaces. ACM, 2005, pp. 31–40, doi:10.1145/1081706.1081713.
View | DOI
 
[173]
2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View | Download (ext.)
 
[172]
2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View | DOI
 
[171]
2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
View | DOI
 
[170]
2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View | DOI
 
[169]
2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View | DOI
 
[168]
2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View | DOI
 
[167]
2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. Vol. 3657, Springer, 2005, pp. 141–61, doi:10.1007/11561163_7.
View | DOI
 
[166]
2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A. Henzinger. Interface-Based Design. Vol. 195, Springer, 2005, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
View | DOI
 
[165]
2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View | DOI
 
[164]
2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A., et al. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, ACM, 2005, pp. 1–32, doi:10.1145/1042038.1042039.
View | DOI
 
[163]
2005 | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.
View | DOI
 
[162]
2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View | DOI
 
[161]
2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi:10.1016/j.tcs.2005.07.033.
View | DOI
 
[160]
2005 | Conference Paper | IST-REx-ID: 4412
Matic, Slobodan, and Thomas A. Henzinger. Trading End-to-End Latency for Composability. IEEE, 2005, pp. 99–110, doi:10.1109/RTSS.2005.43.
View | DOI
 
[159]
2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A., et al. Quantifying Similarities between Timed Systems. Vol. 3829, Springer, 2005, pp. 226–41, doi:10.1007/11603009_18.
View | DOI
 
[158]
2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.
View | DOI
 
[157]
2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View | DOI
 
[156]
2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069  .
View | DOI
 
[155]
2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 
[154]
2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View | DOI
 
[153]
2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View | DOI
 
[152]
2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties. Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.
View | DOI
 
[151]
2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View | DOI
 
[150]
2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View | DOI
 
[149]
2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 
[148]
2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View | DOI
 
[147]
2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View | DOI
 
[146]
2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 
[145]
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A., et al. Thread-Modular Abstraction Refinement. Vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
View | DOI
 
[144]
2003 | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:10.1109/MCS.2003.1172829.
View | DOI
 
[143]
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A., et al. Schedule-Carrying Code. Vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
View | DOI
 
[142]
2003 | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:10.1109/JPROC.2002.805825.
View | DOI
 
[141]
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, et al. Discounting the Future in Systems Theory. Vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.
View | DOI
 
[140]
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, et al. The Element of Surprise in Timed Games. Vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.
View | DOI
 
[139]
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
View | DOI
 
[138]
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:10.1023/A:1026228213080.
View | DOI
 
[137]
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–46, doi:10.1002/047172288X.ch8.
View | DOI
 
[136]
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, et al. Resource Interfaces. Vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
View | DOI
 
[135]
2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
View | DOI
 
[134]
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A., et al. On the Universal and Existential Fragments of the Mu-Calculus. Vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.
View | DOI
 
[133]
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A., et al. Counterexample-Guided Control. Vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
View | DOI
 
[132]
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A., et al. Software Verification with BLAST. Vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.
View | DOI
 
[131]
2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, et al. Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. IEEE, 2002, pp. 132–39, doi:10.1145/774572.774592.
View | DOI
 
[130]
2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A., and Christoph Kirsch. The Embedded Machine: Predictable, Portable Real-Time Code. ACM, 2002, pp. 315–26, doi:10.1145/512529.512567.
View | DOI
 
[129]
2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A., et al. Time-Safety Checking for Embedded Programs. Vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View | DOI
 
[128]
2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View | DOI
 
[127]
2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Theoretical Computer Science, vol. 274, no. 1–2, Elsevier, 2002, pp. 151–82, doi:10.1016/S0304-3975(00)00308-X.
View | DOI
 
[126]
2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, et al. A Giotto-Based Helicopter Control System. Vol. 2491, ACM, 2002, pp. 46–60, doi:10.1007/3-540-45828-X_5.
View | DOI
 
[125]
2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A., et al. Synthesis of Uninitialized Systems. Vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.
View | DOI
 
[124]
2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. Lazy Abstraction. ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View | DOI
 
[123]
2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. A Comparison of Control Problems for Timed and Hybrid Systems. Vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View | DOI
 
[122]
2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, et al. Trading Probability for Fairness. Vol. 2471, Springer, 2002, pp. 292–305, doi:10.1007/3-540-45793-3_20.
View | DOI
 
[121]
2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A., et al. Temporal Safety Proofs for Systems Code. Vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.
View | DOI
 
[120]
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, et al. Timed Interfaces. Vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
View | DOI
 
[119]
2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, et al. Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms. Vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.
View | DOI
 
[118]
2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View | DOI
 
[117]
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. Synchronous and Bidirectional Component Interfaces. Vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View | DOI
 
[116]
2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A., et al. “Fair Simulation.” Information and Computation, vol. 173, no. 1, Elsevier, 2002, pp. 64–81, doi:10.1006/inco.2001.3085.
View | DOI
 
[115]
2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. Interface Compatibility Checking for Software Modules. Vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View | DOI
 
[114]
2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A., and Christoph Kirsch. “EMSOFT: Embedded Software.” EMSOFT: Embedded Software , vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.
View | DOI
 
[113]
2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A., et al. Some Lessons from the HYTECH Experience. Vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View | DOI
 
[112]
2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, et al. A Reusable and Platform-Independent Framework for Distributed Control Systems. IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
View | DOI
 
[111]
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. Interface Automata. ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View | DOI
 
[110]
2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, et al. The Control of Synchronous Systems, Part II. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
View | DOI
 
[109]
2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A. Henzinger. Interface Theories for Component-Based Design. Vol. 2211, ACM, 2001, pp. 148–65, doi:10.1007/3-540-45449-7_11.
View | DOI
 
[108]
2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, et al. MCWEB: A Model-Checking Tool for Web-Site Debugging. ACM, 2001, pp. 86–87.
View | Download (ext.)
 
[107]
2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A., et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. Vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View | DOI
 
[106]
2001 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, et al. JMocha: A Model-Checking Tool That Exploits Design Structure. IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
View | DOI
 
[105]
2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, et al. From Verification to Control: Dynamic Programs for Omega-Regular Objectives. IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
View | DOI
 
[104]
2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. Embedded Control Systems Development with Giotto. ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View | DOI
 
[103]
2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, et al. Compositional Methods for Probabilistic Systems. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
View | DOI
 
[102]
2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A., et al. Giotto: A Time-Triggered Language for Embedded Programming. Vol. 2211, ACM, 2001, pp. 166–84, doi:1303.
View | DOI
 
[101]
2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
View | DOI
 
[100]
2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, et al. Symbolic Algorithms for Infinite-State Games. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
View | DOI
 
[99]
2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. Abstract Interpretation of Game Properties. Vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View | DOI
 
[98]
2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A. Henzinger. Concurrent Omega-Regular Games. IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
View | DOI
 
[97]
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A., and Sriram Rajamani. Fair Bisimulation. Vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.
View | DOI
 
[96]
2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A., et al. Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
View | DOI
 
[95]
2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A., and Jean Raskin. Robust Undecidability of Timed and Hybrid Systems. Vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
View | DOI
 
[94]
2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A., and Ritankar Majumdar. A Classification of Symbolic Transition Systems. Vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
View | DOI
 
[93]
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. Symbolic Model Checking for Rectangular Hybrid Systems. Vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View | DOI
 
[92]
2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. Masaccio: A Formal Model for Embedded Components. Vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View | DOI
 
[91]
2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 .
View | DOI
 
[90]
2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. The Control of Synchronous Systems. Vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View | DOI
 
[89]
2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods. Vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
View | DOI
 
[88]
2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, et al. Detecting Errors before Reaching Them. Vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.
View | DOI
 
[87]
2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92.
View
 
[86]
1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A., et al. Assume-Guarantee Refinement between Different Time Scales. Vol. 1633, Springer, 1999, pp. 208–21, doi:10.1007/3-540-48683-6_20.
View | DOI
 
[85]
1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A., et al. Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. Vol. 1633, Springer, 1999, pp. 301–15, doi:10.1007/3-540-48683-6_27.
View | DOI
 
[84]
1999 | Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science, vol. 221, no. 1–2, Elsevier, 1999, pp. 369–92, doi:10.1016/S0304-3975(99)00038-9.
View | DOI
 
[83]
1999 | Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A., et al. Formal Specification and Verification of a Dataflow Processor Array. IEEE, 1999, pp. 494–99.
View
 
[82]
1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A., et al. Rectangular Hybrid Games. Vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–35, doi:10.1007/3-540-48320-9_23.
View | DOI
 
[81]
1999 | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, et al. Alternating-Time Temporal Logic. Vol. 1536, Springer, 1999, pp. 23–60, doi:10.1007/3-540-49213-5_2.
View | DOI
 
[80]
1999 | Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Formal Methods in System Design, vol. 15, no. 1, Springer, 1999, pp. 7–48, doi:10.1023/A:1008739929481.
View | DOI
 
[79]
1999 | Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, et al. Automating Modular Verification. Vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97, doi:10.1007/3-540-48320-9_8.
View | DOI
 
[78]
1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. Alternating Refinement Relations. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055611.
View | DOI
 
[77]
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. Concurrent Reachability Games. IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507  .
View | DOI
 
[76]
1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. You Assume, We Guarantee: Methodology and Case Studies. Vol. 1427, Springer, 1998, pp. 440–51, doi: 10.1007/BFb0028765.
View | DOI
 
[75]
1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. Mocha: Modularity in Model Checking. Vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View | DOI
 
[74]
1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. The Regular Real-Time Languages. Vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View | DOI
 
[73]
1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. It’s about Time: Real-Time Logics Reviewed. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View | DOI
 
[72]
1998 | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, et al. Axioms for Real-Time Logics. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:10.1007/BFb0055625.
View | DOI
 
[71]
1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. An Algorithm for the Approximative Analysis of Rectangular Automata. Vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View | DOI
 
[70]
1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. From Pre-Historic to Post-Modern Symbolic Model Checking. Vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View | DOI
 
[69]
1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
View | DOI
 
[68]
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., and Shankar Sastry. “HSCC: Hybrid Systems—Computation and Control.” HSCC: Hybrid Systems - Computation and Control, vol. 1386, Springer, 1998, doi:1260.
View | DOI
 
[67]
1998 | Journal Article | IST-REx-ID: 4492
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
View | DOI
 
[66]
1998 | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, et al. Symbolic Exploration of Transition Hierarchies. Vol. 1384, Springer, 1998, pp. 330–44, doi: 10.1007/BFb0054181.
View | DOI
 
[65]
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. Reachability Verification for Hybrid Automata. Vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View | DOI
 
[64]
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. An Assume-Guarantee Rule for Checking Simulation. Vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View | DOI
 
[63]
1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.
View | DOI
 
[62]
1997 | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. Modularity for Timed and Hybrid Systems. Vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View | DOI
 
[61]
1997 | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. Partial-Order Reduction in Symbolic State-Space Exploration. Vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View | DOI
 
[60]
1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A., and Orna Kupferman. From Quantity to Quality. Vol. 1201, Springer, 1997, pp. 48–62, doi: 10.1007/BFb0014712.
View | DOI
 
[59]
1997 | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.
View | DOI
 
[58]
1997 | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. Alternating-Time Temporal Logic. IEEE, 1997, pp. 100–09, doi: 10.1109/SFCS.1997.646098 .
View | DOI
 
[57]
1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A., and Peter Kopke. Discrete-Time Control for Rectangular Hybrid Automata. Vol. 1256, Springer, 1997, pp. 582–93, doi:10.1007/3-540-63165-8_213.
View | DOI
 
[56]
1997 | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, et al. Symbolic Analysis of Hybrid Systems. IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717  .
View | DOI
 
[55]
1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A., et al. Fair Simulation. Vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.
View | DOI
 
[54]
1997 | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
View | DOI
 
[53]
1997 | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008.
View | DOI
 
[52]
1997 | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, et al. Robust Timed Automata. Vol. 1201, Springer, 1997, pp. 331–45, doi:10.1007/BFb0014736.
View | DOI
 
[51]
1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, Thomas A. The Theory of Hybrid Automata. IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .
View | DOI
 
[50]
1996 | Conference Paper | IST-REx-ID: 4588
Alur, Rajeev, and Thomas A. Henzinger. Reactive Modules. IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.
View | DOI
 
[49]
1996 | Journal Article | IST-REx-ID: 4610
Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.
View | DOI | Download (ext.)
 
[48]
1996 | Book Chapter | IST-REx-ID: 4426
Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.
View | DOI
 
[47]
1996 | Journal Article | IST-REx-ID: 4611
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.
View | DOI
 
[46]
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, Thomas A., et al. A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking. Vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.
View | DOI
 
[45]
1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.
View | DOI
 
[44]
1996 | Conference (Editor) | IST-REx-ID: 4585
Alur, Rajeev, and Thomas A. Henzinger. “CAV: Computer Aided Verification.” CAV: Computer Aided Verification, vol. 1102, Springer, 1996, doi:1075.
View | DOI
 
[43]
1996 | Book (Editor) | IST-REx-ID: 4612
Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.
View | DOI
 
[42]
1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, Thomas A., and Peter Kopke. State Equivalences for Rectangular Hybrid Automata. Vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.
View | DOI
 
[41]
1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A., et al. HyTech: The next Generation. IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .
View | DOI
 
[40]
1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, Thomas A., et al. What’s Decidable about Hybrid Automata? ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.
View | DOI
 
[39]
1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.
View | DOI
 
[38]
1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A., et al. A User Guide to HyTech. Vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
View | DOI
 
[37]
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A., et al. The Expressive Power of Clocks. Vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View | DOI
 
[36]
1995 | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
View | DOI
 
[35]
1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.
View | DOI
 
[34]
1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, Thomas A., and Pei Ho. Algorithmic Analysis of Nonlinear Hybrid Systems. Vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
View | DOI
 
[33]
1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. Local Liveness for Compositional Modeling of Fair Reactive Systems. Vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View | DOI
 
[32]
1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, et al. Computing Simulations on Finite and Infinite Graphs. IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
View | DOI
 
[31]
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. Hybrid Automata with Finite Bisimulations. Vol. 944, Springer, 1995, pp. 324–35, doi:0.1007/3-540-60084-1_85.
View | DOI
 
[30]
1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, et al. Proving Safety Properties of Hybrid Systems. Vol. 863, Springer, 1994, pp. 431–54, doi:10.1007/3-540-58468-4_177.
View | DOI
 
[29]
1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29.
View | Download (ext.)
 
[28]
1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, et al. A Determinizable Class of Timed Automata. Vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
View | DOI
 
[27]
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A., and Peter Kopke. Verification Methods for the Divergent Runs of Clock Systems. Vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.
View | DOI
 
[26]
1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” Journal of the ACM, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:10.1145/174644.174651.
View | DOI | Download (ext.)
 
[25]
1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.” Information and Computation, vol. 111, no. 2, Elsevier, 1994, pp. 193–244, doi:10.1006/inco.1994.1045.
View | DOI | Download (ext.)
 
[24]
1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, et al. The Algorithmic Analysis of Hybrid Systems. Vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
View | DOI
 
[23]
1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A. Henzinger. Finitary Fairness. IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .
View | DOI
 
[22]
1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, et al. The Observational Power of Clocks. Vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
View | DOI
 
[21]
1994 | Journal Article | IST-REx-ID: 4501
Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.
View | DOI
 
[20]
1993 | Journal Article | IST-REx-ID: 4589
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation, vol. 104, no. 1, Elsevier, 1993, pp. 35–77, doi:10.1006/inco.1993.1025.
View | DOI
 
[19]
1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, et al. Automatic Symbolic Verification of Embedded Systems. IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
View | DOI
 
[18]
1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View | DOI
 
[17]
1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, et al. Computing Accumulated Delays in Real-Time Systems. Vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
View | DOI
 
[16]
1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, et al. Parametric Real-Time Reasoning. ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.
View | DOI
 
[15]
1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
View | DOI
 
[14]
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A., et al. “Timed Transition Systems.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–51, doi:10.1007/BFb0031995.
View | DOI
 
[13]
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A., et al. What Good Are Digital Clocks? Vol. 623, Springer, 1992, pp. 545–58, doi:10.1007/3-540-55719-9_103.
View | DOI
 
[12]
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A., et al. Symbolic Model Checking for Real-Time Systems. IEEE, 1992, pp. 394–406, doi:10.1109/LICS.1992.185551.
View | DOI
 
[11]
1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:10.1016/0020-0190(92)90005-G.
View | DOI | Download (ext.)
 
[10]
1992 | Book Chapter | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A. Henzinger. “Logics and Models of Real Time: A Survey.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi:10.1007/BFb0031984.
View | DOI
 
[9]
1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A. Henzinger. Back to the Future: Towards a Theory of Timed Regular Languages. IEEE, 1992, pp. 177–86, doi:10.1109/SFCS.1992.267774.
View | DOI | Download (ext.)
 
[8]
1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A., et al. Temporal Proof Methodologies for Real-Time Systems. ACM, 1991, pp. 353–66, doi:10.1145/99583.99629.
View | DOI | Download (ext.)
 
[7]
1991 | Journal Article | IST-REx-ID: 4592
Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News, vol. 22, no. 3, ACM, 1991, pp. 6–12.
View | Download (ext.)
 
[6]
1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.
View | Download (ext.)
 
[5]
1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, et al. The Benefits of Relaxing Punctuality. ACM, 1991, pp. 139–52.
View
 
[4]
1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, Thomas A., et al. An Interleaving Model for Real Time. IEEE, 1990, pp. 717–30.
View | Download (ext.)
 
[3]
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, Thomas A. Half-Order Modal Logic: How to Prove Real-Time Properties. ACM, 1990, pp. 281–96, doi:10.1145/93385.93429.
View | DOI | Download (ext.)
 
[2]
1990 | Conference Paper | IST-REx-ID: 4597
Alur, Rajeev, and Thomas A. Henzinger. Real-Time Logics: Complexity and Expressiveness. IEEE, 1990, pp. 390–401, doi:10.1109/LICS.1990.113764.
View | DOI | Download (ext.)
 
[1]
1989 | Conference Paper | IST-REx-ID: 4596
Alur, Rajeev, and Thomas A. Henzinger. A Really Temporal Logic. IEEE, 1989, pp. 164–69, doi:10.1109/SFCS.1989.63473.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

426 Publications

Mark all

[426]
2019 | Journal Article | IST-REx-ID: 6752   OA
Avni, Guy, et al. “Infinite-Duration Bidding Games.” Journal of the ACM, vol. 66, no. 4, ACM, 2019, p. 31, doi:10.1145/3340295.
View | Files available | DOI | Download (ext.) | arXiv
 
[425]
2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni, Guy, et al. “Bidding Games on Markov Decision Processes.” Proceedings of the 13th International Conference of Reachability Problems, Springer.
View | Files available
 
[424]
2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
View | Files available | DOI
 
[423]
2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View | Files available | DOI
 
[422]
2019 | Journal Article | IST-REx-ID: 6761
Avni, Guy, et al. “Dynamic Resource Allocation Games.” Theoretical Computer Science, Elsevier, doi:10.1016/j.tcs.2019.06.031.
View | Files available | DOI
 
[421]
2018 | Conference Paper | IST-REx-ID: 5788   OA
Avni, Guy, et al. Infinite-Duration Poorman-Bidding Games. Vol. 11316, Springer, 2018, pp. 21–36, doi:10.1007/978-3-030-04612-5_2.
View | DOI | Download (ext.) | arXiv
 
[420]
2018 | Book Chapter | IST-REx-ID: 59
Bloem, Roderick, et al. “Graph Games and Reactive Synthesis.” Handbook of Modeling Checking, edited by Thomas A Henzinger et al., 1st ed., Springer, 2018, pp. 921–62, doi:10.1007/978-3-319-10575-8_27.
View | DOI
 
[419]
2018 | Conference Paper | IST-REx-ID: 5959
Bakhirkin, Alexey, et al. “Keynote: The First-Order Logic of Signals.” 2018 International Conference on Embedded Software (EMSOFT), IEEE, 2018, pp. 1–10, doi:10.1109/emsoft.2018.8537203.
View | DOI
 
[418]
2018 | Conference Paper | IST-REx-ID: 144
Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194.
View | DOI
 
[417]
2018 | Book Chapter | IST-REx-ID: 86
Chatterjee, Krishnendu, et al. “Computing Average Response Time.” Principles of Modeling, edited by Marten Lohstroh et al., vol. 10760, Springer, 2018, pp. 143–61, doi:10.1007/978-3-319-95246-8_9.
View | DOI
 
[416]
2018 | Conference Paper | IST-REx-ID: 81
Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
View | DOI
 
[415]
2018 | Journal Article | IST-REx-ID: 5677   OA
Benveniste, Albert, et al. “Contracts for System Design.” Foundations and Trends in Electronic Design Automation, vol. 12, no. 2–3, Now Publishers Inc, 2018, pp. 124–400, doi:10.1561/1000000053.
View | DOI | Download (ext.)
 
[414]
2018 | Conference Paper | IST-REx-ID: 140   OA
Frehse, Goran, et al. Space-Time Interpolants. Vol. 10981, Springer, 2018, pp. 468–86, doi:10.1007/978-3-319-96145-3_25.
View | Files available | DOI
 
[413]
2018 | Conference Paper | IST-REx-ID: 133   OA
Kragl, Bernhard, et al. Synchronizing the Asynchronous. Vol. 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 21, doi:10.4230/LIPIcs.CONCUR.2018.21.
View | Files available | DOI
 
[412]
2018 | Book | IST-REx-ID: 3300
Clarke, Edmund M., et al. Handbook of Model Checking. 1st ed., Springer, 2018, doi:10.1007/978-3-319-10575-8.
View | DOI
 
[411]
2018 | Conference Paper | IST-REx-ID: 142   OA
Kong, Hui, et al. Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. Vol. 10981, Springer, 2018, pp. 449–67, doi:10.1007/978-3-319-96145-3_24.
View | Files available | DOI
 
[410]
2018 | Book Chapter | IST-REx-ID: 60
Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.
View | DOI
 
[409]
2017 | Conference Paper | IST-REx-ID: 1116   OA
Avni, Guy, et al. Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults. Vol. 10206, Springer, 2017, pp. 169–87, doi:10.1007/978-3-662-54580-5_10.
View | Files available | DOI
 
[408]
2017 | Journal Article | IST-REx-ID: 1351
Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.
View | Files available | DOI
 
[407]
2017 | Conference Paper | IST-REx-ID: 631   OA
Bogomolov, Sergiy, et al. Counterexample Guided Refinement of Template Polyhedra. Vol. 10205, Springer, 2017, pp. 589–606, doi:10.1007/978-3-662-54577-5_34.
View | Files available | DOI
 
[406]
2017 | Technical Report | IST-REx-ID: 6426
Henzinger, Thomas A., et al. Synchronizing the Asynchronous. IST Austria, 2017, doi:10.15479/AT:IST-2018-853-v2-2.
View | Files available | DOI
 
[405]
2017 | Journal Article | IST-REx-ID: 465   OA
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 
[404]
2017 | Journal Article | IST-REx-ID: 1338
Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.
View | Files available | DOI
 
[403]
2017 | Journal Article | IST-REx-ID: 1066
Chatterjee, Krishnendu, et al. “Quantitative Fair Simulation Games.” Information and Computation, vol. 254, no. 2, Elsevier, 2017, pp. 143–66, doi:10.1016/j.ic.2016.10.006.
View | Files available | DOI
 
[402]
2017 | Book Chapter | IST-REx-ID: 625
Chatterjee, Krishnendu, et al. “The Cost of Exactness in Quantitative Reachability.” Models, Algorithms, Logics and Tools, edited by Luca Aceto et al., vol. 10460, Springer, 2017, pp. 367–81, doi:10.1007/978-3-319-63121-9_18.
View | DOI
 
[401]
2017 | Conference Paper | IST-REx-ID: 663   OA
Kong, Hui, et al. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.” Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–72, doi:10.1145/3049797.3049814.
View | Files available | DOI
 
[400]
2017 | Journal Article | IST-REx-ID: 467
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, ACM, 2017, p. 31, doi:10.1145/3152769.
View | Files available | DOI | Download (ext.) | arXiv
 
[399]
2017 | Conference Paper | IST-REx-ID: 633
Bak, Stanley, et al. Challenges and Tool Implementation of Hybrid Rapidly Exploring Random Trees. Edited by Alessandro Abate and Sylvie Bodo, vol. 10381, Springer, 2017, pp. 83–89, doi:10.1007/978-3-319-63501-9_6.
View | DOI
 
[398]
2017 | Conference Paper | IST-REx-ID: 950
Avni, Guy, et al. Infinite-Duration Bidding Games. Vol. 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 17, doi:10.4230/LIPIcs.CONCUR.2017.21.
View | Files available | DOI | arXiv
 
[397]
2017 | Conference Paper | IST-REx-ID: 711   OA
Chatterjee, Krishnendu, et al. Bidirectional Nested Weighted Automata. Vol. 85, 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.CONCUR.2017.5.
View | Files available | DOI
 
[396]
2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems, vol. 23, Elsevier, 2017, pp. 166–90, doi:10.1016/j.nahs.2016.09.001.
View | DOI
 
[395]
2017 | Journal Article | IST-REx-ID: 471   OA
Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.
View | Files available | DOI | Download (ext.)
 
[394]
2017 | Conference Paper | IST-REx-ID: 647   OA
Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 116–32, doi:10.1007/978-3-319-65765-3_7.
View | Files available | DOI
 
[393]
2017 | Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View | DOI
 
[392]
2016 | Conference Paper | IST-REx-ID: 1421
Bak, Stanley, et al. Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. Springer, 2016, pp. 155–64, doi:10.1145/2883817.2883837.
View | DOI
 
[391]
2016 | Conference Paper | IST-REx-ID: 1439   OA
Dragoi, Cezara, et al. PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. Vol. 20–22, ACM, 2016, pp. 400–15, doi:10.1145/2837614.2837650.
View | DOI | Download (ext.)
 
[390]
2016 | Journal Article | IST-REx-ID: 1148
Schilling, Christian, et al. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Biosystems, vol. 149, Elsevier, 2016, pp. 15–25, doi:10.1016/j.biosystems.2016.07.005.
View | Files available | DOI
 
[389]
2016 | Conference Paper | IST-REx-ID: 1341
Avni, Guy, et al. Dynamic Resource Allocation Games. Vol. 9928, Springer, 2016, pp. 153–66, doi:10.1007/978-3-662-53354-3_13.
View | Files available | DOI
 
[388]
2016 | Conference Paper | IST-REx-ID: 1093
Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
View | Files available | DOI
 
[387]
2016 | Conference Paper | IST-REx-ID: 1391
Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
View | Files available | DOI | Download (ext.)
 
[386]
2016 | Conference Paper | IST-REx-ID: 1138   OA
Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
View | DOI | Download (ext.)
 
[385]
2016 | Conference Paper | IST-REx-ID: 1227   OA
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
View | Files available | DOI
 
[384]
2016 | Conference Paper | IST-REx-ID: 1335   OA
Chatterjee, Krishnendu, et al. Quantitative Monitor Automata. Vol. 9837, Springer, 2016, pp. 23–38, doi:10.1007/978-3-662-53413-7_2.
View | DOI | Download (ext.)
 
[383]
2016 | Conference Paper | IST-REx-ID: 1234
Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
View | Files available | DOI | Download (ext.)
 
[382]
2016 | Conference Paper | IST-REx-ID: 1090   OA
Chatterjee, Krishnendu, et al. Nested Weighted Limit-Average Automata of Bounded Width. Vol. 58, 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.MFCS.2016.24.
View | Files available | DOI
 
[381]
2016 | Conference Paper | IST-REx-ID: 1095   OA
Haas, Andreas, et al. “Local Linearizability for Concurrent Container-Type Data Structures.” Leibniz International Proceedings in Informatics, vol. 59, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.6.
View | Files available | DOI
 
[380]
2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger, Thomas A., et al. Lipschitz Robustness of Timed I/O Systems. Vol. 9583, Springer, 2016, pp. 250–67, doi:10.1007/978-3-662-49122-5_12.
View | DOI | Download (ext.)
 
[379]
2016 | Conference Paper | IST-REx-ID: 1230
Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download (ext.)
 
[378]
2015 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science, vol. 11, no. 1, International Federation of Computational Logic, 2015, p. 20, doi:10.2168/LMCS-11(1:20)2015.
View | Files available | DOI
 
[377]
2015 | Journal Article | IST-REx-ID: 1856
Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
View | Files available | DOI | Download (ext.)
 
[376]
2015 | Journal Article | IST-REx-ID: 1731
Chatterjee, Krishnendu, et al. “Randomness for Free.” Information and Computation, vol. 245, no. 12, Elsevier, 2015, pp. 3–16, doi:10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download (ext.)
 
[375]
2015 | Conference Paper | IST-REx-ID: 1659
Boker, Udi, et al. “The Target Discounted-Sum Problem.” LICS, IEEE, 2015, pp. 750–61, doi:10.1109/LICS.2015.74.
View | Files available | DOI
 
[374]
2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, et al. From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis. Vol. 9207, Springer, 2015, pp. 180–97, doi:10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 
[373]
2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 
[372]
2015 | Technical Report | IST-REx-ID: 5436   OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 
[371]
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, vol. 25, no. 2, 7, ACM, 2015, doi:10.1145/2745799.
View | DOI
 
[370]
2015 | Conference Paper | IST-REx-ID: 1992   OA
Gupta, Ashutosh, et al. Succinct Representation of Concurrent Trace Sets. ACM, 2015, pp. 433–44, doi:10.1145/2676726.2677008.
View | Files available | DOI
 
[369]
2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, IEEE, 2015, p. 7174926, doi:10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 
[368]
2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
View | Files available | DOI
 
[367]
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, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:10.1145/2701001.
View | DOI
 
[366]
2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download (ext.)
 
[365]
2015 | Technical Report | IST-REx-ID: 5438
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 
[364]
2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov, Sergiy, et al. Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. Vol. 9308, Springer, 2015, pp. 77–89, doi:10.1007/978-3-319-23401-4_8.
View | Files available | DOI
 
[363]
2015 | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
View | DOI
 
[362]
2015 | Technical Report | IST-REx-ID: 5439   OA
Boker, Udi, et al. The Target Discounted-Sum Problem. IST Austria, 2015, doi:10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 
[361]
2015 | Conference Paper | IST-REx-ID: 1502
Beneš, Nikola, et al. Complete Composition Operators for IOCO-Testing Theory. ACM, 2015, pp. 101–10, doi:10.1145/2737166.2737175.
View | Files available | DOI
 
[360]
2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 
[359]
2014 | Conference Paper | IST-REx-ID: 1870   OA
Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.” Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.
View | Files available | DOI
 
[358]
2014 | Conference Paper | IST-REx-ID: 2239
Boker, Udi, et al. Battery Transition Systems. Vol. 49, no. 1, ACM, 2014, pp. 595–606, doi:10.1145/2535838.2535875.
View | DOI
 
[357]
2014 | Technical Report | IST-REx-ID: 5411   OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 
[356]
2014 | Technical Report | IST-REx-ID: 5416   OA
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 
[355]
2014 | Technical Report | IST-REx-ID: 5428   OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 
[354]
2014 | Journal Article | IST-REx-ID: 2038
Boker, Udi, et al. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 4, ACM, 2014, p. 27, doi:10.1145/2629686.
View | Files available | DOI
 
[353]
2014 | Technical Report | IST-REx-ID: 5417   OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
View | Files available | DOI
 
[352]
2014 | Conference Paper | IST-REx-ID: 2217
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Hybrid Systems.” Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–22, doi:10.1145/2562059.2562130.
View | DOI
 
[351]
2014 | Journal Article | IST-REx-ID: 1733
Cerny, Pavol, et al. “Interface Simulation Distances.” Theoretical Computer Science, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi:10.1016/j.tcs.2014.08.019.
View | Files available | DOI | Download (ext.)
 
[350]
2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.
View | Files available | DOI
 
[349]
2014 | Conference Paper | IST-REx-ID: 2167
Daca, Przemyslaw, et al. “Compositional Specifications for Ioco Testing.” IEEE 7th International Conference on Software Testing, Verification and Validation, 6823899, Springer, 2014, doi:10.1109/ICST.2014.50.
View | Files available | DOI
 
[348]
2014 | Conference Paper | IST-REx-ID: 2218
Cerny, Pavol, et al. Regression-Free Synthesis for Concurrency. Vol. 8559, Springer, 2014, pp. 568–84, doi:10.1007/978-3-319-08867-9_38.
View | Files available | DOI | Download (ext.)
 
[347]
2014 | Conference Paper | IST-REx-ID: 1393
Gordon, Andrew, et al. “Probabilistic Programming.” Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–81, doi:10.1145/2593882.2593900.
View | DOI
 
[346]
2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem, Roderick, et al. “Synthesizing Robust Systems.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.
View | Files available | DOI
 
[345]
2014 | Journal Article | IST-REx-ID: 2233   OA
Boker, Udi, and Thomas A. Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:10)2014.
View | Files available | DOI
 
[344]
2014 | Technical Report | IST-REx-ID: 5415
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 
[343]
2013 | Journal Article | IST-REx-ID: 2289   OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
View | Files available | DOI
 
[342]
2013 | Conference Paper | IST-REx-ID: 2328   OA
Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
View | Files available | DOI
 
[341]
2013 | Conference (Editor) | IST-REx-ID: 2885
Kucera, Antonin, et al., editors. Mathematical and Engineering Methods in Computer Science. Vol. 7721, Springer, 2013, pp. 1–228, doi:10.1007/978-3-642-36046-6.
View | DOI
 
[340]
2013 | Journal Article | IST-REx-ID: 2854   OA
Chatterjee, Krishnendu, et al. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences, vol. 79, no. 5, Elsevier, 2013, pp. 640–57, doi:10.1016/j.jcss.2012.12.001.
View | Files available | DOI
 
[339]
2013 | Technical Report | IST-REx-ID: 6440   OA
Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.
View | Files available | DOI
 
[338]
2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 
[337]
2013 | Technical Report | IST-REx-ID: 5406   OA
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-v1-1.
View | Files available | DOI
 
[336]
2013 | Book Chapter | IST-REx-ID: 5747   OA
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 
[335]
2013 | Conference Paper | IST-REx-ID: 2445
Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
View | Files available | DOI
 
[334]
2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
View | Files available | DOI
 
[333]
2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
View | Files available | DOI
 
[332]
2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger, Thomas A., and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013, doi:10.15479/AT:IST-2013-123-v1-1.
View | Files available | DOI
 
[331]
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View | DOI
 
[330]
2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
View | DOI
 
[329]
2013 | Conference Paper | IST-REx-ID: 2327
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.
View | Files available | DOI
 
[328]
2012 | Conference Paper | IST-REx-ID: 2936   OA
Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.” Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.
View | DOI | Download (ext.)
 
[327]
2012 | Conference Paper | IST-REx-ID: 3136
Guet, Calin C., et al. Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits. Vol. 7358, Springer, 2012, pp. 294–309, doi:10.1007/978-3-642-31424-7_24.
View | DOI
 
[326]
2012 | Conference Paper | IST-REx-ID: 3155   OA
Delahaye, Benoît, et al. Synchronous Interface Theories and Time Triggered Scheduling. Vol. 7273, Springer, 2012, pp. 203–18, doi:10.1007/978-3-642-30793-5_13.
View | Files available | DOI
 
[325]
2012 | Journal Article | IST-REx-ID: 3249
Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 
[324]
2012 | Conference Paper | IST-REx-ID: 3251
Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.
View | Files available | DOI
 
[323]
2012 | Journal Article | IST-REx-ID: 3846   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. “A Survey of Stochastic ω Regular Games.” Journal of Computer and System Sciences, vol. 78, no. 2, Elsevier, 2012, pp. 394–413, doi:10.1016/j.jcss.2011.05.002.
View | Files available | DOI
 
[322]
2012 | Journal Article | IST-REx-ID: 3168
Feret, Jérôme, et al. “Lumpability Abstractions of Rule Based Systems.” Theoretical Computer Science, vol. 431, Elsevier, 2012, pp. 137–64, doi:10.1016/j.tcs.2011.12.059.
View | Files available | DOI
 
[321]
2012 | Conference Paper | IST-REx-ID: 1384   OA
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
View | DOI | Download (ext.)
 
[320]
2012 | Journal Article | IST-REx-ID: 2302
Henzinger, Thomas A., and Maria Mateescu. “The Propagation Approach for Computing Biochemical Reaction Networks.” IEEE ACM Transactions on Computational Biology and Bioinformatics, vol. 10, no. 2, IEEE, 2012, pp. 310–22, doi:10.1109/TCBB.2012.91.
View | DOI
 
[319]
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger, Thomas A. “Quantitative Reactive Models.” Conference Proceedings MODELS 2012, vol. 7590, Springer, 2012, pp. 1–2, doi:10.1007/978-3-642-33666-9_1.
View | DOI
 
[318]
2012 | Conference Paper | IST-REx-ID: 2890
Cerny, Pavol, et al. “Synthesis from Incompatible Specifications.” Proceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 53–62, doi:10.1145/2380356.2380371.
View | DOI
 
[317]
2012 | Journal Article | IST-REx-ID: 3836
Ghosal, Arkadeb, et al. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.” Science of Computer Programming, vol. 77, no. 2, Elsevier, 2012, pp. 96–112, doi:10.1016/j.scico.2010.06.004.
View | DOI
 
[316]
2012 | Conference Paper | IST-REx-ID: 2891   OA
Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.” Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.
View | Files available | DOI
 
[315]
2012 | Conference Paper | IST-REx-ID: 2916   OA
Cerny, Pavol, et al. “Interface Simulation Distances.” Electronic Proceedings in Theoretical Computer Science, vol. 96, EPTCS, 2012, pp. 29–42, doi:10.4204/EPTCS.96.3.
View | Files available | DOI | Download (ext.)
 
[314]
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” Conference Proceedings Monterey Workshop 2012, vol. 7539, Springer, 2012, pp. 380–95, doi:10.1007/978-3-642-34059-8_20.
View | DOI
 
[313]
2012 | Journal Article | IST-REx-ID: 3128   OA
Chatterjee, Krishnendu, et al. “A Survey of Partial-Observation Stochastic Parity Games.” Formal Methods in System Design, vol. 43, no. 2, Springer, 2012, pp. 268–84, doi:10.1007/s10703-012-0164-2.
View | Files available | DOI
 
[312]
2011 | Conference Paper | IST-REx-ID: 3299   OA
Henzinger, Thomas A., and Maria Mateescu. Propagation Models for Computing Biochemical Reaction Networks. Springer, 2011, pp. 1–3, doi:10.1145/2037509.2037510.
View | Files available | DOI
 
[311]
2011 | Conference Paper | IST-REx-ID: 3302   OA
Henzinger, Thomas A., et al. Static Scheduling in Clouds. USENIX, 2011, pp. 1–6.
View | Files available
 
[310]
2011 | Journal Article | IST-REx-ID: 3352
Fisher, Jasmin, et al. “Biology as Reactivity.” Communications of the ACM, vol. 54, no. 10, ACM, 2011, pp. 72–82, doi:10.1145/2001269.2001289.
View | DOI
 
[309]
2011 | Conference Paper | IST-REx-ID: 3357
Chatterjee, Krishnendu, et al. The Complexity of Request-Response Games. Edited by Adrian-Horia Dediu et al., vol. 6638, Springer, 2011, pp. 227–37, doi:10.1007/978-3-642-21254-3_17.
View | DOI
 
[308]
2011 | Journal Article | IST-REx-ID: 3364
Didier, Frédéric, et al. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science, vol. 412, no. 21, Elsevier, 2011, pp. 2128–41, doi:10.1016/j.tcs.2010.10.022.
View | Files available | DOI
 
[307]
2011 | Journal Article | IST-REx-ID: 3353   OA
Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
View | Files available | DOI
 
[306]
2011 | Conference Paper | IST-REx-ID: 3358
Henzinger, Thomas A., et al. Scheduling Large Jobs by Abstraction Refinement. ACM, 2011, pp. 329–42, doi:10.1145/1966445.1966476.
View | DOI
 
[305]
2011 | Conference Paper | IST-REx-ID: 3360   OA
Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
View | Files available | DOI
 
[304]
2011 | Conference Paper | IST-REx-ID: 3365   OA
Chatterjee, Krishnendu, et al. QUASY: Quantitative Synthesis Tool. Vol. 6605, Springer, 2011, pp. 267–71, doi:10.1007/978-3-642-19835-9_24.
View | Files available | DOI
 
[303]
2011 | Journal Article | IST-REx-ID: 3315
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
View | Files available | DOI
 
[302]
2011 | Journal Article | IST-REx-ID: 531
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
View | DOI
 
[301]
2011 | Technical Report | IST-REx-ID: 5385   OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
View | Files available | DOI
 
[300]
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View | Files available | DOI
 
[299]
2011 | Conference Paper | IST-REx-ID: 3316
Bloem, Roderick, et al. Specification-Centered Robustness. IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.
View | DOI
 
[298]
2011 | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A. Henzinger. From Boolean to Quantitative Synthesis. ACM, 2011, pp. 149–54, doi:10.1145/2038642.2038666.
View | DOI
 
[297]
2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.
View | Files available | DOI
 
[296]
2011 | Conference Paper | IST-REx-ID: 3366
Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi:10.1007/978-3-642-22110-1_20 .
View | Files available | DOI
 
[295]
2011 | Conference Paper | IST-REx-ID: 3362
Fisher, Jasmin, et al. Dynamic Reactive Modules. Edited by Joost-Pieter Katoen and Barbara König, vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
View | DOI
 
[294]
2011 | Conference Paper | IST-REx-ID: 3355   OA
Halalai, Raluca, et al. Quantitative Evaluation of BFT Protocols. IEEE, 2011, pp. 255–64, doi:10.1109/QEST.2011.40.
View | Files available | DOI
 
[293]
2011 | Journal Article | IST-REx-ID: 3381
Henzinger, Thomas A., et al. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4, World Scientific Publishing, 2011, pp. 823–41, doi:10.1142/S0129054111008441.
View | Files available | DOI
 
[292]
2011 | Conference Paper | IST-REx-ID: 3301   OA
Henzinger, Thomas A., and Maria Mateescu. Tail Approximation for the Chemical Master Equation. Tampere International Center for Signal Processing, 2011.
View | Files available
 
[291]
2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.
View | Download (ext.) | arXiv
 
[290]
2011 | Conference Paper | IST-REx-ID: 3356
Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
View | Files available | DOI
 
[289]
2010 | Conference Paper | IST-REx-ID: 3838   OA
Henzinger, Thomas A., et al. Hybrid Numerical Solution of the Chemical Master Equation. Springer, 2010, pp. 55–65, doi:10.1145/1839764.1839772.
View | Files available | DOI
 
[288]
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, Thomas A. From Boolean to Quantitative Notions of Correctness. Vol. 45, no. 1, ACM, 2010, pp. 157–58, doi:10.1145/1706299.1706319.
View | DOI
 
[287]
2010 | Conference Paper | IST-REx-ID: 3845   OA
Henzinger, Thomas A., et al. Aligators for Arrays. Vol. 6397, Springer, 2010, pp. 348–56, doi:10.1007/978-3-642-16242-8_25.
View | Files available | DOI
 
[286]
2010 | Conference Paper | IST-REx-ID: 3864   OA
Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi:10.1007/978-3-642-14295-6_34.
View | Files available | DOI | Download (ext.)
 
[285]
2010 | Conference Paper | IST-REx-ID: 4381   OA
Henzinger, Thomas A., et al. FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE, 2010, pp. 83–90, doi:10.1109/CLOUD.2010.71  .
View | Files available | DOI
 
[284]
2010 | Conference Paper | IST-REx-ID: 4393
Cerny, Pavol, et al. Simulation Distances. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–68, doi:10.1007/978-3-642-15375-4_18.
View | Files available | DOI
 
[283]
2010 | Technical Report | IST-REx-ID: 5389   OA
Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
View | Files available | DOI
 
[282]
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. Vol. 6252, Springer, 2010, pp. 1–16, doi:10.1007/978-3-642-15643-4_1.
View | Files available | DOI
 
[281]
2010 | Conference Paper | IST-REx-ID: 3719   OA
Feret, Jérôme, et al. Lumpability Abstractions of Rule-Based Systems. Vol. 40, Open Publishing Association, 2010, pp. 142–61.
View | Files available | Download (ext.)
 
[280]
2010 | Journal Article | IST-REx-ID: 3834   OA
Wolf, Verena, et al. “Solving the Chemical Master Equation Using Sliding Windows.” BMC Systems Biology, vol. 4, no. 42, BioMed Central, 2010, pp. 1–19, doi:10.1186/1752-0509-4-42.
View | Files available | DOI
 
[279]
2010 | Conference Paper | IST-REx-ID: 3839   OA
Henzinger, Thomas A., et al. Invariant and Type Inference for Matrices. Vol. 5944, Springer, 2010, pp. 163–79, doi:10.1007/978-3-642-11319-2_14.
View | Files available | DOI
 
[278]
2010 | Conference Paper | IST-REx-ID: 3853   OA
Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi:10.1007/978-3-642-15375-4_19.
View | Files available | DOI
 
[277]
2010 | Conference Paper | IST-REx-ID: 4382   OA
Guerraoui, Rachid, et al. Transactions in the Jungle. ACM, 2010, pp. 263–72, doi:10.1145/1810479.1810529.
View | Files available | DOI
 
[276]
2010 | Conference Paper | IST-REx-ID: 3860   OA
Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
View | Files available | DOI
 
[275]
2010 | Conference Paper | IST-REx-ID: 3847   OA
Didier, Frédéric, et al. SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks. IEEE, 2010, pp. 193–94, doi:10.1109/QEST.2010.33.
View | Files available | DOI
 
[274]
2010 | Conference Paper | IST-REx-ID: 3866   OA
Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi:10.1007/978-3-642-14295-6_36.
View | Files available | DOI
 
[273]
2010 | Journal Article | IST-REx-ID: 3842
Didier, Frédéric, et al. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology, vol. 4, no. 6, Institution of Engineering and Technology, 2010, pp. 441–52, doi:10.1049/iet-syb.2010.0005.
View | Files available | DOI
 
[272]
2010 | Journal Article | IST-REx-ID: 3861
Chatterjee, Krishnendu, et al. “Strategy Logic.” Information and Computation, vol. 208, no. 6, Elsevier, 2010, pp. 677–93, doi:10.1016/j.ic.2009.07.004.
View | Files available | DOI
 
[271]
2010 | Conference Paper | IST-REx-ID: 4388
Chatterjee, Krishnendu, et al. GIST: A Solver for Probabilistic Games. Vol. 6174, Springer, 2010, pp. 665–69, doi:10.1007/978-3-642-14295-6_57.
View | Files available | DOI | Download (ext.) | arXiv
 
[270]
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View | Files available | DOI
 
[269]
2010 | Journal Article | IST-REx-ID: 3862   OA
Chatterjee, Krishnendu, et al. “Quantitative Languages.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 4, ACM, 2010, p. 23, doi:10.1145/1805950.1805953.
View | Files available | DOI
 
[268]
2010 | Conference Paper | IST-REx-ID: 4396   OA
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
View | Files available | DOI
 
[267]
2010 | Conference Paper | IST-REx-ID: 4389   OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
View | Files available | DOI
 
[266]
2010 | Conference Paper | IST-REx-ID: 3855
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. Vol. 6281, Springer, 2010, pp. 258–69, doi:10.1007/978-3-642-15155-2_24.
View | Files available | DOI
 
[265]
2010 | Journal Article | IST-REx-ID: 3867
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
View | Files available | DOI
 
[264]
2010 | Journal Article | IST-REx-ID: 3402
Guerraoui, Rachid, et al. “Model Checking Transactional Memories.” Distributed Computing, vol. 22, no. 3, Springer, 2010, pp. 129–45, doi:10.1007/s00446-009-0092-6.
View | DOI | Download (ext.)
 
[263]
2010 | Conference Paper | IST-REx-ID: 3856   OA
Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
View | Files available | DOI | Download (ext.)
 
[262]
2010 | Journal Article | IST-REx-ID: 3863
Berwanger, Dietmar, et al. “Strategy Construction for Parity Games with Imperfect Information.” Information and Computation, vol. 208, no. 10, Elsevier, 2010, pp. 1206–20, doi:10.1016/j.ic.2009.09.006.
View | Files available | DOI
 
[261]
2010 | Conference Paper | IST-REx-ID: 4380   OA
Henzinger, Thomas A., et al. A Marketplace for Cloud Resources. ACM, 2010, pp. 1–8, doi:10.1145/1879021.1879022.
View | Files available | DOI
 
[260]
2010 | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, et al. “Quantitative Simulation Games.” Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, vol. 6200, Springer, 2010, pp. 42–60, doi:10.1007/978-3-642-13754-9_3.
View | DOI
 
[259]
2010 | Technical Report | IST-REx-ID: 5388   OA
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
View | Files available | DOI
 
[258]
2010 | Conference Paper | IST-REx-ID: 4361
Wies, Thomas, et al. Forward Analysis of Depth-Bounded Processes. Edited by Luke Ong, vol. 6014, Springer, 2010, pp. 94–108, doi:10.1007/978-3-642-12032-9_8.
View | Files available | DOI
 
[257]
2009 | Conference Paper | IST-REx-ID: 3871   OA
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 
[256]
2009 | Conference Paper | IST-REx-ID: 4545   OA
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.
View | Files available | DOI
 
[255]
2009 | Conference Paper | IST-REx-ID: 4569   OA
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.
View | DOI | Download (ext.) | arXiv
 
[254]
2009 | 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
 
[253]
2009 | Conference Paper | IST-REx-ID: 3841   OA
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 
[252]
2009 | Conference Paper | IST-REx-ID: 3835
Bloem, Roderick, et al. Synthesizing Robust Systems. Springer, 2009, pp. 85–92, doi:10.1109/FMCAD.2009.5351139.
View | DOI
 
[251]
2009 | Conference Paper | IST-REx-ID: 4383   OA
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
 
[250]
2009 | Conference Paper | IST-REx-ID: 4453   OA
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.)
 
[249]
2009 | Conference Paper | IST-REx-ID: 4580   OA
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.)
 
[248]
2009 | Conference Paper | IST-REx-ID: 4542   OA
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 
[247]
2009 | 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
 
[246]
2009 | Technical Report | IST-REx-ID: 5393   OA
Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.
View | Files available | DOI
 
[245]
2009 | Conference Paper | IST-REx-ID: 3843
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
View | Files available | DOI
 
[244]
2009 | 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
 
[243]
2009 | Technical Report | IST-REx-ID: 5394   OA
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
View | Files available | DOI
 
[242]
2009 | Conference Paper | IST-REx-ID: 3837   OA
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
View | Files available | DOI
 
[241]
2009 | Conference Paper | IST-REx-ID: 3503   OA
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 
[240]
2009 | Conference Paper | IST-REx-ID: 3844   OA
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
View | Files available | DOI
 
[239]
2009 | Journal Article | IST-REx-ID: 3870   OA
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
View | Files available | DOI
 
[238]
2009 | Conference Paper | IST-REx-ID: 4544   OA
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.)
 
[237]
2009 | Technical Report | IST-REx-ID: 5395   OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.
View | Files available | DOI
 
[236]
2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, Krishnendu, et al. Timed Parity Games: Complexity and Robustness. Vol. 5215, Springer, 2008, pp. 124–40, doi:10.1007/978-3-540-85778-5_10.
View | Files available | DOI
 
[235]
2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, Rachid, et al. Permissiveness in Transactional Memories. Vol. 5218, Springer, 2008, pp. 305–19, doi:10.1007/978-3-540-87779-0_21.
View | DOI | Download (ext.)
 
[234]
2008 | Conference Paper | IST-REx-ID: 4521
Gupta, Ashutosh, et al. Proving Non-Termination. ACM, 2008, pp. 147–58, doi:10.1145/1328438.1328459.
View | DOI | Download (ext.)
 
[233]
2008 | Conference Paper | IST-REx-ID: 4533
Doyen, Laurent, et al. Interface Theories with Component Reuse. ACM, 2008, pp. 79–88, doi:10.1145/1450058.1450070.
View | DOI | Download (ext.)
 
[232]
2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, Krishnendu, et al. Environment Assumptions for Synthesis. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–61, doi:10.1007/978-3-540-85361-9_14.
View | DOI
 
[231]
2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Value Iteration.” 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–38, doi:10.1007/978-3-540-69850-0_7.
View | DOI
 
[230]
2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, Thomas A., et al. Valigator: A Verification Tool with Bound and Invariant Generation. Vol. 5330, Springer, 2008, pp. 333–42, doi:10.1007/978-3-540-89439-1_24.
View | DOI | Download (ext.)
 
[229]
2008 | Conference Paper | IST-REx-ID: 4527
Fisher, Jasmin, et al. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. Vol. 5054, Springer, 2008, pp. 17–32, doi:10.1007/978-3-540-68413-8_2.
View | DOI | Download (ext.)
 
[228]
2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, Krishnendu, and Thomas A. Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.” Information Processing Letters, vol. 106, no. 1, Elsevier, 2008, pp. 1–7, doi:10.1016/j.ipl.2007.08.035.
View | DOI | Download (ext.)
 
[227]
2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, Krishnendu, et al. Logical Reliability of Interacting Real-Time Tasks. IEEE, 2008, pp. 909–14, doi:10.1145/1403375.1403595.
View | DOI | Download (ext.)
 
[226]
2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, Rachid, et al. Completeness and Nondeterminism in Model Checking Transactional Memories. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35, doi:10.1007/978-3-540-85361-9_6.
View | DOI | Download (ext.)
 
[225]
2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, Krishnendu, et al. Controller Synthesis with Budget Constraints. Vol. 4981, Springer, 2008, pp. 72–86, doi:DOI: 10.1007/978-3-540-78929-1_6.
View | DOI
 
[224]
2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, Dietmar, et al. Strategy Construction for Parity Games with Imperfect Information. Vol. 5201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–39, doi:10.1007/978-3-540-85361-9.
View | Files available | DOI
 
[223]
2008 | Journal Article | IST-REx-ID: 4509
Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881, Royal Society of London, 2008, pp. 3727–36, doi:10.1098/rsta.2008.0141.
View | DOI | Download (ext.)
 
[222]
2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, Krishnendu, et al. Trading Infinite Memory for Uniform Randomness in Timed Games. Vol. 4981, Springer, 2008, pp. 87–100, doi:10.1007/978-3-540-78929-1_7.
View | DOI
 
[221]
2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, Krishnendu, et al. Quantitative Languages. Vol. 5213, Springer, 2008, pp. 385–400, doi:10.1007/978-3-540-87531-4_28.
View | DOI
 
[220]
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View | DOI | Download (ext.)
 
[219]
2008 | Conference Paper | IST-REx-ID: 4384   OA
Guerraoui, Rachid, et al. Model Checking Transactional Memories. ACM, 2008, pp. 372–82, doi:10.1145/1375581.1375626.
View | Files available | DOI | Download (ext.)
 
[218]
2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, Krishnendu, et al. Model-Checking Omega-Regular Properties of Interval Markov Chains. Vol. 4962, Springer, 2008, pp. 302–17, doi:10.1007/978-3-540-78499-9_22.
View | DOI
 
[217]
2008 | Journal Article | IST-REx-ID: 4532
Doyen, Laurent, et al. “Equivalence of Labeled Markov Chains.” International Journal of Foundations of Computer Science, vol. 19, no. 3, World Scientific Publishing, 2008, pp. 549–63, doi:10.1142/S0129054108005814 .
View | DOI | Download (ext.)
 
[216]
2008 | Conference Paper | IST-REx-ID: 4568
Beyer, Dirk, et al. Program Analysis with Dynamic Change of Precision. ACM, 2008, pp. 29–38, doi:10.1109/ASE.2008.13.
View | DOI | Download (ext.)
 
[215]
2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
View | DOI
 
[214]
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, Thomas A. Games, Time, and Probability: Graph Models for System Design and Analysis. Vol. 4362, Springer, 2007, pp. 103–10, doi:10.1007/978-3-540-69507-3_7.
View | DOI
 
[213]
2007 | Conference Paper | IST-REx-ID: 4571
Beyer, Dirk, et al. Path Invariants. ACM, 2007, pp. 300–09, doi:10.1145/1250734.1250769.
View | DOI
 
[212]
2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73, doi:10.1007/978-3-540-74407-8_5.
View | Files available | DOI
 
[211]
2007 | Conference Paper | IST-REx-ID: 4572
Beyer, Dirk, et al. Invariant Synthesis for Combined Theories. Vol. 4349, Springer, 2007, pp. 378–94, doi:10.1007/978-3-540-69738-1_27.
View | DOI
 
[210]
2007 | Conference Paper | IST-REx-ID: 4399
Beyer, Dirk, et al. Algorithms for Interface Synthesis. Vol. 4590, Springer, 2007, pp. 4–19, doi:10.1007/978-3-540-73368-3_4.
View | DOI
 
[209]
2007 | Journal Article | IST-REx-ID: 4446
Henzinger, Thomas A., and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 29, no. 393, ACM, 2007, doi:10.1145/1286821.1286824.
View | DOI
 
[208]
2007 | Conference Paper | IST-REx-ID: 4573
Beyer, Dirk, et al. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. Vol. 4590, Springer, 2007, pp. 504–18, doi:10.1007/978-3-540-73368-3_51.
View | DOI
 
[207]
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, Krishnendu, et al. “Algorithms for Omega-Regular Games with Imperfect Information.” Logical Methods in Computer Science, vol. 3, no. 184, International Federation of Computational Logic, 2007, pp. 1–23, doi:10.2168/LMCS-3(3:4)2007.
View | DOI
 
[206]
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, Thomas A. Quantitative Generalizations of Languages. Vol. 4588, Springer, 2007, pp. 20–22, doi:10.1007/978-3-540-73208-2_2.
View | DOI
 
[205]
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, Jacques, and Thomas A. Henzinger. “CSL: Computer Science Logic .” CSL: Computer Science Logic, vol. 4646, Springer, 2007, doi:10.1007/978-3-540-74915-8.
View | DOI
 
[204]
2007 | Journal Article | IST-REx-ID: 4529
Fisher, Jasmin, and Thomas A. Henzinger. “Executable Cell Biology.” Nature Biotechnology, vol. 25, Nature Publishing Group, 2007, pp. 1239–49, doi:10.1038/nbt1356.
View | DOI
 
[203]
2007 | Journal Article | IST-REx-ID: 4531
Fisher, Jasmin, et al. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.” PLoS Computational Biology, vol. 3(5):e92, Public Library of Science, 2007, doi:10.1371/journal.pcbi.0030092.
View | DOI
 
[202]
2007 | Journal Article | IST-REx-ID: 4567
Beyer, Dirk, et al. “The Software Model Checker BLAST: Applications to Software Engineering.” International Journal on Software Tools for Technology Transfer, vol. 9, no. 5, Springer, 2007, pp. 505–25, doi:10.1007/s10009-007-0044-z.
View | DOI
 
[201]
2007 | Journal Article | IST-REx-ID: 4405
Schaub, Marc, et al. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.” BMC Systems Biology, vol. 1, no. 4, BioMed Central, 2007, doi:10.1186/1752-0509-1-4.
View | DOI | Download (ext.)
 
[200]
2007 | Book Chapter | IST-REx-ID: 4417
Manevich, Roman, et al. “Abstract Counterexample-Based Refinement for Powerset Domains.” Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, vol. 4444, Springer, 2007, pp. 273–92, doi:10.1007/978-3-540-71322-7_13.
View | DOI
 
[199]
2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, Thomas, et al. Minimum-Time Reachability in Timed Games. Vol. 4596, Springer, 2007, pp. 825–37, doi:10.1007/978-3-540-73420-8_71.
View | DOI
 
[198]
2007 | Conference Paper | IST-REx-ID: 4575
Beyer, Dirk, et al. An Application of Web-Service Interfaces. IEEE, 2007, pp. 831–38, doi:10.1109/ICWS.2007.32 .
View | DOI
 
[197]
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Theoretical Computer Science, vol. 386, no. 3, Elsevier, 2007, pp. 188–217, doi:10.1016/j.tcs.2007.07.008.
View | DOI
 
[196]
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, Krishnendu, and Thomas A. Henzinger. Assume-Guarantee Synthesis. Vol. 4424, Springer, 2007, pp. 261–75, doi:10.1007/978-3-540-71209-1_21.
View | DOI
 
[195]
2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games. Vol. 4137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–89, doi:10.1007/11817949_25.
View | DOI
 
[194]
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, Krishnendu, et al. The Complexity of Quantitative Concurrent Parity Games. SIAM, 2006, pp. 678–87, doi:10.1145/1109557.1109631.
View | DOI
 
[193]
2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, et al. Antichains: A New Algorithm for Checking Universality of Finite Automata. Vol. 4144, Springer, 2006, pp. 17–30, doi:10.1007/11817963_5.
View | DOI
 
[192]
2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
View | DOI
 
[191]
2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A., and Nir Piterman. Solving Games without Determinization. Vol. 4207, Springer, 2006, pp. 395–410, doi:10.1007/11874683_26.
View | DOI
 
[190]
2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View | DOI
 
[189]
2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
View | DOI
 
[188]
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 
[187]
2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View | DOI
 
[186]
2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, et al. Algorithms for Büchi Games. ACM, 2006.
View | Download (ext.)
 
[185]
2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee, Krishnendu, et al. Algorithms for Omega-Regular Games with Imperfect Information. Vol. 4207, Springer, 2006, pp. 287–302, doi:10.1007/11874683_19.
View | DOI
 
[184]
2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
View | DOI
 
[183]
2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
View | DOI
 
[182]
2006 | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
View | DOI
 
[181]
2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 
[180]
2006 | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
View | DOI
 
[179]
2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
View | DOI
 
[178]
2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
View | DOI
 
[177]
2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 
[176]
2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 
[175]
2005 | Conference Paper | IST-REx-ID: 4418
Kirsch, Christoph, et al. A Programmable Microkernel for Real-Time Systems. ACM, 2005, pp. 35–45, doi:10.1145/1064979.1064986.
View | DOI
 
[174]
2005 | Conference Paper | IST-REx-ID: 4456
Henzinger, Thomas A., et al. Permissive Interfaces. ACM, 2005, pp. 31–40, doi:10.1145/1081706.1081713.
View | DOI
 
[173]
2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View | Download (ext.)
 
[172]
2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View | DOI
 
[171]
2005 | Conference Paper | IST-REx-ID: 4457
Henzinger, Thomas A., et al. Composable Code Generation for Distributed Giotto. ACM, 2005, pp. 21–30, doi:10.1145/1065910.1065914.
View | DOI
 
[170]
2005 | Conference Paper | IST-REx-ID: 4541
Chatterjee, Krishnendu, and Thomas A. Henzinger. Semiperfect-Information Games. Vol. 3821, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18, doi:10.1007/11590156_1.
View | DOI
 
[169]
2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View | DOI
 
[168]
2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View | DOI
 
[167]
2005 | Conference Paper | IST-REx-ID: 3892
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. Vol. 3657, Springer, 2005, pp. 141–61, doi:10.1007/11561163_7.
View | DOI
 
[166]
2005 | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A. Henzinger. Interface-Based Design. Vol. 195, Springer, 2005, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
View | DOI
 
[165]
2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View | DOI
 
[164]
2005 | Journal Article | IST-REx-ID: 4454
Henzinger, Thomas A., et al. “A Classification of Symbolic Transition Systems.” ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1, ACM, 2005, pp. 1–32, doi:10.1145/1042038.1042039.
View | DOI
 
[163]
2005 | Conference Paper | IST-REx-ID: 4536
Doyen, Laurent, et al. Automatic Rectangular Refinement of Affine Hybrid Systems. Vol. 3829, Springer, 2005, pp. 144–61, doi:DOI: 10.1007/11603009_13.
View | DOI
 
[162]
2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View | DOI
 
[161]
2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi:10.1016/j.tcs.2005.07.033.
View | DOI
 
[160]
2005 | Conference Paper | IST-REx-ID: 4412
Matic, Slobodan, and Thomas A. Henzinger. Trading End-to-End Latency for Composability. IEEE, 2005, pp. 99–110, doi:10.1109/RTSS.2005.43.
View | DOI
 
[159]
2005 | Conference Paper | IST-REx-ID: 4455
Henzinger, Thomas A., et al. Quantifying Similarities between Timed Systems. Vol. 3829, Springer, 2005, pp. 226–41, doi:10.1007/11603009_18.
View | DOI
 
[158]
2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, et al. Games with Secure Equilibria. IEEE, 2004, pp. 160–69, doi:10.1109/LICS.2004.1319610.
View | DOI
 
[157]
2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A., and Christoph Kirsch. A Typed Assembly Language for Real-Time Programs. ACM, 2004, pp. 104–13, doi:10.1145/1017753.1017774.
View | DOI
 
[156]
2004 | Conference Paper | IST-REx-ID: 4577
Beyer, Dirk, et al. An Eclipse Plug-in for Model Checking. IEEE, 2004, pp. 251–55, doi:10.1109/WPC.2004.1311069  .
View | DOI
 
[155]
2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, Krishnendu, et al. Quantitative Stochastic Parity Games. SIAM, 2004, pp. 121–30.
View
 
[154]
2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A., et al. Abstractions from Proofs. ACM, 2004, pp. 232–44, doi:10.1145/964001.964021.
View | DOI
 
[153]
2004 | Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, et al. The BLAST Query Language for Software Verification. Vol. 3148, Springer, 2004, pp. 2–18, doi:10.1007/978-3-540-27864-1_2.
View | DOI
 
[152]
2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, et al. Model Checking Discounted Temporal Properties. Vol. 2988, Springer, 2004, pp. 77–92, doi:10.1007/978-3-540-24730-2_6.
View | DOI
 
[151]
2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A., et al. Race Checking by Context Inference. ACM, 2004, pp. 1–13, doi:10.1145/996841.996844.
View | DOI
 
[150]
2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A., et al. “Extreme Model Checking.” Verification: Theory and Practice, vol. 2772, Springer, 2004, pp. 332–58, doi:10.1007/978-3-540-39910-0_16.
View | DOI
 
[149]
2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, Krishnendu, et al. Trading Memory for Randomness. IEEE, 2004, pp. 206–17, doi:10.1109/QEST.2004.10051.
View | DOI
 
[148]
2004 | Conference Paper | IST-REx-ID: 4581
Beyer, Dirk, et al. Generating Tests from Counterexamples. IEEE, 2004, pp. 326–35, doi:10.1109/ICSE.2004.1317455.
View | DOI
 
[147]
2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, et al. Event-Driven Programming with Logical Execution Times. Vol. 2993, Springer, 2004, pp. 167–70, doi:10.1007/978-3-540-24743-2_24.
View | DOI
 
[146]
2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, Krishnendu, et al. “Stack Size Analysis for Interrupt-Driven Programs.” Information and Computation, vol. 194, no. 2, Elsevier, 2004, pp. 144–74, doi:10.1016/j.ic.2004.06.001.
View | DOI
 
[145]
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A., et al. Thread-Modular Abstraction Refinement. Vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
View | DOI
 
[144]
2003 | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:10.1109/MCS.2003.1172829.
View | DOI
 
[143]
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A., et al. Schedule-Carrying Code. Vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
View | DOI
 
[142]
2003 | Journal Article | IST-REx-ID: 4469
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:10.1109/JPROC.2002.805825.
View | DOI
 
[141]
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, et al. Discounting the Future in Systems Theory. Vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.
View | DOI
 
[140]
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, et al. The Element of Surprise in Timed Games. Vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.
View | DOI
 
[139]
2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
View | DOI
 
[138]
2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:10.1023/A:1026228213080.
View | DOI
 
[137]
2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–46, doi:10.1002/047172288X.ch8.
View | DOI
 
[136]
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, et al. Resource Interfaces. Vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
View | DOI
 
[135]
2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
View | DOI
 
[134]
2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A., et al. On the Universal and Existential Fragments of the Mu-Calculus. Vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.
View | DOI
 
[133]
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A., et al. Counterexample-Guided Control. Vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
View | DOI
 
[132]
2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A., et al. Software Verification with BLAST. Vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.
View | DOI
 
[131]
2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, et al. Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. IEEE, 2002, pp. 132–39, doi:10.1145/774572.774592.
View | DOI
 
[130]
2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A., and Christoph Kirsch. The Embedded Machine: Predictable, Portable Real-Time Code. ACM, 2002, pp. 315–26, doi:10.1145/512529.512567.
View | DOI
 
[129]
2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A., et al. Time-Safety Checking for Embedded Programs. Vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View | DOI
 
[128]
2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View | DOI
 
[127]
2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Theoretical Computer Science, vol. 274, no. 1–2, Elsevier, 2002, pp. 151–82, doi:10.1016/S0304-3975(00)00308-X.
View | DOI
 
[126]
2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, et al. A Giotto-Based Helicopter Control System. Vol. 2491, ACM, 2002, pp. 46–60, doi:10.1007/3-540-45828-X_5.
View | DOI
 
[125]
2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A., et al. Synthesis of Uninitialized Systems. Vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.
View | DOI
 
[124]
2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. Lazy Abstraction. ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View | DOI
 
[123]
2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. A Comparison of Control Problems for Timed and Hybrid Systems. Vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View | DOI
 
[122]
2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, et al. Trading Probability for Fairness. Vol. 2471, Springer, 2002, pp. 292–305, doi:10.1007/3-540-45793-3_20.
View | DOI
 
[121]
2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A., et al. Temporal Safety Proofs for Systems Code. Vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.
View | DOI
 
[120]
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, et al. Timed Interfaces. Vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
View | DOI
 
[119]
2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, et al. Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms. Vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.
View | DOI
 
[118]
2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View | DOI
 
[117]
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. Synchronous and Bidirectional Component Interfaces. Vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View | DOI
 
[116]
2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A., et al. “Fair Simulation.” Information and Computation, vol. 173, no. 1, Elsevier, 2002, pp. 64–81, doi:10.1006/inco.2001.3085.
View | DOI
 
[115]
2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. Interface Compatibility Checking for Software Modules. Vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View | DOI
 
[114]
2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A., and Christoph Kirsch. “EMSOFT: Embedded Software.” EMSOFT: Embedded Software , vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.
View | DOI
 
[113]
2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A., et al. Some Lessons from the HYTECH Experience. Vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View | DOI
 
[112]
2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, et al. A Reusable and Platform-Independent Framework for Distributed Control Systems. IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
View | DOI
 
[111]
2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. Interface Automata. ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View | DOI
 
[110]
2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, et al. The Control of Synchronous Systems, Part II. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
View | DOI
 
[109]
2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A. Henzinger. Interface Theories for Component-Based Design. Vol. 2211, ACM, 2001, pp. 148–65, doi:10.1007/3-540-45449-7_11.
View | DOI
 
[108]
2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, et al. MCWEB: A Model-Checking Tool for Web-Site Debugging. ACM, 2001, pp. 86–87.
View | Download (ext.)
 
[107]
2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A., et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. Vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View | DOI
 
[106]
2001 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, et al. JMocha: A Model-Checking Tool That Exploits Design Structure. IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
View | DOI
 
[105]
2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, et al. From Verification to Control: Dynamic Programs for Omega-Regular Objectives. IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
View | DOI
 
[104]
2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. Embedded Control Systems Development with Giotto. ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View | DOI
 
[103]
2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, et al. Compositional Methods for Probabilistic Systems. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
View | DOI
 
[102]
2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A., et al. Giotto: A Time-Triggered Language for Embedded Programming. Vol. 2211, ACM, 2001, pp. 166–84, doi:1303.
View | DOI
 
[101]
2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
View | DOI
 
[100]
2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, et al. Symbolic Algorithms for Infinite-State Games. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
View | DOI
 
[99]
2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. Abstract Interpretation of Game Properties. Vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View | DOI
 
[98]
2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A. Henzinger. Concurrent Omega-Regular Games. IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
View | DOI
 
[97]
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A., and Sriram Rajamani. Fair Bisimulation. Vol. 1785, Springer, 2000, pp. 299–314, doi:10.1007/3-540-46419-0_21.
View | DOI
 
[96]
2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A., et al. Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
View | DOI
 
[95]
2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A., and Jean Raskin. Robust Undecidability of Timed and Hybrid Systems. Vol. 1790, Springer, 2000, pp. 145–59, doi:10.1007/3-540-46430-1_15.
View | DOI
 
[94]
2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A., and Ritankar Majumdar. A Classification of Symbolic Transition Systems. Vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
View | DOI
 
[93]
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A., and Ritankar Majumdar. Symbolic Model Checking for Rectangular Hybrid Systems. Vol. 1785, Springer, 2000, pp. 142–56, doi:10.1007/3-540-46419-0_11.
View | DOI
 
[92]
2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. Masaccio: A Formal Model for Embedded Components. Vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View | DOI
 
[91]
2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, et al. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE, vol. 88, no. 7, IEEE, 2000, pp. 971–84, doi:10.1109/5.871304 .
View | DOI
 
[90]
2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. The Control of Synchronous Systems. Vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View | DOI
 
[89]
2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods. Vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
View | DOI
 
[88]
2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, et al. Detecting Errors before Reaching Them. Vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.
View | DOI
 
[87]
2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92.
View
 
[86]
1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A., et al. Assume-Guarantee Refinement between Different Time Scales. Vol. 1633, Springer, 1999, pp. 208–21, doi:10.1007/3-540-48683-6_20.
View | DOI
 
[85]
1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A., et al. Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. Vol. 1633, Springer, 1999, pp. 301–15, doi:10.1007/3-540-48683-6_27.
View | DOI
 
[84]
1999 | Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science, vol. 221, no. 1–2, Elsevier, 1999, pp. 369–92, doi:10.1016/S0304-3975(99)00038-9.
View | DOI
 
[83]
1999 | Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A., et al. Formal Specification and Verification of a Dataflow Processor Array. IEEE, 1999, pp. 494–99.
View
 
[82]
1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A., et al. Rectangular Hybrid Games. Vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–35, doi:10.1007/3-540-48320-9_23.
View | DOI
 
[81]
1999 | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, et al. Alternating-Time Temporal Logic. Vol. 1536, Springer, 1999, pp. 23–60, doi:10.1007/3-540-49213-5_2.
View | DOI
 
[80]
1999 | Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Formal Methods in System Design, vol. 15, no. 1, Springer, 1999, pp. 7–48, doi:10.1023/A:1008739929481.
View | DOI
 
[79]
1999 | Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, et al. Automating Modular Verification. Vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97, doi:10.1007/3-540-48320-9_8.
View | DOI
 
[78]
1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. Alternating Refinement Relations. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055611.
View | DOI
 
[77]
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. Concurrent Reachability Games. IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507  .
View | DOI
 
[76]
1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. You Assume, We Guarantee: Methodology and Case Studies. Vol. 1427, Springer, 1998, pp. 440–51, doi: 10.1007/BFb0028765.
View | DOI
 
[75]
1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. Mocha: Modularity in Model Checking. Vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View | DOI
 
[74]
1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. The Regular Real-Time Languages. Vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View | DOI
 
[73]
1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. It’s about Time: Real-Time Logics Reviewed. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View | DOI
 
[72]
1998 | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, et al. Axioms for Real-Time Logics. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:10.1007/BFb0055625.
View | DOI
 
[71]
1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. An Algorithm for the Approximative Analysis of Rectangular Automata. Vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View | DOI
 
[70]
1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. From Pre-Historic to Post-Modern Symbolic Model Checking. Vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View | DOI
 
[69]
1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
View | DOI
 
[68]
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., and Shankar Sastry. “HSCC: Hybrid Systems—Computation and Control.” HSCC: Hybrid Systems - Computation and Control, vol. 1386, Springer, 1998, doi:1260.
View | DOI
 
[67]
1998 | Journal Article | IST-REx-ID: 4492
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
View | DOI
 
[66]
1998 | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, et al. Symbolic Exploration of Transition Hierarchies. Vol. 1384, Springer, 1998, pp. 330–44, doi: 10.1007/BFb0054181.
View | DOI
 
[65]
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. Reachability Verification for Hybrid Automata. Vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View | DOI
 
[64]
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. An Assume-Guarantee Rule for Checking Simulation. Vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View | DOI
 
[63]
1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.
View | DOI
 
[62]
1997 | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. Modularity for Timed and Hybrid Systems. Vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View | DOI
 
[61]
1997 | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. Partial-Order Reduction in Symbolic State-Space Exploration. Vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View | DOI
 
[60]
1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, Thomas A., and Orna Kupferman. From Quantity to Quality. Vol. 1201, Springer, 1997, pp. 48–62, doi: 10.1007/BFb0014712.
View | DOI
 
[59]
1997 | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.
View | DOI
 
[58]
1997 | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. Alternating-Time Temporal Logic. IEEE, 1997, pp. 100–09, doi: 10.1109/SFCS.1997.646098 .
View | DOI
 
[57]
1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, Thomas A., and Peter Kopke. Discrete-Time Control for Rectangular Hybrid Automata. Vol. 1256, Springer, 1997, pp. 582–93, doi:10.1007/3-540-63165-8_213.
View | DOI
 
[56]
1997 | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, et al. Symbolic Analysis of Hybrid Systems. IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717  .
View | DOI
 
[55]
1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A., et al. Fair Simulation. Vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.
View | DOI
 
[54]
1997 | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
View | DOI
 
[53]
1997 | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A., et al. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 110–22, doi:10.1007/s100090050008.
View | DOI
 
[52]
1997 | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, et al. Robust Timed Automata. Vol. 1201, Springer, 1997, pp. 331–45, doi:10.1007/BFb0014736.
View | DOI
 
[51]
1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, Thomas A. The Theory of Hybrid Automata. IEEE, 1996, pp. 278–92, doi:10.1109/LICS.1996.561342 .
View | DOI
 
[50]
1996 | Conference Paper | IST-REx-ID: 4588
Alur, Rajeev, and Thomas A. Henzinger. Reactive Modules. IEEE, 1996, pp. 207–18, doi:10.1109/LICS.1996.561320.
View | DOI
 
[49]
1996 | Journal Article | IST-REx-ID: 4610
Alur, Rajeev, et al. “The Benefits of Relaxing Punctuality.” Journal of the ACM, vol. 43, no. 1, ACM, 1996, pp. 116–46, doi:10.1145/227595.227602.
View | DOI | Download (ext.)
 
[48]
1996 | Book Chapter | IST-REx-ID: 4426
Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.
View | DOI
 
[47]
1996 | Journal Article | IST-REx-ID: 4611
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering, vol. 22, no. 3, IEEE, 1996, pp. 181–201, doi:10.1109/32.489079.
View | DOI
 
[46]
1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, Thomas A., et al. A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking. Vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–29, doi:10.1007/3-540-61604-7_73.
View | DOI
 
[45]
1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.
View | DOI
 
[44]
1996 | Conference (Editor) | IST-REx-ID: 4585
Alur, Rajeev, and Thomas A. Henzinger. “CAV: Computer Aided Verification.” CAV: Computer Aided Verification, vol. 1102, Springer, 1996, doi:1075.
View | DOI
 
[43]
1996 | Book (Editor) | IST-REx-ID: 4612
Alur, Rajeev, et al., editors. Hybrid Systems III: Verification and Control. Vol. 1066, Springer, 1996, doi:10.1007/BFb0020931.
View | DOI
 
[42]
1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, Thomas A., and Peter Kopke. State Equivalences for Rectangular Hybrid Automata. Vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.
View | DOI
 
[41]
1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A., et al. HyTech: The next Generation. IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .
View | DOI
 
[40]
1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, Thomas A., et al. What’s Decidable about Hybrid Automata? ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.
View | DOI
 
[39]
1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.
View | DOI
 
[38]
1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A., et al. A User Guide to HyTech. Vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
View | DOI
 
[37]
1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A., et al. The Expressive Power of Clocks. Vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View | DOI
 
[36]
1995 | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
View | DOI
 
[35]
1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.
View | DOI
 
[34]
1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, Thomas A., and Pei Ho. Algorithmic Analysis of Nonlinear Hybrid Systems. Vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
View | DOI
 
[33]
1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. Local Liveness for Compositional Modeling of Fair Reactive Systems. Vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View | DOI
 
[32]
1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, et al. Computing Simulations on Finite and Infinite Graphs. IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
View | DOI
 
[31]
1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. Hybrid Automata with Finite Bisimulations. Vol. 944, Springer, 1995, pp. 324–35, doi:0.1007/3-540-60084-1_85.
View | DOI
 
[30]
1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, et al. Proving Safety Properties of Hybrid Systems. Vol. 863, Springer, 1994, pp. 431–54, doi:10.1007/3-540-58468-4_177.
View | DOI
 
[29]
1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29.
View | Download (ext.)
 
[28]
1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, et al. A Determinizable Class of Timed Automata. Vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
View | DOI
 
[27]
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A., and Peter Kopke. Verification Methods for the Divergent Runs of Clock Systems. Vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.
View | DOI
 
[26]
1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” Journal of the ACM, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:10.1145/174644.174651.
View | DOI | Download (ext.)
 
[25]
1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.” Information and Computation, vol. 111, no. 2, Elsevier, 1994, pp. 193–244, doi:10.1006/inco.1994.1045.
View | DOI | Download (ext.)
 
[24]
1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, et al. The Algorithmic Analysis of Hybrid Systems. Vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
View | DOI
 
[23]
1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A. Henzinger. Finitary Fairness. IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .
View | DOI
 
[22]
1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, et al. The Observational Power of Clocks. Vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
View | DOI
 
[21]
1994 | Journal Article | IST-REx-ID: 4501
Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.
View | DOI
 
[20]
1993 | Journal Article | IST-REx-ID: 4589
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation, vol. 104, no. 1, Elsevier, 1993, pp. 35–77, doi:10.1006/inco.1993.1025.
View | DOI
 
[19]
1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, et al. Automatic Symbolic Verification of Embedded Systems. IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
View | DOI
 
[18]
1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View | DOI
 
[17]
1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, et al. Computing Accumulated Delays in Real-Time Systems. Vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
View | DOI
 
[16]
1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, et al. Parametric Real-Time Reasoning. ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.
View | DOI
 
[15]
1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
View | DOI
 
[14]
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A., et al. “Timed Transition Systems.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–51, doi:10.1007/BFb0031995.
View | DOI
 
[13]
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A., et al. What Good Are Digital Clocks? Vol. 623, Springer, 1992, pp. 545–58, doi:10.1007/3-540-55719-9_103.
View | DOI
 
[12]
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A., et al. Symbolic Model Checking for Real-Time Systems. IEEE, 1992, pp. 394–406, doi:10.1109/LICS.1992.185551.
View | DOI
 
[11]
1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi:10.1016/0020-0190(92)90005-G.
View | DOI | Download (ext.)
 
[10]
1992 | Book Chapter | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A. Henzinger. “Logics and Models of Real Time: A Survey.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi:10.1007/BFb0031984.
View | DOI
 
[9]
1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A. Henzinger. Back to the Future: Towards a Theory of Timed Regular Languages. IEEE, 1992, pp. 177–86, doi:10.1109/SFCS.1992.267774.
View | DOI | Download (ext.)
 
[8]
1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A., et al. Temporal Proof Methodologies for Real-Time Systems. ACM, 1991, pp. 353–66, doi:10.1145/99583.99629.
View | DOI | Download (ext.)
 
[7]
1991 | Journal Article | IST-REx-ID: 4592
Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News, vol. 22, no. 3, ACM, 1991, pp. 6–12.
View | Download (ext.)
 
[6]
1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.
View | Download (ext.)
 
[5]
1991 | Conference Paper | IST-REx-ID: 4621
Alur, Rajeev, et al. The Benefits of Relaxing Punctuality. ACM, 1991, pp. 139–52.
View
 
[4]
1990 | Conference Paper | IST-REx-ID: 4510
Henzinger, Thomas A., et al. An Interleaving Model for Real Time. IEEE, 1990, pp. 717–30.
View | Download (ext.)
 
[3]
1990 | Conference Paper | IST-REx-ID: 4522
Henzinger, Thomas A. Half-Order Modal Logic: How to Prove Real-Time Properties. ACM, 1990, pp. 281–96, doi:10.1145/93385.93429.
View | DOI | Download (ext.)
 
[2]
1990 | Conference Paper | IST-REx-ID: 4597
Alur, Rajeev, and Thomas A. Henzinger. Real-Time Logics: Complexity and Expressiveness. IEEE, 1990, pp. 390–401, doi:10.1109/LICS.1990.113764.
View | DOI | Download (ext.)
 
[1]
1989 | Conference Paper | IST-REx-ID: 4596
Alur, Rajeev, and Thomas A. Henzinger. A Really Temporal Logic. IEEE, 1989, pp. 164–69, doi:10.1109/SFCS.1989.63473.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed