[ecoop-info] VECoS 2009 - Call for Participation

[Bruno Monsuez]

[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