researcher / Traian Muntean

Traian Muntean

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Electrical engineering
Mathematics
Edit Merge See Links

Directed Thesis:

Mécanismes et outils pour sécurisation de systèmes à accès distants : application aux systèmes de gestion électronique de documents
Contributions à l'efficacité des mécanismes cryptographiques
Energy efficient secure and privacy preserving data aggregation in Wireless Sensor Networks
Contribution au renforcement de la protection de la vie privée. : Application à l' édition collaborative et anonyme des documents.
Méthodologie d'évaluation par simulation de la sécurité des circuits face aux attaques par faute
Tomographie depuis plusieurs sources vers de multiples destinations dans les réseaux de grilles informatiques hautes performances
MobiRouting : Un modèle de routage des communications pour processus mobiles
Construction correcte de logiciels pour carte à puce : Développement formel d'un vérifieur embarqué de byte code Java Card à l'aide de la méthode B
Un modèle formel pour les systèmes mobiles à diffusion
Communications adaptatives dans les réseaux généraux
Placement optimal de taches pour les systemes paralleles temps-reel critiques
Conception d'une Machine Virtuelle pour les systèmes parallèles à diffusion
Conception d'un système supportant des modèles de cohérence multiples pour les machines parallèles à mémoire virtuelle partagée
Les entrées-sorties dans les architectures massivement parallèles
Un mécanisme d'ordonnancement distribue de taches temps réel
Migration de processus dans les systèmes massivement parallèles
Allocation de processus sur les architectures parallèles à mémoire distribuée
Contrôle des communications dans les machines parallèles à mémoire distribuée : contribution au routage automatique des messages
ParObj : un noyau de système parallèle à objets
Un système formel de transformation de programmes pour leur exécution sur machines parallèles
Parx : architecture de noyau de système d'exploitation parallèle
Architectures parallèles à connectique programmable : reconfiguration et routage
Pds : un générateur de systèmes de développement pour machines parallèles