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.
2 Publications
2025 | Published | Journal Article | IST-REx-ID: 19936 | 
Bedarkar, K., Elbeheiry, L., Sammler, M. J., Gäher, L., Brandenburg, B., Dreyer, D., & Garg, D. (2025). RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3729249
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19935 |
Spies, S., Mück, N., Zeng, H., Sammler, M. J., Lattuada, A., Müller, P., & Dreyer, D. (2025). Destabilizing Iris. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3729284
[Published Version]
View
| Files available
| DOI