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 […]
Category: Research
Post related to my research activities.
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
A high-level modeling language for the efficient design, implementation, and testing of Android applications
The paper entitled A high-level modeling language for the efficient design, implementation, and testing of Android applications has been accepted for publication in Software Tools for Technology Transfer, a Springer journal, and is now available for download. Developing mobile applications remains difficult, time consuming, and error prone, in spite of the number of existing platforms and […]
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.
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 […]