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

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




289 Publications

2018 | Conference Paper | IST-REx-ID: 140   OA
Frehse, Goran, Mirco Giacobbe, and Thomas A Henzinger. “Space-Time Interpolants,” 10981:468–86. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_25.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association for Computing Machinery, Inc, 2018. https://doi.org/10.1145/3178126.3178131.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 6005
Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,” Vol. 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. https://doi.org/10.4230/LIPICS.MFCS.2018.23.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 5677   OA
Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone, Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.” Foundations and Trends in Electronic Design Automation 12, no. 2–3 (2018): 124–400. https://doi.org/10.1561/1000000053.
View | DOI | Download (ext.)
 
2018 | Book | IST-REx-ID: 3300
Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. 1st ed. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8.
View | DOI
 
2018 | Conference Paper | IST-REx-ID: 160   OA
Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,” 10981:79–102. Springer, 2018. https://doi.org/10.1007/978-3-319-96145-3_5.
View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 297   OA
Brázdil, Tomáš, Krishnendu Chatterjee, Jan Kretinsky, and Viktor Toman. “Strategy Representation by Decision Trees in Reactive Synthesis,” 10805:385–407. Springer, 2018. https://doi.org/10.1007/978-3-319-89960-2_21.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 6006   OA
Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games.” Games 9, no. 3 (2018). https://doi.org/10.3390/g9030039.
View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 608
Avni, Guy, and Orna Kupferman. “Synthesis from Component Libraries with Costs.” Theoretical Computer Science 712 (2018): 50–72. https://doi.org/10.1016/j.tcs.2017.11.001.
View | DOI
 
2018 | Book Chapter | IST-REx-ID: 60
Clarke, Edmund, Thomas A Henzinger, and Helmut Veith. “Introduction to Model Checking.” In Handbook of Model Checking, edited by Thomas A Henzinger, 1–26. Handbook of Model Checking. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8_1.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed