« Return to Thread: VECoS 2009 - Call for Participation
VECoS 2009 - Call for Participation
by Bruno Monsuez-2
::
Rate this Message:
[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
====================================
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
« Return to Thread: VECoS 2009 - Call for Participation
| Free embeddable forum powered by Nabble | Forum Help |
