Useful Links


List of accepted papers

  • A Decentralized Supervisory Control Approach for Distributed Adaptive Systems Mohamed-Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenal Delaval, Eric Rutten and Moez Yeddes
  • Integrating PFairness within a Model based Scheduling Tool Annie Geniet, Gaëlle Skapin-Largeteau and Abdoulaye Ouattara
  • A Tile Logic based Semantics for Mobile Software Architectures Chafia Bouanaka, Faïza Belala and Kamel Barkaoui
  • Formalization of Cyclic Scheduling Problems with Assembly Tasks and Work-In-Process Minimization Mohamed Amin Ben Amar, Hervé Camus and Ouajdi Korbaa
  • Using Timed Coloured Petri nets and CPN-tool to Model and Verify TRBAC Security Policies Laïd Kahloul, Karim Djouani and Walid Tfaili
  • A Fair and Efficient Scheduling Scheme for Real and Non-Real-Time Traffic Flows in WiMAX Sahar Ghazal, Lynda Mokdad and Jalel Ben Othman
  • SBMC : Symmetric Bounded Model Checking Brahim Nasraoui, Syrine Ayadi and Riadh Robbana
  • Formal Verification of Authentication-Type Properties of an Electronic Voting Protocol using mCRL2 Hamid Reza Mahrooghi, Mohammad Hashem Haghighat and Rasool Jalili
  • AMLCC: Adaptive Multi-Layer Connected Chains Mechanism for Multicast Sender Authentication of Media-streaming Hamdi Eltaief and Habib Youssef
  • Steady-state Property Verification: a Comparison Study Diana Elrabih, Gael Gorgo, Nihal Pekergin and Jean-Marc Vincent

Paper Submission

The submission is now closed.

Papers must be original contributions that have not been published previously, nor already submitted to other conferences/journals in parallel with this workshop. Practical experience reports and tools descriptions/demonstrations are welcome. Papers should be submitted electronically via the VECoS 2010 web site by uploading a self-contained PDF file. Papers should not exceed 12 pages using the Electronic Workshops in Computing (eWiC) format. The title page must contain a short abstract and a classification of the topics covered, preferably using the list of topics above. All submissions will be reviewed by at least 3 members of the program committee. Accepted papers will be included in the workshop proceedings available at the conference and published by the eWiC series of the British Computer Society. For each accepted paper, at least one author should register for the conference and plan to present the paper.

In order to submit a paper, you should first open an account at EasyChair :

The authors of the best papers will be invited to submit a revised and extended version of their paper after the workshop to a related special issue of the International Journal of Critical Computer-Based Systems (IJCCBS).

Important Dates

  • Submission : April 15, 2010 (extended)
  • Notification : May 27, 2010
  • Camera Ready : June 7, 2010