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.
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 […]