End-to-End AI Generated Runtime Verification from Natural Language Specification

Cohen, I. & Peled, D., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 362-384 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems

Bensalem, S., Katsaros, P., Ničković, D., Liao, B. H. C., Nolasco, R. R., Ahmed, M. A. E. S., Beyene, T. A., Cano, F., Delacourt, A., Esen, H., Forrai, A., He, W., Huang, X., Kekatos, N., Könighofer, B., Paulitsch, M., Peled, D., Ponchant, M., Sorokin, L. & Tong, S. & 1 others, Wu, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 256-278 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning

Cohen, I. & Peled, D., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 395-417 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Operational and Declarative Runtime Verification (Keynote)

Havelund, K., Omer, M. & Peled, D., 13 Sep 2024, VORTEX 2024 - Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, Co-located with: ISSTA 2024. Ancona, D. & Audrito, G. (eds.). Association for Computing Machinery, Inc, p. 3-12 10 p. (VORTEX 2024 - Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution, Co-located with: ISSTA 2024).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TP-DejaVu: Combining Operational and Declarative Runtime Verification

Havelund, K., Katsaros, P., Omer, M., Peled, D. & Temperekidis, A., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 249-263 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review