VECoS 2009
Located At:

Logo

General

Committees

Workshop

Useful Links

Workshop Programme

Thursday 2 July 2009

08:30 - 09:00
Registration
Location
Laboratory of Mathematics & Computer Science
09:00-09:15
Opening
9:15:-10:15 Invited speaker 1: Guy Juanole
LAAS Toulouse, France
Talk: Networked Control Systems
10:15:10:30
Coffee Break
10:30 - 12:30
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
12:30 - 14:00
Lunch
14:30:-15:30 Invited speaker 2: Joel Ouaknine
Oxford University, United Kingdom
Talk: Verifying Probabilistic Programs: Three Easy Pieces
15:30 - 16:00
Coffee break
16:00-18:00
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
20:00
Workshop Dinner

Friday 3 July 2008

09:00-10:00 Invited speaker 3: Assaf Kfoury
Boston University, USA
Talk: Lightweight Formal Methods for the Development of High-Assurance Networking Systems
10:00:10:30
Coffee Break
10:30-12:00
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 Perti Nets Modelling
Hassane ALLA, Abbas DIDEBAN
12:00:14:00
Lunch
14:00-15:30 Invited speaker 4: Mario Bravetti, Universita di Bologna, Italy
Talk: Foundational aspects of contract compliance and choreography conformance
15:30:16:00
Coffee Break
16:00 - 17:00
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
17:00
Closing