Steering Committee
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
Program Committe
Yasmina Abdeddaim, ESIEE, France
Djamil Aissani, LAMOS Bejaia, Algeria
Annie Choquet-Geniet Choquet, LISL ENSMA Poitiers, France
Faïza Belala, Univ. Constantine, Algeria
Nejib Ben Hadj-Alouane, ENIT Tunis, Tunisia
Mourad Ben Mamoun, Univ. Mohammed V Rabat, Marocco
Jalel Ben Othman, PRISM UVSQ, France
Saddek Bensalem, VERIMAG Grenoble, France
Hanifa Boucheneb, VeriForm, École Polytechnique de Montréal, Canada
Selma Boumerdassi, Cedric Cnam, France
Matteo Sereno, Universita di Torino, France
Ufuk Caglayan, Bogazici University, Turkey
Hind Castel, Télécom SudParis, France
Jean-Michel Couvreur, LIFO Univ. Orléans, France
Tadeusz Czachorzki, IITIS Polish Academy of Sciences, Poland
David Delahaye, Cedric, Cnam, France
Maria Pia Fanti, Politecnico di Bari, Italy
Francesco Flammini, Universitài Napoli, Italy
Jean-Michel Fourneau, PRISM, UVSQ, France
Serge Haddad, LSV ENS Cachan, France
Malika Ioulalen, USTHB Alger, Algeria
Abderrazak Jemaï, INSAT Tunis, Tunisia
Jorge Julvez, University of Zaragoza., Spain
Mohamed Khalgui, Martin Luther University, Germany
Franck Pommereau, IBISC-CNRS Univ. Evry, France
Ouajdi Korbaa, LI3, ISITCom, Tunisia
Zhiwu Li, Xidian University, China
Mourad Maouche, Philadephia University, Amman, Jordan
Sema Oktug, Istanbul Technical University, Turkey
Joel Ouaknine, Oxford University, UK
Nihal Pekergin, LACL, University Paris Est, France (co-chair)
Jean-François Petin, CRAN Nancy, France
Kaïs Klai, LIPN Univ. Paris Nord, France
Emmaniel Paviot-Adet, LIP6, UPMC, France
Denis Poitrenaud, LIP6, UPMC, France
Spyros A. Reveliotis, Georgia Institute of Technology, USA
Riadh Robbana, EPT, Tunisia
Jean-Marc Roussel, LURPA ENS Cachan, France
Natalia Sidorova, Technische universiteit Eindhoven, Nederlands
Grégoire Sutre, LaBRI, France
Sofiene Tahar, Concordia University, Canada
Thouraya Tebibel, ESI, Algeria
Tayssir Touili, LIAFA,CNRS and Univ Paris 7, France (co-chair)
François Vernadat, LAAS-CNRS Toulouse, France
Jean-Marc Vincent, LIG Grenoble, France
Karsten Wolf, Universitaet Rostock, Institut fuer Informatik,Germany
Habib Youssef, ISITCH Sousse, Tunisia
Organizing Committee
Abderrazak Jemaï, INSAT, Tunis
Adel Bedoui, ENIT, Tunis
Amel Grissa Touzi, ENIT, Tunis
Chadlia Jerad, ENSI, Tunis
Khaled Hassine, FSG, Gabès
Moez Krichene, ISIMS, Sfax
Moez Yeddes, ENSI, Tunis
Mohamed Escheikh, ENIT, Tunis
Moncef Temani, ISI, Tunis (finance chair)
Nejib Ben Hadj-Alouane, ENSI, Tunis (chair)
Ouajdi Korbaa, ISITC, Sousse
Papers:
Session 1: Stochastic modeling and analysis
Samira Yessad, Louiza Bouallouche and Djamil Aissani Proposition and evaluation of a novel routing protocol for wireless sensor networks http://dx.doi.org/10.14236/ewic/VECOS2011.1
J M Fourneau, N Izri and D Verchère A Tool to Model Traffic Aggregation in Networks of Reconfigurable Optical ADD/DROP Multiplexers http://dx.doi.org/10.14236/ewic/VECOS2011.2
Hind Castel-Taleb and Nihal Pekergin Strong and Weak orderings for an accurate resource dimensioning http://dx.doi.org/10.14236/ewic/VECOS2011.3
Session 2: Control synthesis and optimization
Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon and Yann Thierry-Mieg Modeling complex systems with VeriJ http://dx.doi.org/10.14236/ewic/VECOS2011.4
Imed Nasri, Georges Habchi and Reda Boukezzoula Scheduling and Control Modeling of HVLV Systems Using Max-Plus Algebra http://dx.doi.org/10.14236/ewic/VECOS2011.5
Mohammed Amin Ben Amar, Hervé Camus and Ouajdi Korbara A Mathematical Model for Cyclic Scheduling with Limited Work-In-Process and Cycle Time Minimization http://dx.doi.org/10.14236/ewic/VECOS2011.6
Achraf Ben Said, Nejib Ben Hadj-Alouane, Moez Yeddes, Feng Lin An Iterative Approach for the Satisfaction of Security Using the Intransitive Non-Interference Property http://dx.doi.org/10.14236/ewic/VECOS2011.7
Session 3: Verification
A Duret-Lutz LTL Translation Improvements in Spot http://dx.doi.org/10.14236/ewic/VECOS2011.8
Asma Louhichi, Olfa Mraihi, Wided Ghardallou, Lamia Labed Jilani, Khaled Bsaies and Ali Mili Invariant Relations: An Automated Tool to Analyze Loops http://dx.doi.org/10.14236/ewic/VECOS2011.9
Yannick L Kala Konga, Karim Djouani and Guillaume Noel Modelling and Verification of JXTA peer-to-peer Network Protocols http://dx.doi.org/10.14236/ewic/VECOS2011.10
Nesrine Harrath, Bruno Monsuez and Joëlle Delacroix Building SystemC waiting state automata http://dx.doi.org/10.14236/ewic/VECOS2011.11
Session 4: Verification
Martin Schweikert, Tobias Dornes and Hans Eveking Using Sequence Diagrams to Specify and to Generate RTL Assertions http://dx.doi.org/10.14236/ewic/VECOS2011.12
Sabine Boufenara, Kamel Barkaoui, Faiza Belala and Hanifa Boucheneb On Formalizing UML2 Activities Using TPNets: Case Studies http://dx.doi.org/10.14236/ewic/VECOS2011.13
Atef Gharbi, Mohammed Khalgui and Samir Ben Ahmed Safety Implementation of Adaptive Embedded Control Components http://dx.doi.org/10.14236/ewic/VECOS2011.14
Meriem Belguidoum, Faiza Belala and Fateh Latreche Toward a rewriting logic framework for safe and distributed component installation http://dx.doi.org/10.14236/ewic/VECOS2011.15