Suivre
Jasmine Xuereb
Jasmine Xuereb
Reykjavik University
Adresse e-mail validée de um.edu.mt
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–5