Text size
  • Small
  • Medium
  • Large
Contrast
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Editors

    Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

    Paris, France, 1 - 2 July 2010

    This conference was edited by:

    Kamel Barkaoui, CEDRIC - CNAM, France (Chair)
    Bruno Monsuez, ENSTA - LEI, France (Co-chair)

    Program Co-chairs

    Denis Poitrenaud LIP6 - University Paris 6, France
    Loïc Corenson LIST-CEA, France

    Steering Committee

    Hassane Alla LAG-INPG Grenoble, France
    Nadjib Badache LSI-USTHB Algiers, Algeria
    Kamel Barkaoui CEDRIC-CNAM Paris, France (Chair)
    Rahma Ben Ayed SysCom-ENIT Tunis, Tunisia
    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 ENSTA - LEI, Paris, France
    Patrice Moreaux LISTIC University of Savoie Annecy, France

    Programme Committee

    Hassane Alla, Univ Grenoble, France
    Nasreddine Aoumeur, Univ Magdeburg, Germany
    Djamil Aissani, LAMOS Bejaia, Algeria
    Yamine Ait-Ameur, LISL ENSMA Poitiers, France
    Karim Baïna, ENSIAS Rabat, Morocco
    Kamel Barkaoui, Cedric-CNAM Paris, France
    Faïza Belala, Univ. Constantine, Algeria
    Nejib Ben Hadj-Alouane, ENIT Tunis, Tunisia
    Narjes Ben Rajeb, INSAT Tunis, Tunisia
    Saddek Bensalem, VERIMAG Grenoble, France
    Hanifa Boucheneb, VeriForm, École Polytechnique de Montréal, Canada
    Mario Bravetti, Univ. Bologna, Italy
    Boutheina Chetali, Gemalto, France
    Loïc Corenson, LIST-CEA, France, (Co-Chair)
    Jean-Michel Couvreur, LIFO Univ. Orlés, France
    Isabel Demongodin, LSIS Marseille, France
    Maria Pia Fanti, Politecnico di Bari, Italy
    Mamoun Filali-Amine, IRIT Toulouse, France
    Francesco Flammini, Universitài Napoli , Italy
    Serge Haddad, LSV ENS Cachan, France
    Malika Ioulalen, USTHB Alger, Algeria
    Jorge Julvez, University of Zaragoza., Spain
    Mohamed Khalgui, Martin Luther University, Germany
    Hanna Klaudel, IBISC-CNRS Univ. Evry, France
    Ouajdi Korbaa, LI3, ISITCom, Tunisia
    Fabrice Kordon, LIP6 Univ. Paris 6, France
    Zhiwu Li, Xidian University, China
    Mourad Maouche, Philadephia University, Amman, Jordan
    Abdelhamid Mellouk, LISSI Univ Paris 12, France
    Bruno Monsuez, ENSTA Paris, France
    Hassan Mountassir, LIFC University France-Comté, France
    Joel Ouaknine, Oxford University, UK
    Nihal Pekergin, LACL, University Paris Est, France
    Jean-François Petin, CRAN Nancy, France
    Laure Petrucci, LIPN Univ. Paris Nord, France
    Denis Poitrenaud, LIP6 Univ. Paris 6, France, (Co-Chair)
    Jean-François Raskin, Université Libre de Bruxelles (ULB), Belgium
    Riadh Robbana, LIP2/EPT Carthage, Tunisia
    Jean-Marc Roussel, LURPA ENS Cacahn, France
    Olivier-H Roux, IRCCYN Nantes, France
    Brigitte Rozoy, LRI - CNRS Univ. Paris Sud, France
    Natalia Sidorova, Technische universiteit Eindhoven, Nederland
    Grégoire Sutre, LaBRI Bordeaux, France
    Thouraya Tebibel, ESI, Algeria
    Tayssir Touili, LIAFA Univ Paris 7, France
    François Vernadat, LAAS-CNRS Toulouse, France
    Anrong Wang, Xidian University, China
    Karsten Wolf, Universitaet Rostock, Institut fuer Informatik, Germany
    Habib Youssef, ISITCH Sousse, Tunisia

    Conference Introduction