275
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

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

      proceedings-article

      ,

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

      Verification and Evaluation of Computer and Communication Systems

      15-16 September 2011

      Bookmark

            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.

            Main article text

            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

            Author and article information

            Contributors
            Conference
            September 2011
            September 2011
            Article
            10.14236/ewic/VECOS2011.0
            8d8d35c1-10a8-4818-811e-41ac062a4216

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Fifth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2011)
            VECoS
            5
            Tunis, Tunisia
            15-16 September 2011
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article