Follow
Jasmine Xuereb
Jasmine Xuereb
Reykjavik University
Verified email at um.edu.mt
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–5