I am giving a keynote at VECoS on Decentralized System Monitoring. Slides are available here. Thanks to the organizers for their invitation.
I have been invited to participate in the programme committee of SAC-SVT 2021, a track of the 36th Annual ACM/SIGAPP Symposium on Applied Computing, Gwangju, Korea March 22-26, 2021. More information about SAC 2021 at this page. More information SAC-SVT 2021 at this page.
I’ve been invited to the Programme Committee of SAC-SVT 2020, the Software Verification and Testing Track (SVT) of the ACM SIGAPP Symposium on Applied Computing (SAC). SAC 2020 will be held in Brno, Czech Republic, on March 30th – April, 3rd 2020.
Today is the defense of the Ph.D. thesis of Antoine El-Hokayem, my Ph.D. I have been the pleasure to work with during the last three years. Antoine’s thesis is entitled: Runtime Verification of Hierarchical Decentralized Specifications. The abstract of his thesis is given below: Runtime Verification (RV) is a lightweight formal method which consists in verifying […]
Today, I will give a talk @ ENSA Tétouan, Morocco during SESA workshop. http://sesa2014.uae.ma The talk will present some recent joint work with Inria Rennes and LaBRI Bordeaux on Runtime Enforcement of Timed Properties. Thanks to the organisers for the invitation.
The poster for RV’14, Runtime Verification 2014 is ready and can be downloaded in PDF using the following link: RV2014_poster. If you are interested in a high-resolution version, let me know.