VECoS 2017

11^th International Conference on Verification and Evaluation of Computer and Communication Systems

Montreal, Québec, Canada

24-25 August 2017

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 the11^th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2017). 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, University of Grenoble Alpes

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 Belgacem Ben Hedia with any questions or concerns.

Important Dates

Work-in-Progress
Short paper submission: April 24, 2017
Acceptance notification: May 29, 2017
Final submission: June 12, 2017
WiP session: 24th August 2017

WiP submission remaining days:

days left