ISTA Research Explorer

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

2016 | Published | Thesis | IST-REx-ID: 1130 |

Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2016 | Published | Conference Paper | IST-REx-ID: 1134

Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.

View | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1135 |

Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.

[Submitted Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1138 |

Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2016 | Published | Journal Article | IST-REx-ID: 1148

Adaptive moment closure for parameter inference of biochemical reaction networks
C. Schilling, S. Bogomolov, T.A. Henzinger, A. Podelski, J. Ruess, Biosystems 149 (2016) 15–25.

View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1166

A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.

View | Files available

2016 | Published | Conference Paper | IST-REx-ID: 1205 |

Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.

[Submitted Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1421

Scalable static hybridization methods for analysis of nonlinear systems
S. Bak, S. Bogomolov, T.A. Henzinger, T. Johnson, P. Prakash, in:, Springer, 2016, pp. 155–164.

View | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1439 |

PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
C. Dragoi, T.A. Henzinger, D. Zufferey, in:, ACM, 2016, pp. 400–415.

[Preprint] View | DOI | Download Preprint (ext.)

2016 | Published | Conference Paper | IST-REx-ID: 1524 |

Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.

[Preprint] View | DOI | Download Preprint (ext.)

2016 | Published | Conference Paper | IST-REx-ID: 1526 |

Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.

[Preprint] View | DOI | Download Preprint (ext.)

2016 | Published | Journal Article | IST-REx-ID: 1705 |

Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.