The following papers were accepted by the SAC-SVT 2017 Programme Committee. Thanks to all PC members and reviewers. Mohamed Amine Aouadhi, Benoît Delahaye and Arnaud Lanoix. Moving from Event-B to Probabilistic Event-B Huu-Vu Nguyen and Tayssir Touili. CARET Model Checking For Pushdown Systems Rudolf Ramler, Thomas Wetzlmaier and Claus Klammer. An Empirical Study on the […]
Category: conferences
SPIN 2017: Call for Papers
SPIN 2017 24th International Symposium on Model Checking of Software Santa Barbara, CA, USA, July 13-14, 2017 http://conf.researchr.org/home/spin-2017 Collocated with ISSTA The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The […]
Publicity chair of SPIN 2017
I will be the publicity chair of SPIN 2017, the 24th International Symposium on Model Checking of Software; this year collocated with ISSTA. Checkout the SPIN 2017 Website at http://conf.researchr.org/home/spin-2017
In the Programme Committee of TASE 2017
I will be a member of the Programme Committee of TASE 2017, the Eleventh International Symposium on Theoretical Aspects of Software Engineering which will be held September 13-15, 2017 in Nice, France. Information about TASE 2017 can be found at: http://tase2017.unice.fr
RV 16 proceedings available
The proceedings of the 16th international conference on Runtime Verification are available. Springer LNCS proceedings can be downloaded for free until October 10 by following this link. More information on RV 16 is available at http://rv2016.imag.fr
Best Paper Award at EDOC 2016
The paper entitled Decentralized Enforcement of Artefact Lifecycles co authored with S. Hallé, R. Khoury, and A. El-Hokayem received the Best Paper Award from EDOC 2016 Program Committee.
RV 2016 programme is online
The programme of the 16th International Conference on Runtime Verification is available on RV 2016 Website. Programme
SAC SVT 2017 – Call for Papers
32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track April 3 – 7, 2017, Marrakech, Morocco More information: http://http://antares.sip.ucm.es/svt2017/ and http://www.sigapp.org/sac/sac2017/ Important dates * September 15, 2016: Papers and SRC submission * November 10, 2016: Paper and SRC notification * November 25, 2016: Camera-ready copies ACM Symposium on Applied Computing The ACM Symposium […]
Co-chairing the Technical Programme Committee of SAC-SVT 2017
I will be co-chairing the Technical Program Committee of the Software Verification and Testing Track 2017 of the 32nd ACM/SIGAPP Symposium on Applied Computing with Mercedes G. Merayo.
RV 16 deadlines extended
Following several requests, the deadlines for submitting papers to RV 16 have been extended as follows: – Abstract deadline: Friday May 20 (AoE). – Paper and tutorial deadline: Friday May 27 (AoE).