Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- Isid
- Laetitia
- Mim
- 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
>
Systèmes Sûrs
Menu
Membres
Description
Publications
Axes
Site Web de l'équipe
Projets
Cartographie de la plateforme ISAP de la société Egidium Technologies : architecture, qualité et variabilité logicielle.
Définition d’une méthode de construction d’une ligne de produits à partir des systèmes existants
Operational Optimization of a Multipurpose Hydropower-Irrigation System
Evenements
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
8ième Journée thématique sur les Réseaux Véhiculaires (REVE)
Dans le cadre du pôle RESCOM du GDR RSD, une journée...
22-03-2018 - CNAM
Membres de l'équipe
Nouveau membre
(
permanents)
Maria-Virginia Aponte
Maître de Conférences
Youssef Bakouny
Doctorant(e)
Kamel Barkaoui
Professeur
Francois Barthelemy
Associé
Mohamed Nacer Bouatit
Doctorant(e)
Selma Boumerdassi
Maître de Conférences
Yufeng Chen
Associé
Pierre Courtieu
Maître de Conférences
Tristan Crolard
Responsable
Professeur
Joelle Delacroix
Maître de Conférences
Ahmed Taki Eddine Dib
Doctorant(e)
Manel Djenouhat
Doctorant(e)
Julien Forest
Maître de Conférences
Awatef Hicheur-Cairns
Associé
Hana Jouini
Doctorant(e)
Ahmed Kheldoun
Doctorant(e)
Nicole Levy
Professeur
Gaiyun Liu
Associé
Ding Liu
Associé
Aymen Louati
Associé
Amira Methni
Post-doc
Yann Pollet
Professeur
Olivier Pons
Maître de Conférences
Matthias Puech
Maître de Conférences
Rachid Rebiha
Maître de Conférences
Zayneb Tayachi
Doctorant(e)
Steven Varoumas
Doctorant(e)
Veronique Viguie Donzeau-Gouge
Professeur émérite
SYS's Tag-Cloud :
ant colony system
,
automata
,
automated proof
,
big data
,
complex system
,
deadlock prevention
,
difficulty
,
embedded system
,
flexible manufacturing system
,
focalize
,
formal method
,
fédération d'identité
,
game design
,
handover
,
iod
,
livenes
,
load balancing
,
mas
,
massively parallel processing
,
maude
,
microcontroller
,
mobility
,
model
,
model checking
,
modeling
,
multithreading
,
ocaml
,
ontologie
,
performability
,
performance evaluation
,
petri net
,
proof assistant
,
simulation
,
siphon
,
supervisory control
,
systemc
,
tpn
,
time petri net
,
uncertainty management
,
verification
Anciens membres
(
permanents)
Messaoud Abbas
Robert Abo
Ebtisam Amar
Pierre Amiranoff
Lamia Atma Djoudi
Anthony Baiotto
William Bartlett
Adel Bedoui
Vincent Benayoun
Ridha Benosman
Ridha Benosman
Gérard Berthelot
Céline Bigot
Sandrine Blazy
Olivier Boite
Anne-Gwenn Bosser
Hanifa Boucheneb
Arnault Bouchet
Noura Boudiaf
Lilian Burdy
Guillaume Burel
Matthieu Carlier
Raphaël Cauderlier
Linda Chamek
Jun Chen
Hervé Costantini
Jerome Dantan
David Delahaye
Véronique Delebarre
Salah Delly
Vincent Demange
Catherine Dubois
Maryam Eslamichalandar
Jean-Frédéric Etienne
Stéphane Gaudry
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
Régine Laleau
Truong Giang LE.
Nestor Lopez
Francisca Losavio
Amel Mammar
Borhene Marzougui
Abdallah Missaoui
Jean-Marc Mota
Keiko Nakata
Assia outamazirt
Modou Ndim Papa
Thi Kim Dung Pham
Mario Richard
Lionel Rieg
Renaud Rioboo
Renaud Rioboo
Benoit Robillard
Marc Sango
Zohra Sbai
Hacène Sebih
Marianne Simonot
Ofaina Taofifenua
Pierre-Nicolas Tollitte
Xavier Urbain
Hafedh Zayani
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales