VECoS 2009
Located At:





Useful Links

List of accepted papers

  • Improving Testbench Evaluation using Normalized Formal Properties Martin OBERKOENIG, Martin SCHICKEL, Hans EVEKING
  • Controller Synthesis by Petri Nets Modelling Hassane ALLA, Abbas DIDEBAN
  • Optimal Sensors Placement for Failures Detection and Isolation Sabrina ABID, Hafid HAFFAF
  • Specification and Verification of Real-Time Systems using the POLA tool Florent PERES, Pierre-Emmanuel HLADIK, Francois VERNADAT
  • Discrete Events Simulator for wireless sensor networks Fouzi SEMCHEDINE, Louiza BOUALLOUCHE, Sofiane MOAD, Rafik MAKHLOUFI, Djamil AISSANI
  • Validating time-constrained systems using UML Statecharts Patterns and Timed Automata Observers Ahmed MEKKI, Mohamed GHAZEL, Armand TOGUYENI
  • Orthogonal and Non-orthogonal Cooperative protocols in WLANs Jun CHEN, Karim DJOUANI, Kamel BARKAOUI
  • Confidentiality in the UMTS Radio Access Network; Simulation approach under OPNET Ghizlane ORHANOU, Said EL HAJJI
  • Timed SystemC Waiting-State Automata Harrath NESRINE, Bruno MONSUEZ
  • A generic formal model for fission of modalities in output multi-modal interactive systems yamine AIT AMEUR, Linda MOHAND OUSSAID Mohamed AHMED NACER
  • On combining the ready sets with the covering steps methods Hanifa BOUCHENEB, Kamel BARKAOUI
  • Dependability Evaluation of Complex Embedded Systems and Microsystems Olaf MALASSE, et al.

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 2008 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.

Important Dates:

  • Submission deadline for VECoS 2009 papers: Mars, 30 2009Extended to April, 10
  • Notification of acceptance: May 15, 2009
  • Final version of papers due: May 31, 2009

The submission is now opened.

To submit a paper click here.