팔로우
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
122020
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