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
>
SYS
>
Menu
Membres
Description
Publications
Axes
Site Web de l'équipe
Projets
Formalization of the Sequent Calculus' meta-theory
Evenements
International Conference on Machine Learning for Networking (MLN'2018)
MLN 2018 is the first edition of the International Conference on Machine Learning for...
27-11-2018
au
29-07-2018 - CNAM
4th International Conference on Mobile, Secure and Programmable Networking (MSPN'2018)
MSPN 2018 is the 4th edition of the successful International Conference on Mobile, Secure...
18-06-2018
au
20-06-2018 - CNAM
Membres de l'équipe
Nouveau membre
(
permanents)
Kamel Barkaoui
Professeur
Mohamed Nacer Bouatit
Doctorant(e)
Elie Canonici Merle
Doctorant(e)
Tristan Crolard
Responsable
Professeur
Ahmed Taki Eddine Dib
Doctorant(e)
Manel Djenouhat
Doctorant(e)
Hana Jouini
Doctorant(e)
Ahmed Kheldoun
Doctorant(e)
Nicole Levy
Professeur
Amira Methni
Post-doc
Yann Pollet
Professeur
Zayneb Tayachi
Doctorant(e)
Steven Varoumas
Doctorant(e)
SYS's Tag-Cloud :
ant colony system
,
automata
,
automated manufacturing system
,
automated proof
,
big data
,
cloud computing
,
complex system
,
deadlock prevention
,
difficulty
,
flexible manufacturing system
,
focalize
,
formal method
,
fédération d'identité
,
game design
,
handover
,
iod
,
livenes
,
load balancing
,
mas
,
massively parallel processing
,
maude
,
mobility
,
model
,
model checking
,
modeling
,
ontologie
,
performability
,
performance evaluation
,
petri net
,
proof assistant
,
simulation
,
siphon
,
software architecture
,
software product line
,
supervisory control
,
systemc
,
tpn
,
time petri net
,
uncertainty management
,
verification
Anciens membres
(
permanents)
Messaoud Abbas
Robert Abo
Ebtisam Amar
Pierre Amiranoff
Anthony Baiotto
Youssef Bakouny
William Bartlett
Adel Bedoui
Vincent Benayoun
Ridha Benosman
Ridha Benosman
Gérard Berthelot
Céline Bigot
Olivier Boite
Anne-Gwenn Bosser
Noura Boudiaf
Lilian Burdy
Raphaël Cauderlier
Linda Chamek
Jun Chen
Hervé Costantini
Jerome Dantan
Salah Delly
Vincent Demange
Catherine Dubois
Maryam Eslamichalandar
Jean-Frédéric Etienne
Frejus A. Romeo Gbaguidi
Frédéric Gervais
Jérôme Grandguillot
Rim Hachicha
Leïla Harfouche
Nesrine Harrath
Awatef Hicheur
Mélanie Jacquel
Chadlia Jerad
Truong Giang LE.
Nestor Lopez
Amel Mammar
Abdallah Missaoui
Jean-Marc Mota
Keiko Nakata
Rahina Oumarou Mahamane
Assia outamazirt
Modou Ndim Papa
Thi Kim Dung Pham
Mario Richard
Lionel Rieg
Benoit Robillard
Marc Sango
Zohra Sbai
Ofaina Taofifenua
Pierre-Nicolas Tollitte
Hafedh Zayani
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales