VECoS 2016

10th International Workshop on Verification and Evaluation of Computer and Communication Systems




Tunis, Tunisia


6th-7th October 2016

Tunis

Call for Papers: Work-in-Progress session


Submissions of extended abstracts describing exciting new, in-progress, and/or experimental research are invited for the Work-in-Progress (WIP) session of the10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016). The primary purpose of this session is to provide researchers with an opportunity to discuss their evolving ideas and gather feedback from the real-time community at large. Submissions dealing with all aspects of verification and evaluation of real-time systems are welcome. These include, but are not limited to:

  • Abstraction techniques
  • Architectural support
  • Certification standards for real-time systems
  • Compiler support
  • Compositional verification
  • Design and Verification
  • Equivalence checking
  • Formal methods
  • Hardware/software co-design
  • Model-checking
  • Multicore real-time support
  • Probabilistic analysis for real-time systems
  • QoS support
  • Real-time and dependability
  • Reliability
  • Security and survivability
  • Testing, validation, and certification
  • Tools
  • Verification/validation techniques
  • Worst-case execution time analysis

  • The WiP session will be held during the workshop. Submissions should describe original on-going work. Accepted submissions will be included in a separate VECoS WiP Proceedings, which will be distributed to all VECoS workshop participants and will be available electronically from the VECoS home page. One author of every accepted paper should be registered to the conference and present the paper during the conference. All WiP projects will be presented orally and in a poster session.

    Submission Instructions

    The expected length of submitted extended abstracts is between 2 and 4 pages. Submissions should NOT exceed four (4) pages including references and figures – extended abstracts exceeding four pages will not be reviewed.

    Papers must be submitted electronically as PDF using the Lecture Notes in Computer Science (LNCS) format.


    WiP Organizing Committee


    Program Comitee Chairs

    Belgacem Ben Hedia, LIST-CEA, Saclay
    Vladimir-Alexandru Paun, ENSTA ParisTech, Saclay

    Programme Committee

  • Ahlem Triki, VERIMAG Grenoble
  • Amira Methni, Cedric Cnam, Paris
  • Awatef Hicheur Cairns, Cedric Cnam, Paris
  • Ayoub Nouri, Cea Leti, Grenoble
  • Belgacem Ben Hedia, LIST-CEA, Saclay (co-chair)
  • Chadlia Jerad, ENSI, Tunis
  • Patrice Bonhomme, LI, University of Tours
  • Takoua Abdellatif, EPT, Tunis
  • Vladimir-Alexandru Paun, ENSTA ParisTech, Saclay (co-chair)
  • Zohra Sbaï, ENIT, Tunis

  • Please contact Vladimir-Alexandru Paun with any questions or concerns.

    Important Dates


    Work-in-Progress
    Short paper submission: July 15, 2016
    Acceptance notification: August 16, 2016
    Final submission: August 30, 2016
    WiP session: 7th October 2016

    WiP submission remaining days:
    days left