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 |
|