I have been invited to the Programme Committee of SHPCS 2019, the 14th Workshop on Security and High-Performance Computing Systems. SHPCS 2019 will be held in Dublin (Ireland) on July 15-19, 2019. Please consider submitting.
I have been invited to the Programme Committee of IFIP ICTSS 2019, the 31st International Conference on Testing Software and Systems. ICTSS 2019 will be held in Paris (France) on October 15-17, 2019. Please consider submitting.
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 […]
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, […]