Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mohammed Aristide Foughali
conf.researchr.org general profile
ECBS 2023 profile
ECBS 2024 profile
ECOOP 2025 profile
Registered user since Sun 19 Mar 2023
Name:
Mohammed Aristide Foughali
Affiliation:
Université Paris Cité / IRIF
Contributions
2025
ECOOP
Author of A theory of (linear-time) timed monitors within the Technical Papers-track
VORTEX
Keynote Speaker of Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions within the VORTEX-track
2023
ECBS
Committee Member in Program Committee
Share
x
Mon 8 Sep 06:26
