Seguir
Jasmine Xuereb
Jasmine Xuereb
Reykjavik University
Dirección de correo verificada de um.edu.mt
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5