I have been invited to the Programme Committee of RV 2019, the 19th International Conference on Runtime Verification. RV 2019 will be held in Porto (Portugal) on October 8-11, 2019. Please consider submitting.
I have been invited to the Program Committee of FDL 2019, the 2019 Forum on specification & Design Languages. FDL 2019 will be held in Southampton, United Kingdom on September 2-4, 2019. Important Deadlines: Special Sessions: March 22, 2019 Abstract Deadline: April 19, 2019 Paper Deadline: April 26, 2019 Author Notification: June 21, 2019 Final Version: July […]
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 […]
I am glad to have been invited to lecture at TAROT 2019, the 15th TAROT Summer School 2019 on Software Testing, Verification & Validation which will be held in Clermont-Ferrand, France, in July 1-5th, 2019. Many thanks to the Organizing Committee!
I have been invited to be a member of the Programme Committee of TASE 2019, the 13th International Symposium on Theoretical Aspects of Software Engineering which will be held on July 29-31, 2019 in Guilin, China.
The paper Tracing Distributed Component-Based Systems, a Brief Overview has been accepted for publication in the Proceedings of the 18th International Conference on Runtime Verification. The abstract of the paper is below: We overview a framework for tracing asynchronous distributed component-based systems with multiparty interactions managed by distributed schedulers. Neither the global state nor the total ordering […]
The paper A Taxonomy for Classifying Runtime Verification Tools has been accepted for publication in the Proceedings of 18th International Conference on Runtime Verification. Below is the abstract of the paper: Over the last 15 years Runtime Verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks […]
The paper Bringing Runtime Verification Home has been accepted for publication in the Proceedings of the 18th International Conference on Runtime Verification. Below is the abstract of the paper: We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartment sensors, […]
Our special issue on Runtime Verification is released in Formal Methods in System Design, a Springer journal. The special issue is composed of the following papers (selected from the best papers of RV’16) : Introduction to the special issue on runtime verification Yliès Falcone, César Sánchez Pages 1-5 On the complexity of monitoring Orchids signatures, […]