Published January 1, 2011 | Version v1
Publication Open

Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011) - Index

Creators

  • 1. Laboratoire d'Informatique Algorithmique: Fondements et Applications
  • 2. University of Algiers Benyoucef Benkhedda
  • 3. University of Sciences and Technology Houari Boumediene
  • 4. Centre d'Etudes et De Recherche en Informatique et Communications
  • 5. University of Leeds
  • 6. Mohammed V University
  • 7. Laboratoire d'Analyse et d'Architecture des Systèmes
  • 8. École Nationale Supérieure de Techniques Avancées
  • 9. Université Savoie Mont Blanc
  • 10. Sorbonne Université
  • 11. UniLaSalle Amiens (ESIEE-Amiens)
  • 12. University of Béjaïa
  • 13. Protéomique, Réponse Inflammatoire et Spectrométrie de Masse
  • 14. Verimag
  • 15. Polytechnique Montréal
  • 16. Boğaziçi University
  • 17. Université d'Orléans
  • 18. Tadeusz Manteuffel Institute of History
  • 19. Polish Academy of Sciences
  • 20. Conservatoire National des Arts et Métiers
  • 21. Polytechnic University of Bari
  • 22. INFN Sezione di Napoli
  • 23. Université de Versailles Saint-Quentin-en-Yvelines
  • 24. École Normale Supérieure Paris-Saclay
  • 25. National Institute of Applied Science and Technology
  • 26. Universidad San Jorge
  • 27. Universidad de Zaragoza
  • 28. Martin Luther University Halle-Wittenberg
  • 29. Informatique, Biologie Intégrative et Systèmes Complexes
  • 30. Xidian University
  • 31. Istanbul Technical University
  • 32. University of Oxford
  • 33. Paris-Est Sup
  • 34. Centre de Recherche en Automatique de Nancy
  • 35. Laboratoire d'Informatique de Paris-Nord
  • 36. Georgia Institute of Technology
  • 37. National Research Institute of Rural Engineering, Water and Forests
  • 38. Centre Hospitalier privé Saint Grégoire
  • 39. Concordia University
  • 40. University of Rostock
  • 41. University of Sousse
  • 42. Institut National des Sciences Appliquées de Toulouse
  • 43. National Engineering School of Tunis

Description

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.

⚠️ This is an automatic machine translation with an accuracy of 90-95%

Translated Description (Arabic)

الهدف من ورشة عمل VECoS هو الجمع بين الباحثين والممارسين في مجالات التحقق والتحكم والأداء وجودة الخدمة وتقييم الاعتمادية والتقييم، لمناقشة أحدث التطورات لحل التحديات التي تواجهنا اليوم في مختلف أنظمة الكمبيوتر والاتصالات الحديثة التي ترتبط فيها الخصائص الوظيفية وغير الوظيفية ارتباطًا وثيقًا. وبالتالي، فإن الدافع الرئيسي لـ VECoS هو تشجيع التخصيب المتبادل بين مناهج وأساليب وتقنيات التحقق والتقييم الرسمية، لا سيما تلك القائمة على شكليات المواصفات للأنظمة المتزامنة والموزعة والناعمة/الصلبة. بالإضافة إلى أهدافها التقنية والعلمية، فإن الغرض الرئيسي الآخر من VECoS هو تعزيز التعاون بين المشاركين في البحث والتعليم في مجال علوم وهندسة الكمبيوتر. تم تنظيم هذا المؤتمر بالشراكة مع مدينة تونس للعلوم.

Translated Description (French)

L'objectif de l'atelier VECoS est de réunir des chercheurs et des praticiens dans les domaines de la vérification, du contrôle, de la performance, de la qualité de service, de l'évaluation de la fiabilité et de l'évaluation, pour discuter de l'état de l'art pour résoudre les défis auxquels nous sommes confrontés aujourd'hui dans divers systèmes informatiques et de communication modernes dans lesquels les propriétés fonctionnelles et extra-fonctionnelles sont étroitement liées. Ainsi, la motivation principale de VECoS est d'encourager la fertilisation croisée entre les approches, méthodes et techniques de vérification et d'évaluation formelles, en particulier celles basées sur les formalismes de spécification pour les systèmes concurrents, distribués et souples/durs. Au-delà de ses objectifs techniques et scientifiques, un autre objectif principal de VECoS est de promouvoir la collaboration entre les participants à la recherche et à l'éducation dans le domaine de l'informatique et de l'ingénierie. Cette conférence a été organisée en partenariat avec la Cité des Sciences de Tunis.

Translated Description (Spanish)

El objetivo del taller VECoS es reunir a investigadores y profesionales en las áreas de verificación, control, rendimiento, calidad de servicio, evaluación y valoración de la fiabilidad, para discutir el estado del arte para resolver los desafíos a los que nos enfrentamos hoy en día en diversos sistemas informáticos y de comunicación modernos en los que las propiedades funcionales y extrafuncionales están fuertemente interrelacionadas. Por lo tanto, la principal motivación de VECoS es fomentar la fertilización cruzada entre los enfoques, métodos y técnicas formales de verificación y evaluación, especialmente los basados en los formalismos de especificación para sistemas concurrentes, distribuidos y blandos/duros. Más allá de sus objetivos técnicos y científicos, otro propósito principal de VECoS es promover la colaboración entre los participantes en la investigación y la educación en el área de la informática y la ingeniería. Esta conferencia se ha organizado en colaboración con la Ciudad de la Ciencia de Túnez.

Files

VECOS%202011.pdf.pdf

Files (25.6 kB)

⚠️ Please wait a few minutes before your translated files are ready ⚠️ Note: Some files might be protected thus translations might not work.
Name Size Download all
md5:3d71129130a54c6ef6b17ca2db4ce7ef
25.6 kB
Preview Download

Additional details

Additional titles

Translated title (Arabic)
ورشة العمل الدولية الخامسة حول التحقق من أنظمة الكمبيوتر والاتصالات وتقييمها (VECoS 2011) - الفهرس
Translated title (French)
Cinquième atelier international sur la vérification et l'évaluation des systèmes informatiques et de communication (VECoS 2011) - Index
Translated title (Spanish)
Quinto Taller Internacional de Verificación y Evaluación de Sistemas Informáticos y de Comunicación (VECoS 2011) - Índice

Identifiers

Other
https://openalex.org/W2990366692
DOI
10.14236/ewic/vecos2011.0

Is supplement to
https://openalex.org/W4256317220 (Other)
https://openalex.org/W4252527915 (Other)
https://openalex.org/W2748952813 (Other)
https://openalex.org/W2536467322 (Other)
https://openalex.org/W2409287660 (Other)
https://openalex.org/W2233357156 (Other)
https://openalex.org/W2169628522 (Other)
https://openalex.org/W2141414364 (Other)
https://openalex.org/W1976489385 (Other)
https://openalex.org/W1506225852 (Other)

GreSIS Basics Section

Is Global South Knowledge
Yes
Country
Algeria

References

  • https://openalex.org/W2488277742
  • https://openalex.org/W38672157