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

Read More