I am giving a keynote at VECoS on Decentralized System Monitoring. Slides are available here. Thanks to the organizers for their invitation.
Category: Non classé
In the Programme Committee of SAC-SVT 2020
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.
In the Programme Committee of MEDI 2019
I’ve been invited to the Programme Committee of MEDI 2019, the 9th International Conference on Model and Data Engineering 28-31 October 2019, Toulouse, France. https://www.irit.fr/MEDI2019/
Defense of Antoine El-Hokayem Ph.D. thesis
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 […]
@ Galatasaray University, Istanbul, Turkey
I’ll spend 3 days at Galatasaray University for an introductory course to the semantics of programming languages.
Invited talk SESA Workshop @ ENSA Tétouan, Morocco
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.
ETAPS in a week
ETAPS 14 starts in a week. The ETAPS14-booklet for participants can be downloaded on ETAPS website.
RV’14 – poster available
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.
Summer School on Cyber-Physical Systems
Summer School on Cyber-Physical Systems July 8-12, 2013 Grenoble, France EIT ICT Labs and PERSYVAL-Lab are organizing the first edition of the CPS Summer School. The CPS Summer School will explore the manifold relationship between networked embedded systems and humans as their creators, users, and subjects. The format of the Summer School will be a five days […]