Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Laboratoire
>
Membre
>
Abor
>
Robert Abo
Doctorant(e)
Equipe SYS
Parti depuis le 31/12/2010
Mail :
robert.abo
cnam.fr
Tel : (33)15880
Fax : (33)15880
http://cedric.cnam.fr/~
Directeur de thèse :
Kamel Barkaoui
Robert's Tag-Cloud :
aeronautic
,
eco-mac
,
media access control protocol
,
mobility
,
pepa
,
prism
,
performability
,
performance evaluation
,
probabilistic model checking
,
process calculi
,
rtca do-178b standard
,
rtca do-254
,
requirement engineering
,
s-mac
,
stochastic π-calculu
,
v-model
,
wireless sensor network
,
Ï€-calculu
Publications
2011
Conférence Internationale avec comité de lecture
[ABa11]
R. Abo
,
K. Barkaoui
. "
Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks
", WLN'11, 11th IEEE International Workshop on Wireless Local Networks , December 2011,
pp.
22-30, Bonn, Germany,
[AB11]
R. Abo
,
K. Barkaoui
. "
A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking
", The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King’s College (Strand Campus), June 2011,
pp.
25-34, London, United Kingdom,
Conférence Nationale avec comité de lecture
[ABb11]
R. Abo
,
K. Barkaoui
. "
Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier
", ARC 2011, 4e colloque « Automatique et Réseaux de Communication (ARC) », April 2011,
pp.
15-23, Paris, France,
2010
Revue Internationale avec comité de lecture
[Abo10b]
R. Abo
. "
Introduction to a Requirements Engineering Framework for Aeronautics
",
Journal of Software Engineering and Applications
,
vol.
3(9),
pp.
pp.894-900, 2010
Conférence Internationale avec comité de lecture
[ABZ10]
R. Abo
,
K. Barkaoui
,
H. Zayani
. "
A Probabilistic Analysis of Energy Efficiency of Wireless Sensor Network Duty-Cycled MAC Protocols: Application to S-MAC and Eco-MAC
", Q2SWinet'10, 6th ACM/IEEE International Symposium on QoS and Security for Wireless and Mobile Networks (in conjunction with MsWim'10), October 2010,
pp.
15-27, Bodrum, Turkey,
[Abo10]
R. Abo
. "
Introduction to a Requirements Engineering Framework for Aeronautics
", IWRA'10, 2nd International Workshop on Requirements Analysis, Middlesex University, The Burroughs, Hendon campus (London), September 2010,
pp.
10-17, GB,
[ABD10]
R. Abo
,
K. Barkaoui
, K. Djouani. "
Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi
", SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10), June 2010,
pp.
65-74, Genoa, Italy,
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales