VECoS 2009 - Call for Participation

[Bruno Monsuez-2]

[Apologies if you receive multiple copies of this Call for Participation]

====================================
CALL FOR PARTICIPATION

3rd International Workshop on Verification and Evaluation of Computer and
Communication Systems http://www.vecos-world.org

Rabat, Morroco
July, 2-3, 2009

====================================
IMPORTANT

Registration Deadline: Friday, Juni 26th, 2009

Additional informations on
        http://vecos.ensta.fr/2009/registration.html

====================================

The VECoS'2009 Workshop will be held in the city of Rabat in Morroco.
It will be hosted by the laboratory of mathematics, computer science &
Applications (MIA) at the Faculté des sciences Mohammed V University-Agdal.

The International Workshop on Verification and Evaluation of Computer
and Communication Systems (VECoS) was created by an Euro-Maghrebian
network of researchers in computer science. The first edition tooks
place in Algiers 5-6 May 2007 (VECoS'2007), the second edition in
Leeds 2-3 July 2008 ( VECoS'2008). The aim of 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.

====================================
SATELLITE EVENTS

Wednesday, July 1rst, 2009
        Tutorial on "Some Important Aspects of Real-Time Systems"

====================================
PROGRAMME

Thursday, July 2nd, 2009
Invited speaker 1:
        Guy Juanole LAAS Toulouse, France
        Talk: Networked Control Systems  

Session 1: Wireless networks
        -. Optimal Sensors Placement for Failures Detection
        and Isolation Sabrina ABID, Hafid HAFFAF
        -. Confidentiality in the UMTS Radio Access Network,
        Simulation approach under OPNET Ghizlane ORHANOU, Said EL HAJJI
        -. Discrete Events Simulator for wireless sensor
        networks Fouzi SEMCHEDINE, Louiza BOUALLOUCHE, Sofiane MOAD,
        Rafik MAKHLOUFI, Djamil AISSANI
        -. Orthogonal and Non-orthogonal Cooperative protocols in WLANs
        Jun CHEN, Karim DJOUANI, Kamel BARKAOUI

Invited speaker 2:
        Joel Ouaknine Oxford University, United Kingdom
        Talk: Verifying Probabilistic Programs: Three Easy Pieces  

Session 2: Timed Systems & Model Checking  
        -. Specification and Verification of Real-Time Systems using the
        POLA tool Florent PERES, Pierre-Emmanuel HLADIK, Francois VERNADAT
        -. Distributed CTL Model-Checking and counterexample search
        Cherif BOUKALA, Laure PETRUCCI
        -. Timed SystemC Waiting-State Automata
        Harrath NESRINE, Bruno MONSUEZ
        -. On combining the ready sets with the covering steps methods
        Hanifa BOUCHENEB, Kamel BARKAOUI  

Friday, July 3rd, July 2009

Invited speaker 3: Assaf Kfoury, Boston University, USA
        Talk: Lightweight Formal Methods for the Development of
High-Assurance
        Networking Systems  
       
Session 3: Control & Dependability  
        -. Improving Testbench Evaluation using Normalized Formal Properties

        Martin OBERKOENIG, Martin SCHICKEL, Hans EVEKING
        -. Dependability Evaluation of Complex Embedded Systems and
Microsystems
        Olaf MALASSE, et al.
        -. Controller Synthesis by Petri Nets Modelling
        Hassane ALLA, Abbas DIDEBAN  

Invited speaker 4: Mario Bravetti, Universita di Bologna, Italy
        Talk: Foundational aspects of contract compliance and
        choreography conformance  

Session 4: Model & System Design  
        -. Validating time-constrained systems using UML Statecharts
        Patterns and Timed Automata Observers
        Ahmed MEKKI, Mohamed GHAZEL, Armand TOGUYENI
        -. A generic formal model for fission of modalities in output
        multi-modal interactive systems
        Yamine AIT AMEUR, Linda MOHAND OUSSAID Mohamed AHMED NACER  


_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog