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
News
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.
SAC SVT 2017 – 2 weeks from the deadline
The deadline for submitting paper to the 32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track, April 3 – 7, 2017, Marrakech, Morocco, is in two weeks. More information: http://http://antares.sip.ucm.es/svt2017/, and http://www.sigapp.org/sac/sac2017/
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 […]
Decentralized Enforcement of Artifact Lifecycles
The paper entitled “Decentralized Enforcement of Artifact Lifecycles” has been accepted for publication in EDOC 2016, the twentieth Entreprise Computing Conference. The abstract of the paper is below: Artifact-centric workflows describe possible executions of a business process through constraints expressed from the point of view of the documents exchanged between principals. A sequence of manipulations is […]
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).
Modularizing Crosscutting Concerns in Component-Based Systems
The paper entitled “Modularizing Crosscutting Concerns in Component-Based Systems” has been accepted for publication in SEFM 2016, the 14th International Conference on Software Engineering and Formal Methods. Below is the abstract of the paper: We define a method to modularize crosscutting concerns in Behavior Interaction Priority (BIP) component-based framework. Our method is inspired from the Aspect Oriented […]