Abstract
The aim of the VECoS workshop is to bring together researchers and practitioners in the areas of verification, control, performance, quality of service, dependability evaluation and assessment, to discuss the state of the art for solving the challenges facing us today in various modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilisation between formal verification and evaluation approaches, methods and techniques, especially those based on the specification formalisms for concurrent, distributed and soft/hard systems. Beyond its technical and scientific goals, another main purpose of VECoS is to promote collaboration between participants in research and education in the area of computer science and engineering. This conference has been organised in partnership with the Tunis Science City.
Highlights
The aim of the VECoS workshop is to bring together researchers and practitioners in the areas of verification, control, performance, quality of service, dependability evaluation and assessment, to discuss the state of the art for solving the challenges facing us today in various modern computer and communication systems in which functional and extra-functional properties are strongly interrelated
The main motivation for VECoS is to encourage the cross-fertilisation between formal verification and evaluation approaches, methods and techniques, especially those based on the specification formalisms for concurrent, distributed and soft/hard systems
Beyond its technical and scientific goals, another main purpose of VECoS is to promote collaboration between participants in research and education in the area of computer science and engineering. This conference has been organised in partnership with the Tunis Science City
Summary
Hassane Alla LAG-INPG Grenoble, France Nadjib Badache LSI-USTHB Algiers, Algeria Kamel Barkaoui (Chair) CEDRIC-CNAM Paris, France Karim Djemame University of Leeds , UK Karim Djouani Université Paris Est LISSI, France Said El Hajji University of Mohammed V - Agdal, Rabat, Morocco Mohamed Kaaniche LAAS CNRS Toulouse, France Bruno Monsuez (Co-chair) ENSTA - UEI, Paris, France Patrice Moreaux LISTIC University of Savoie Annecy, France Denis Poitrenaud, LIP6, Université Pierre et Marie Curie, France
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
