关注
Jasmine Xuereb
Jasmine Xuereb
Reykjavik University
在 um.edu.mt 的电子邮件经过验证
标题
引用次数
引用次数
年份
On implementing symbolic controllability
A Francalanza, J Xuereb
International Conference on Coordination Languages and Models, 350-369, 2020
112020
A synthesis tool for optimal monitors in a branching-time setting
A Achilleos, L Exibard, A Francalanza, K Lehtinen, J Xuereb
International Conference on Coordination Languages and Models, 181-199, 2022
22022
If At First You Don't Succeed: Extended Monitorability through Multiple Executions
A Achilleos, A Francalanza, J Xuereb
arXiv preprint arXiv:2306.05229, 2023
2023
Mechanising symbolic controllability
J Xuereb
University of Malta, 2021
2021
Epistemic Logic for verifying runtime verification communication protocols
A Achilleos, E Anastasiadi, A Francalanza, J Xuereb
系统目前无法执行此操作，请稍后再试。
文章 1–5