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.
I’ve been invited to the Program Committee of the Software Verification and Testing track of the 34th ACM/SIGAPP Symposium On Applied Computing. SAC 2019 will be held on April 8-12, 2019 in Limassol, Cyprus. Please consider submitting. More info on the SAC 2019 and SAC-SVT 2019 Websites.
I will be chairing DATE track E3 on Model-Based Design, Verification and Security for Embedded Systems. Todd Austin at the University of Michigan will co-chair the track. The general call for papers to DATE 2019 is available here. DATE 2019 will be held on March 25 – 29, 2019, in the marvelous Firenze, Italy. More details to […]
VORTEX 2018, ECOOP and ISSTA, Amsterdam, July 16-21, 2018 (https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers) ================================================================================= Runtime verification (RV) is an approach to software verification concerned with monitoring and analysis of software and hardware under execution. Recently, RV has gained more traction as an effective and promising approach to ensure software reliability, bridging a gap between formal verification and conventional testing; monitoring a system […]