Our paper DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks has been accepted for publication in AITest 2022, the 4th international conference on Artificial Intelligence Testing. The abstract of our paper is below: Deep learning systems recently achieved unprecedented success in various industries. However, DNNs still exhibit some erroneous behaviors, which lead […]
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.