Jasmine Xuereb

According to our database, Jasmine Xuereb authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

If At First You Don't Succeed: Extended Monitorability through Multiple Executions.

Antonis Achilleos, Adrian Francalanza, Jasmine Xuereb

CoRR, 2023

2022

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.

Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb

Proceedings of the Coordination Models and Languages, 2022

2020

On Implementing Symbolic Controllability.

Adrian Francalanza, Jasmine Xuereb

Proceedings of the Coordination Models and Languages, 2020