Useful Links

List of accepted papers

Authors must register by August 15, 2011, for their papers to be published in the proceedings and in the program. Camery ready version should be sent to the PC chairs or uploaded to the site before August 25, 2011

  • A Tool to Model Traffic Aggregation in Networks of Reconfigurable Optical ADD/DROP Multiplexers Jean-Michel Fourneau and Izri Nora
  • A Mathematical Model for Cyclic Scheduling With Limited Work-In-Process and Cycle Time Minimization Mohamed Amin Ben Amar, Hervé Camus and Ouajdi Korbaa
  • Using Sequence Diagrams to Specify and to Generate RTL Assertions Martin Schweikert, Tobias Dornes and Eveking Hans
  • Building Systemc waiting state automata Nesrine Harrath, Bruno Monsuez et Joelle Delacroix
  • M^{X}/G/1 retrial queue with impatient batches under low and high intensities of retrials Nawel Arrar Remita, Natalia Djellab and Jean-Bernard Baillon
  • LTL Translation Improvements in Spot Alexandre Duret-Lutz
  • Strong and Weak orderings for an accurate resource dimensioning Hind Castel-Taleb and Nihal Pekergin
  • Toward a rewriting logic framework for safe and distributed component installation Meriem Belguidoum, Faiza Belala and Fateh Latreche
  • On Formalizing UML2 Activities Using TPNets: Case Studies Sabine Boufenara, Kamel Barkaoui, Faiza Belala and Hanifa Boucheneb
  • Proposition and evaluation of a novel routing protocol for wireless sensor networks Yessad Samira, Bouallouche Louiza and Aissani Djamil
  • An Iterative Approach for the Satisfaction of Security Using the Intransitive Non-Interference Property Achraf Ben Said, Nejib Ben Hadj-Alouane, Moez Yeddes and Feng Lin
  • Safety Implementation of Adaptive Embedded Control Components Atef Gharbi, Mohamed Khalgui, Antonio Valentini and Samir Ben Ahmed
  • Scheduling and Control Modeling of HVLV Systems Using Max-Plus Algebra Imed Nasri, Reda Boukezzoula and Georges Habchi
  • Invariant Relations: An Automated Tool to Analyze Loops Asma Louhichi, Olfa Mraihi, Wided Ghardallou, Lamia Labed, Khaled Bsaies and Ali Mili
  • Formal Modelling and Verification of JXTA peer-to-peer network protocols Yannick Kala Konga, Karim Djouani and Guillaume Noel
  • Modeling complex systems with VeriJ Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon and Yann Thierry-Mieg

Paper Submission

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 2011 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 in International Journal of Critical Computer-Based Systems (IJCCBS) or in International Journal of Discrete Event Control Systems (IJDECS)

Important Dates

  • Submission : June 20, 2011
  • Notification : July 20, 2011
  • Camera Ready : August 25, 2011
Logo I love Tunisia