Current teams : | ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Former teams : | AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Former research topics : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- MBA Mathieu Leonel :
“Automatic generation of distributed hardware platforms for signal processing applications”, supervision Bertrand GRANADO, Paulin MELATAGIA YONTA, defence 09/26/2023.
- GUIFO FODJO Yvan :
“Separation of concerns in extended compartmental models”, supervision Mikal ZIANE, Samuel BOWONG, defence 09/15/2023.
- BOVE Clara : “Design and evaluation of explanation user interfaces for complex machine-learning systems”, supervision Marie-Jeanne LESOT, defence 09/15/2023.
- PANTIN Jérémie :
“Detection and semantic characterisation of textual outliers”, supervision Christophe MARSALA, defence 09/11/2023.
- LE PELLETIER DE WOILLEMONT Pierre :
“Simulation Of Diverse Human Play-Styles In Video Games: A Reinforcement Learning Approach”, supervision Amal EL FALLAH SEGHROUCHNI, defence 09/11/2023.
- VINCENT Marc : “Reinforcement Learning for Multi-Function Radar Resource Management”, supervision Amal EL FALLAH SEGHROUCHNI, defence 09/08/2023.
- PROSPERI Laurent : “Varda: a language for programming distributed systems by composition”, supervision Mesaac MAKPANGOU, defence 09/05/2023.
- SYED Mohammad Imran : “Wireless passive measurements: tool, redundancy, measurements, and analyses”, supervision Anne FLADENMULLER, defence 09/05/2023.
- FONTES REBELLO Gabriel Antonio : “Payment Channel Networks with Resource-constrained Devices”, supervision Maria POTOP-BUTUCARU, Luís Henrique MACIEL KOSMALSKI COSTA, defence 07/12/2023.
- LÉCUYER Fabrice : “Ordering nodes to scale to large real-world networks”, supervision Lionel TABOURIER, defence 07/06/2023.
- MARTINEZ Florette : “Mathematical studies of arithmetical pseudo-random numbers generators”, supervision Damien VERGNAUD, defence 07/04/2023.
- VALLADE Vincent :
“Contributions to the parallel resolution of the SAT problem”, supervision Souheib BAARIR, Fabrice KORDON, defence 06/27/2023.
- SENEL Bérat : “Orchestration de conteneurs pour l'edge cloud”, supervision Olivier FOURMAUX, defence 06/23/2023.
- DESCHAMPS Sébastien :
“Deep Active Learning for Visual Recognition with Few Examples”, supervision Hichem SAHBI, defence 06/15/2023.
- GOUEL Matthieu : “Internet-Scale Route Tracing Capture and Analysis”, supervision Olivier FOURMAUX, defence 06/12/2023.
- SPYROU Theofilos : “Functional safety and reliability of neuromorphic computing systems”, supervision Haralampos STRATIGOPOULOS, defence 06/07/2023.
- BOURNIAS Ilias : “Design space exploration of image processing algorithms on FPGAs”, supervision Roselyne CHOTIN, Lionel LACASSAGNE, defence 06/02/2023.
- HATIA Saalik : “Leveraging formal specification to implement a database backend”, supervision Marc SHAPIRO, defence 06/01/2023.
- WILHELM Daniel : “Causal broadcast algorithms for dynamic distributed systems”, supervision Pierre SENS, defence 05/17/2023.
- ALLÈGRE Olivier Sylvain : “Adapting the Prerequisite Structure to the Learner in Student Modeling”, supervision Vanda LUENGO, defence 05/17/2023.
- HOURCADE Hugo :
“Enumération de motifs temporels”, supervision Emmanuel CHAILLOUX, defence 05/16/2023.
- GARBAY Thomas :
“ZIP-CNN”, supervision Bertrand GRANADO, defence 05/13/2023.
- MARTIN Benoît : “TTCC: Transaction Turn Causal Consistency”, supervision Mesaac MAKPANGOU, defence 04/21/2023.
- LOPEZ DAWN Ricardo : “Stochastic modeling and data analysis for information dissemination in online social platforms”, supervision Anastasios GIOVANIDIS, defence 03/22/2023.
- TYDRICHOVA Magdaléna :
“Structural and algorithmic aspects of preference domain restrictions in collective decision making: contributions to the study of single-peaked and Euclidean preferences”, supervision Olivier SPANJAARD, defence 03/21/2023.
- DUCOUSSO Rieul :
“Securing access to and from devices in a RISC-V multicore architecture used for virtualization”, supervision Emmanuelle ENCRENAZ, defence 03/15/2023.
- DOUWES Constance :
“On the environmental impact of deep generative models for audio”, supervision Jean-Pierre BRIOT, defence 03/10/2023.
- GARCIA FONTÁN Jorge : “Singularity and stability analysis of vision-based controllers”, supervision Mohab SAFEY EL DIN, defence 01/24/2023.
- DIAZ RIZO Alan Rodrigo : “Security and Trust for Wireless Integrated Circuits”, supervision Haralampos STRATIGOPOULOS, defence 01/10/2023.
- LE BOUDER Gabriel : “Memory-Optimization for Self-Stabilizing Distributed Algorithms”, supervision Franck PETIT, Lélia BLIN, defence 01/06/2023.
- CIVIT Pierre : “Specification of dynamic probabilistic secure distributed systems”, supervision Maria POTOP-BUTUCARU, defence 12/15/2022.
- VU Trung Hieu :
“Certificats exacts de positivité pour l'optimisation polynomiale ”, supervision Mohab SAFEY EL DIN, defence 12/09/2022.
- KHACEF Kahina : “Trade-off Between Security and Scalability in Blockchain Systems”, supervision Salima BENBERNOU, defence 12/09/2022.
- JANIAK Vincent :
“Monitoring regional lung ventilation to predict extubation failure”, supervision Andrea PINNA, defence 12/06/2022.
- LEROY Cassandre :
“Incremental elicitation combined with heuristic search for multi-objective combinatorial optimization”, supervision Patrice PERNY, defence 12/05/2022.
- NEVES Simon :
“Photonic Resources for the Implementation of Quantum Network Protocols”, supervision Eleni DIAMANTI, defence 12/02/2022.
- KHABAZ Sehla Nana : “Radio Resource Allocation in C-V2X: From LTE-V2X to 5G-V2X”, supervision Thi-Mai-Trang NGUYEN, defence 11/30/2022.
- CÓRDOVA MORALES David Alexis : “Blockchain application for Mesh and Ad hoc networks”, supervision Thi-Mai-Trang NGUYEN, defence 11/30/2022.
- FILOCHE Arthur : “Variational Data Assimilation with Deep Prior. Application to Geophysical Motion Estimation”, supervision Dominique BÉRÉZIAT, defence 11/30/2022.
- LI Songlin :
“Modelling of an intelligent medical implant in its environment for functional monitoring of the spinal cord”, supervision Sylvain FERUGLIO, defence 11/30/2022.
- DELMAS David : “Static analysis of program portability by abstract interpretation”, supervision Antoine MINÉ, defence 11/28/2022.
- TANG Ning :
“Fixed parameter tractibility of UET-UCT scheduling problems”, supervision Alix MUNIER, defence 11/28/2022.
- NIGRON Pierre :
“Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing”, supervision Julia LAWALL, defence 11/17/2022.
- YANG Furong :
“”, supervision Giovanni PAU, defence 11/02/2022.
- YEHIA Raja :
“Design and optimization tools for the quantum internet”, supervision Eleni DIAMANTI, defence 10/24/2022.
- FERGUSON Andrew : “Exact Algorithms for Polynomial Optimisation”, supervision Mohab SAFEY EL DIN, defence 10/24/2022.
- SAULPIC David :
“Approximation Algorithms and Sketches for Clustering”, supervision Christoph DÜRR, defence 09/13/2022.
- SCIALOM Thomas : “Natural Language Generation with Reinforcement Learning”, supervision Patrick GALLINARI, defence 07/06/2022.
- SIMON Etienne :
“Deep Learning for Natural Language Understanding”, supervision Vincent GUIGUE, defence 07/05/2022.
- LYS Léonard :
“Security and reliability of cross-chain exchanges”, supervision Maria POTOP-BUTUCARU, defence 07/05/2022.
- GRARI Vincent :
“Fair machine learning”, supervision Marcin DETYNIECKI, defence 06/22/2022.
- OLIVO Andrea :
“Sécurité des protocoles quantiques de vérification de la position”, supervision Frédéric GROSSHANS, defence 06/15/2022.
- WU David :
“Optimization models for multi-stream energy consumption management”, supervision Viet Hung NGUYEN, defence 05/20/2022.
- MARTIN Hugo :
“Multi-objective optimisation and preference elicitation based on rank-dependant models and reference points”, supervision Patrice PERNY, defence 05/18/2022.
- DE BUFALA Nicolas : “Impacts of digital automation on labor markets : an agent-based approach”, supervision Jean-Daniel KANT, defence 05/16/2022.
- FACI Adam :
“Representation, simulation and exploitation of knowledge in the conceptual graphs formalism”, supervision Marie-jeanne LESOT, defence 04/13/2022.
- DOGEAS Konstantinos : “Minimisation de l'énergie, mouvements de données, et données incertaines: modèles et algorithmes”, supervision Evripidis BAMPIS, defence 04/06/2022.
- SAHEL Faten :
“Contribution to the modelling of crosstalk between power supplies and sensitive signals in high-density interconnection PCBs”, supervision Sylvain FERUGLIO, defence 03/28/2022.
- COLISSON Léo :
“Study of Protocols between Classical Clients and a Quantum Server”, supervision Elham KASHEFI, defence 03/28/2022.
- ROMAN RODRIGUEZ Victor :
“Quantum Optics Systems for Long-Distance Cryptography and Quantum Networks”, supervision Eleni DIAMANTI, defence 03/25/2022.
- ROUMESTAN François :
“Techniques avancées de traitement de signal et codage pour les systèmes à distribution de clé quantique sur fille optique basés sur des variables continues ”, supervision Eleni DIAMANTI, defence 03/21/2022.
- LASSERRE Marvin :
“Learning non-parametric Copula Bayesian Networks”, supervision Christophe GONZALES, defence 03/11/2022.
- CASALS DO NASCIMENTO Arthur Henrique : “Smart Mobility - An approach using multiagent planning and coordination”, supervision Amal EL FALLAH SEGHROUCHNI, defence 03/10/2022.
- FAVIER Arnaud :
“Eventual Leader Elections in Dynamic Networks”, supervision Pierre SENS, defence 03/02/2022.
- BOOTH Robert : “Measurement-based quantum computation beyond qubits”, supervision Damian MARKHAM, defence 02/22/2022.
- KHIZAR Sadia :
“Leveraging mobile devices beyond the edge toward task offloading”, supervision Marcelo DIAS DE AMORIM, defence 02/15/2022.
- FRANCESCHI Jean-Yves :
“Representation Learning and Deep Generative Modeling in Dynamical Systems”, supervision Patrick GALLINARI, defence 02/14/2022.
- HENNEQUIN Arthur :
“Performance optimisation for the LHCb experiment”, supervision Lionel LACASSAGNE, defence 01/31/2022.
- BAAJ Ismail : “Explainability of possibilistic and fuzzy rule-based systems”, supervision Nicolas MAUDET, defence 01/27/2022.
- CHEN Yi-Ting : “Random generation of executions of concurrent systems”, supervision Jean MAIRESSE, defence 01/07/2022.
- HOUHOU Sara : “Parameterised Verification from Formal Specifications of Information Systems”, supervision Pascal POIZAT, Laîd KAHLOUL, defence 12/22/2021.
- DESSIMOND Boris :
“”, supervision Pau GIOVANNI, defence 12/22/2021.
- TOUMLILT Ilyas : “Colony: A Hybrid Consistency System for Highly-Available Collaborative Edge Computing”, supervision Marc SHAPIRO, defence 12/21/2021.
- SHETTELL Nathan : “Quantum Information Techniques for Quantum Metrology”, supervision Damian MARKHAM, defence 12/20/2021.
- JANKOVIC Anja : “Towards Online Landscape-Aware Algorithm Selection in Numerical Black-Box Optimization”, supervision Carola DOERR, defence 12/17/2021.
- MEIGNANT Clément : “Multipartite communications over quantum networks”, supervision Damian MARKHAM, defence 12/17/2021.
- MAHMOUD Doaa : “Bandpass Sigma-Delta Modulators with one and two op-amp resonators.”, supervision Hassan ABOUSHADY, Marie-Minerve LOUËRAT, defence 12/15/2021.
- SID-OTMANE Jonathan :
“A study of data consistency constraints in 5G, applied to limiting resource usage in network slices”, supervision Marc SHAPIRO, defence 12/13/2021.
- GAINON DE FORSAN DE GABRIAC Clara : “Deep Natural Language Processing for User Representation”, supervision Patrick GALLINARI, defence 12/13/2021.
- ALVES ESTEVES José Jurandir : “Optimization of Network Slice Placement in Distributed Large Scale Infrastructures : From Heuristics to Controlled Deep Reinforcement Learning”, supervision Pierre SENS, defence 12/13/2021.
- VIDAL Jules :
“Progressivity in Topological Data Analysis”, supervision Julien TIERNY, defence 12/08/2021.
- MAKAREM Nabil : “Performance Evaluation and Improvement of Congestion Control of the Constrained Application Protocol for the Internet-of-Things”, supervision Naceur MALOUCH, Imad MOUGHARBEL, defence 12/07/2021.
- MONAT Raphaël : “Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries”, supervision Antoine MINÉ, defence 11/22/2021.
- MORAIS CANELLAS Camila :
“A Learning Analytics Metamodel”, supervision Vanda LUENGO, defence 11/08/2021.
- EMÉRIAU Pierre-Emmanuel : “The interplay between quantum contextuality and Wigner negativity”, supervision Elham KASHEFI, defence 11/02/2021.
- QUEZADA Franco : “Génération des coupes et approches basées sur la décomposition pour résoudre des problèmes lot-sizing stochastiques à plusieurs étapes”, supervision Safia KEDAD-SIDHOUM, defence 10/28/2021.
- ALI EL SAYED Sarah : “Fault Tolerance in Hardware Spiking Neural Networks”, supervision Haralampos STRATIGOPOULOS, defence 10/28/2021.
- DE BEZENAC Emmanuel : “Modeling Physical Processes with Deep Learning: A Dynamical Systems Approach”, supervision Patrick GALLINARI, defence 10/21/2021.
- PEPIN Martin : “Quantitative and algorithmic analysis of concurrent programs”, supervision Antoine GENITRINI, defence 09/29/2021.
- LAMRAYAH Mehdi :
“Modèles de réseaux de neurones profonds interprétables pour la classification de séries temporelles univariées et multivariées”, supervision Patrick GALLINARI, defence 09/02/2021.
- PAVLIDIS Antonios : “Analog Hardware Fault Diagnosis”, supervision Haralampos STRATIGOPOULOS, Marie-Minerve LOUËRAT, defence 07/13/2021.
- MUSIC Luka : “Multi-Party Quantum Cryptography: From Folklore to Real-World”, supervision Elham KASHEFI, defence 07/09/2021.
- ELSHAMY Mohamed : “Design for security in mixed analog-digital integrated circuits”, supervision Haralampos STRATIGOPOULOS, Marie-Minerve LOUËRAT, defence 07/07/2021.
- NAIR Sreeja : “Designing safe and highly available distributed applications”, supervision Marc SHAPIRO, defence 07/01/2021.
- VENIAT Tom :
“Neural Architecture Search under Budget Constraints”, supervision Ludovic DENOYER, defence 07/01/2021.
- REBIERE Valentin : “Image processing for a RGB-Z mixed matrix”, supervision Andrea PINNA, defence 06/30/2021.
- GROLLEMUND Vincent :
“Data mining and modeling of poorly structured or unstructured data”, supervision Jean-François PRADAT-PEYRE, defence 06/25/2021.
- LI Ke : “Exploring Topic Evolution in Large Scientific Archives with Pivot Graphs”, supervision Bernd AMANN, defence 06/22/2021.
- DUCAMP Gaspard :
“Probabilistic rules optimized compilation”, supervision Christophe GONZALES, defence 04/13/2021.
- BEN EL OUAHMA Ines :
“Analyse de robustesse et sécurisation de codes assembleur contre les attaques physiques”, supervision Emmanuelle ENCRENAZ, defence 04/07/2021.
- CRIBIER-DELANDE Perrine :
“Contexts and user modelling through disentangled representations learning”, supervision Ludovic DENOYER, defence 04/02/2021.
- VU Son Tuan :
“Préservation des propriétés dans un flot de compilation optimisant”, supervision Karine HEYDEMANN, defence 04/02/2021.
- LEONHARD Julian : “Analog Hardware Security and Trust”, supervision Haralampos STRATIGOPOULOS, defence 03/25/2021.
- PASS-LANNEAU Adèle : “Anchored solutions in robust combinatorial optimization”, supervision Pierre FOUILHOUX, defence 03/16/2021.
- AGUIARI Davide : “Exploring Computing Continuum in IoT Systems: Sensing, Communicating and Processing at the Network Edge”, supervision Giovanni PAU, defence 02/25/2021.
- VASILAS Dimitrios : “A flexible and decentralised approach to query processing for geo-distributed data systems”, supervision Marc SHAPIRO, defence 02/19/2021.
- GHORAI Shouvik : “Continuous-variable quantum cryptographic protocols”, supervision Eleni DIAMANTI, defence 02/12/2021.
- RYCKEGHEM Jocelyn :
“Design and Cryptanalysis in Multivariate Quantum-Safe Cryptography”, supervision Jean-Charles FAUGÈRE, defence 02/08/2021.
- MATOUSSI Salma : “User-Centric Slicing with Functional Splits in 5G Cloud-RAN”, supervision Rami LANGAR, defence 01/22/2021.
- FARINA Giovanni : “Tractable reliable communication in dynamic compromised network”, supervision Sébastien TIXEUIL, Silvia BONOMI, defence 12/21/2020.
- FRAYSSE Guillaume :
“Distributed resource allocation for virtual networks”, supervision Pierre SENS, defence 12/18/2020.
- LEHAUT Mathieu :
“Synthesis for Parameterized Systems”, supervision Béatrice BÉRARD, defence 12/17/2020.
- CHAKRABORTY Olive :
“Design and cryptanalysis of post-quantum cryptosystems”, supervision Jean-Charles FAUGÈRE, defence 12/16/2020.
- BOURDACHE Nadjet :
“Élicitation incrémentale des préférences pour l'optimisation multi-objectifs : modèles non-linéaires, domaines combinatoires et approches tolérantes aux erreurs”, supervision Patrice PERNY, Olivier SPANJAARD, defence 12/16/2020.
- BOUFEDJI Dounia :
“Vers une approche d’ingénierie multi-agents à base de lignes de produits logiciels”, supervision Zahia GUESSOUM, defence 12/14/2020.
- BLAISE Agathe :
“Novel anomaly detection and classification algorithms for IP and mobile networks”, supervision Stefano SECCI, defence 12/14/2020.
- BARTHÉLÉMY Lucas : “A First Approach To Asymmetric White-Box Cryptography and a Study of Permutation Polynomials Modulo 2^n in Obfuscation”, supervision Jean-Claude BAJARD, defence 12/14/2020.
- VU Thi Xuan : “Homotopy algorithms for solving structured determinantal systems”, supervision Mohab SAFEY EL DIN, defence 12/09/2020.
- HERIBAN Adam : “Realistic Robot Networks”, supervision Sébastien TIXEUIL, defence 12/09/2020.
- ZALESKI Laetitia :
“Decision-making and negotiation assistant using viability analysis. An application to the participatory management of protected areas”, supervision Jean-Pierre BRIOT, Isabelle ALVAREZ, Marta DE AZEVEDO IRVING, defence 12/08/2020.
- POULAIN Rémy :
“Analyse et modélisation de la diversité des structures relationnelles à l’aide de graphes multipartis”, supervision Clémence MAGNIEN, defence 12/04/2020.
- TEILLER Alexandre : “Algorithmic Aspects of “Multistage” Optimization”, supervision Bruno ESCOFFIER, defence 12/01/2020.
- BORDES Patrick :
“Deep Multimodal Learning for Joint Textual and Visual Reasoning”, supervision Patrick GALLINARI, defence 11/26/2020.
- SERRANO Lucas :
“Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware”, supervision Julia LAWALL, defence 11/25/2020.
- MERCADIER Darius :
“Usuba, Optimizing Bitslicing Compiler”, supervision Gilles MULLER, defence 11/20/2020.
- BOTTERMAN Hong-Lan :
“Opinion Dynamics and Political Conficts in the Media - a complex Network Perspective”, supervision Clémence MAGNIEN, defence 11/19/2020.
- GÉRALD Thomas :
“Representation Learning for large scale classification”, supervision Patrick GALLINARI, defence 11/17/2020.
- RANNOU Léo : “Temporal Connectivity and Path Computation for Stream Graph”, supervision Matthieu LATAPY, defence 11/09/2020.
- LANIEL Francis :
“MemOpLight: toward memory consolidation for containers thanks to application feedback”, supervision Marc SHAPIRO, defence 11/09/2020.
- FALQ Anne-Elisabeth :
“Dominances en programmation linéaire : ordonnancement autour d’une date d’échéance commune”, supervision Safia KEDAD-SIDHOUM, Pierre FOUILHOUX, defence 11/02/2020.
- GOUICEM Redha :
“Thread Scheduling in Multi-core Operating Systems”, supervision Gilles MULLER, defence 10/23/2020.
- AMOUSSOU-GUENOU Yackolley :
“Governing the commons in Blockchains”, supervision Maria POTOP-BUTUCARU, defence 10/08/2020.
- LENART Marcin : “Sensor Information Scoring for Decision-Aid Systems in Railway Domain”, supervision Marie-Jeanne LESOT, Andrzej BIELECKI, defence 10/02/2020.
- SALL Boubacar Demba :
“Programmation impérative par raffinements avec l'assistant de preuve Coq”, supervision Emmanuel CHAILLOUX, defence 10/01/2020.
- MAZARI Ahmed :
“Graph Convolutional Neural Networks and Multiple Kernel Learning for Action Recognition in Videos”, supervision Hichem SAHBI, defence 09/22/2020.
- COURTOIS Jérome :
“Study of cryptosystem implementation leaks in random RNS arithmetic”, supervision Jean-Claude BAJARD, defence 09/10/2020.
- CHEN Yifu :
“Deep learning for visual semantic segmentation”, supervision Matthieu CORD, defence 09/09/2020.
- CHABAUD Ulysse :
“Continuous Variable Quantum Advantages and Applications in Quantum Optics”, supervision Damian MARKHAM, defence 07/22/2020.
- CADENE Rémi : “Deep multimodal learning for vision and language processing”, supervision Matthieu CORD, defence 07/08/2020.
- LAUGEL Thibault :
“Local Post-hoc Interpretability for Black-box Classifiers”, supervision Christophe MARSALA, Marie-Jeanne LESOT, defence 07/03/2020.
- BROOKS Daniel :
“Deep Learning and Information Geometry for Time-Series Classification”, supervision Matthieu CORD, defence 07/03/2020.
- CHEN Mickael : “Learning with Weak Supervision Using Deep Generative Networks”, supervision Ludovic DENOYER, defence 07/02/2020.
- DELASALLES Edouard :
“Inferring and Predicting Dynamic Representations for Structured Temporal Data”, supervision Ludovic DENOYER, defence 06/30/2020.
- PETRETO Andrea :
“Débruitage Vidéo Temps Réel pour Systèmes Embarqués”, supervision Lionel LACASSAGNE, defence 06/29/2020.
- BREJON Jean-Baptiste :
“Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques”, supervision Karine HEYDEMANN, Emmanuelle ENCRENAZ, defence 06/26/2020.
- LIU Rutian : “Semantic Services for Assisting Users to Augment Data in the Context of Analytic Data Sources”, supervision Bernd AMANN, defence 06/24/2020.
- ENGILBERGE Martin : “Deep multimodal embeddings and grounding”, supervision Matthieu CORD, defence 06/12/2020.
- ZEBIRI Aniss :
“Estimation of dynamics from multiscale image assimilation. Application to : Rain nowcasting from ground radar images”, supervision Dominique BÉRÉZIAT, defence 06/11/2020.
- AIT ABA Massinissa :
“Optimisation de l’énergie et de la performance d’applications sur des micro-servers hétérogènes”, supervision Alix MUNIER, defence 06/04/2020.
- BADRAN Tamer :
“Spectrum Sensing Using RF Software Defined Radio Receivers”, supervision Hassan ABOUSHADY, defence 06/02/2020.
- VERMEULEN Kévin : “Improved algorithms for capturing Internet maps”, supervision Prométhée SPATHIS, defence 06/02/2020.
- KHARCHENKO Natalia :
“Lattice algorithms and lattice-based cryptography”, supervision Antoine JOUX, defence 05/27/2020.
- JIN Shendan :
“Algorithmes en ligne avec re-optimisation”, supervision Christoph DÜRR, defence 05/18/2020.
- COURTAUD Cédric :
“Characterization of the sensitivity to memory interferences in real-time systems embedded on multi-core platforms”, supervision Gilles MULLER, defence 01/28/2020.
- ESPITAU Thomas : “Algorithmic aspects of algebraic lattices”, supervision Antoine JOUX, defence 01/14/2020.
- BERTIER Clément :
“Quantification in Device-to-Device Networks: from Link Estimation to Graph Utility”, supervision Marcelo DIAS DE AMORIM, defence 01/13/2020.
- PAJOT Arthur :
“Incorporating Physical Knowledge Into Deep Neural Network”, supervision Patrick GALLINARI, defence 12/19/2019.
- METIN Hakan :
“Exploitation des symétries dynamiques pour la résolution des problèmes SAT”, supervision Fabrice KORDON, defence 12/18/2019.
- OTHMANI Mehdi :
“Apport des methodes de deep learning au probleme de la patrouille multiagent dans un environnement dynamique”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/11/2019.
- BU Gewu :
“Reliability, security and privacy in WBAN”, supervision Maria POTOP-BUTUCARU, defence 12/11/2019.
- DIAS Charles-Emmanuel :
“Expliciter le filtrage collaboratif par le traitement automatique des langues”, supervision Patrick GALLINARI, defence 12/10/2019.
- NZEKON NZEKO'O Armel Jacques :
“Recommender system with temporal dynamics based on link streams”, supervision Matthieu LATAPY, defence 12/09/2019.
- BAH Mamadou Tahirou :
“Definition of a language for the unification of local and cloud networks”, supervision Thi-Mai-Trang NGUYEN, defence 12/06/2019.
- MARREZ Jeremy :
“Arithmétiques Randomisées pour la cryptographie”, supervision Jean-Claude BAJARD, defence 12/06/2019.
- ROUX Antoine Dimitri :
“Streaming unidirectional auto-correcting codes through ELIPS-SD diods”, supervision Michèle SORIA, Laurent FREREBEAU, Hervé DELPEYRAT, defence 12/02/2019.
- FOSSATI Francesca : “Novel notions of fairness and resource allocation for congested networked systems”, supervision Stefano SECCI, defence 11/29/2019.
- CHUQUIMIA CAMACHO Orlando Luis :
“Smart Vision Chip for colon exploration”, supervision Bertrand GRANADO, Xavier DRAY, defence 11/22/2019.
- JOURNAULT Matthieu : “Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference”, supervision Antoine MINÉ, defence 11/21/2019.
- MEZHER Rawad : “Randomness for quantum information processing”, supervision Damian MARKHAM, Joseph DGHEIM, defence 11/15/2019.
- VAROUMAS Steven :
“High-level programming models for microcontrollers with scarce resources”, supervision Tristan CROLARD, defence 11/05/2019.
- EFFA BELLA Emma :
“Benefits of semi-supervised learning techniques in recovering traceability links between design artifacts”, supervision Marie-Pierre GERVAIS, defence 10/28/2019.
- HARRAK Fatima :
“Analyzing learners questions and associated profiles in online environments”, supervision Vanda LUENGO, defence 10/25/2019.
- BOZIC Nikola : “Blockchain technologies and their application to secure virtualized infrastructure control”, supervision Guy PUJOLLE, defence 10/18/2019.
- LAMPLE Guillaume : “Unsupervised Machine Translation”, supervision Ludovic DENOYER, defence 10/17/2019.
- ZABLOCKI Eloi : “Multimodal machine learning: complementarity of textual and visual contexts”, supervision Patrick GALLINARI, Benjamin PIWOWARSKI, Laure SOULIER, defence 10/14/2019.
- MEHR Eloi :
“Unsupervised Learning of 3D Shape Spaces for 3D Modeling”, supervision Matthieu CORD, defence 10/10/2019.
- ABED Hamza :
“Serious Game Design Models for Vocational Training. Application to the contexts of Factory of the future and the medical field”, supervision Thibault CARRON, defence 10/09/2019.
- ROBERT Thomas :
“Improving ConvNets Latent Representations for Visual Understanding”, supervision Matthieu CORD, defence 10/03/2019.
- BOUCHARD Sébastien :
“On the Deterministic Gathering of Mobile Agents”, supervision Franck PETIT, defence 09/26/2019.
- GUINEBERT Mathieu :
“Automatic Detection of peer interactions in Multi-Player Learning Game”, supervision Vanda LUENGO, defence 09/20/2019.
- WILMET Audrey :
“Anomaly Detection in Link Streams. Combining Structural and Temporal features”, supervision Matthieu LATAPY, defence 07/23/2019.
- TONNELIER Emeric :
“Apprentissage de représentations pour les traces de mobilité”, supervision Patrick GALLINARI, defence 07/11/2019.
- ZIAT Ghiles : “A Combination of Abstract Interpretation and Constraint Programming”, supervision Antoine MINÉ, defence 07/03/2019.
- LE FRIOUX Ludovic :
“Towards more efficient parallel SAT solving”, supervision Fabrice KORDON, defence 07/03/2019.
- HANNOU Fatma :
“A model and an algebra of motifs for the representation and interrogation of completeness of relative information”, supervision Bernd AMANN, defence 06/28/2019.
- BOURNAT Marjorie : “Graceful Degradation and Speculation for Robots in Highly Dynamic Environments”, supervision Franck PETIT, defence 06/27/2019.
- BOURRIER Yannick :
“Diagnostic et prise de décision pour la construction de compétences non-techniques en situation critique”, supervision Vanda LUENGO, Catherine GARBAY, defence 06/21/2019.
- SOLER Maxime :
“Large Data Reduction and Structure Comparison with Topological Data Analysis”, supervision Julien TIERNY, defence 06/20/2019.
- MBATCHOU Guy :
“Towards a model to support the learning in Learning Management Systems”, supervision Thibault CARRON, defence 06/13/2019.
- BENDER Matias Rafael : “Algorithms for sparse polynomial systems : Gröbner bases and resultants”, supervision Jean-Charles FAUGÈRE, defence 06/03/2019.
- JEANGOUDOUX Clothilde : “Automatic Test Generation for Numerical Software in the Context of Aircraft Certification”, supervision Stef GRAILLAT, defence 05/21/2019.
- BEN YOUNES Hedi :
“Multi-modal representation learning towards visual reasoning”, supervision Matthieu CORD, defence 05/20/2019.
- CARVER Damien : “Advanced consolidation for dynamic containers”, supervision Sébastien MONNET, defence 05/17/2019.
- LEBIS Alexis :
“Modèles et outils pour créer et formaliser des processus d’analyses de traces d’interaction dans le contexte du e-learning en vue de leur capitalisation, enrichissement et réutilisation.”, supervision Vanda LUENGO, defence 05/16/2019.
- LÉON Aurélia :
“Budgeted sequential learning for extreme classification and for the discovery of hierarchy in reinforcement learning”, supervision Ludovic DENOYER, defence 05/10/2019.
- DE ARAUJO João Paulo : “A Communication-Efficient Causal Broadcast Publish/Subscribe System”, supervision Pierre SENS, defence 04/05/2019.
- GUILLON Arthur :
“Regularization operators for fuzzy subspace clustering”, supervision Christophe MARSALA, defence 03/01/2019.
- SUZANNE Thibault :
“Verification by Abstract Interpretation Under Weakly Consistent Memory”, supervision Antoine MINÉ, defence 02/26/2019.
- GUEUNET Charles :
“High Performance Level-set based Topological Data Analysis”, supervision Julien TIERNY, defence 02/15/2019.
- LEMAITRE Florian :
“Tracking haute fréquence pour architectures SIMD : optimisation de la reconstruction LHCb”, supervision Lionel LACASSAGNE, defence 02/13/2019.
- CARRASCAL MANZANARES Carlos :
“Parallélisation d’un code éléments finis spectraux. Application au contrôle non destructif par ultrasons”, supervision Lionel LACASSAGNE, defence 02/08/2019.
- CEROVIC Danilo : “Resilient and highly performant network architecture for virtualized data centers”, supervision Guy PUJOLLE, defence 02/07/2019.
- MEUNIER François :
“Knowledge extraction from complex 3D structures”, supervision Christophe MARSALA, defence 12/13/2018.
- TSIAKAKA Olivier :
“Contribution to the development of a multimodal device for the medical imaging of the spinal cord”, supervision Sylvain FERUGLIO, defence 12/12/2018.
- CARVALHO Micael : “Deep Representation Spaces”, supervision Matthieu CORD, defence 12/11/2018.
- CORTIJO ARAGON Santiago-José :
“Sécurité pour des infrastructures critiques SCADA fondée sur des modèles graphiques probabilistes”, supervision Christophe GONZALES, defence 12/10/2018.
- BADREDDINE Wafa :
“Communication Protocols in Wireless Body Area Networks (WBAN)”, supervision Maria POTOP-BUTUCARU, defence 12/07/2018.
- JEANNEAU Denis :
“Failure Detectors in Dynamic Distributed Systems”, supervision Pierre SENS, defence 12/07/2018.
- BERREBY Fiona :
“Models of Ethical Reasoning”, supervision Jean-Gabriel GANASCIA, defence 12/06/2018.
- GRIVAULT Ludovic :
“Architecture multi-agent pour la conception et l'ordonnancement de systèmes multi-senseur embarqués sur plateformes aéroportées”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/06/2018.
- KUMAR Niraj :
“Phd”, supervision Eleni DIAMANTI, defence 12/05/2018.
- CORIAT Florent :
“Géolocalisation et routage en situation de crise”, supervision Anne FLADENMULLER, defence 12/04/2018.
- BEZZINA Amira : “Interference and Resource Allocation in Wireless Urban Network”, supervision Rami LANGAR, defence 12/03/2018.
- CHOWDHURY Rajarshi Roy :
“Performance et qualité des codes HPC en core mécanique des fluides”, supervision Stef GRAILLAT, defence 11/30/2018.
- MORDAN Taylor :
“Apprentissage d'architectures profondes pour la détection et la reconnaissance de cibles en imagerie optronique”, supervision Matthieu CORD, defence 11/20/2018.
- BLOT Michaël :
“Problématiques de modélisation et d'apprentissage par des architectures profondes en vision par ordinateur”, supervision Matthieu CORD, defence 11/19/2018.
- ROTTNER Cécile : “Combinatorial Aspects of the Unit Commitment Problem”, supervision Pierre FOUILHOUX, defence 11/14/2018.
- NGUYEN Ho Dac Duy : “Strategic path diversity exploitation across Internet layers”, supervision Stefano SECCI, defence 10/22/2018.
- TACKX Raphael :
“Analyse et modélisation de la structure multipartie des réseaux réels”, supervision Clémence MAGNIEN, defence 10/12/2018.
- PAYEN Aurore :
“Importance of temporality in spreading phenomena. A case study of cattle trade movements.”, supervision Matthieu LATAPY, defence 10/08/2018.
- GHANEM Marwan :
“Temporal Centralities: A study of the importance of nodes in dynamic graphs”, supervision Clémence MAGNIEN, defence 10/05/2018.
- LAO Eric :
“Place and Route of analog and mixed-signal CMOS circuits”, supervision Marie-Minerve LOUËRAT, defence 09/14/2018.
- BOTBOL Vincent :
“Static analysis of concurrent programs with numerical variables”, supervision Emmanuel CHAILLOUX, defence 09/13/2018.
- NGOM Bassirou :
“Freecore : un système d’indexation de résumés de document sur une Table de Hachage Distribuée (DHT)”, supervision Mesaac MAKPANGOU, defence 07/13/2018.
- EL SIBAIE Rémy :
“Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches”, supervision Emmanuel CHAILLOUX, defence 07/12/2018.
- EL MADHOUN Nour : “Towards More Secure Contact and NFC Payment Transactions: New Security Mechanisms and Extension for Small Merchants”, supervision Guy PUJOLLE, defence 07/09/2018.
- NYA KAMTCHOUM Narcisse :
“Multicellular Models for 4G 5G cellular networks”, supervision Serge FDIDA, defence 07/06/2018.
- CHEN Longbiao :
“Big Data-Driven Optimization in Transportation and Communication Networks”, supervision Thi-Mai-Trang NGUYEN, defence 07/05/2018.
- ARNOUX Thibaud :
“Predicting interactions in link streams - Combining structural and temporal features”, supervision Matthieu LATAPY, defence 06/29/2018.
- ZUCCA Vincent :
“Towards Efficient Arithmetic for Ring-LWE based Homomorphic Encryption”, supervision Jean-Claude BAJARD, defence 06/25/2018.
- HAMIDOUCHE Lyes :
“Toward efficient dissemination of voluminous data over dense Wi-Fi Networks”, supervision Pierre SENS, defence 06/21/2018.
- ABDELFATTAH Amr : “Fair coexistence between lte and wi-fi in unlicensed spectrum”, supervision Naceur MALOUCH, defence 06/18/2018.
- ZENG Xuan :
“Applying Information-Centric Networking ( ICN) principles to today's networking Challenges : performance and design”, supervision Giovanni PAU, defence 06/18/2018.
- ZHENG Wenjie : “A Distributed Frank–Wolfe Framework for Trace Norm Minimization via the Bulk Synchronous Parallel Model”, supervision Patrick GALLINARI, defence 06/13/2018.
- VERMEULEN Mathieu :
“A meta-design approach of learning games to developp their use”, supervision Jean-Marc LABAT, defence 06/11/2018.
- HADJERES Gaetan : “Interactive deep generative models for symbolic music”, supervision François PACHET, defence 06/07/2018.
- ANDREONI LOPEZ Martin Esteban : “A monitoring and threat detection system using stream processing as a virtual function for Big Data”, supervision Guy PUJOLLE, defence 06/06/2018.
- BURON Cédric :
“A multiagent system for an invoice marketplace”, supervision Zahia GUESSOUM, defence 05/17/2018.
- KARAMI Armine :
“Étude des interfaces électriques pour les récupérateurs d'énergie vibratoire électrostatiques”, supervision Dimitri GALAYKO, defence 05/16/2018.
- YU Shuai :
“Multi-user computation offloading in mobile edge computing”, supervision Rami LANGAR, defence 05/04/2018.
- TOMSIC Alejandro Zlatko : “Exploring the design space of highly-available transactions”, supervision Marc SHAPIRO, defence 04/20/2018.
- AZZOUNI Abdelhadi :
“Smart and Secure Network Softwarization”, supervision Thi-Mai-Trang NGUYEN, defence 04/13/2018.
- SAFRAOU Ahcine :
“Conception d'une solution RFID UHF pour l'optimisation de la logistique des bouteilles métaliques”, supervision Bertrand GRANADO, defence 04/04/2018.
- PHUNG Chi Dung :
“Enriching the Internet control-plane for improved traffic engineering”, supervision Stefano SECCI, defence 03/30/2018.
- PICOT Romain :
“Improved numerical reliability of industrial software”, supervision Fabienne JÉZÉQUEL, defence 03/27/2018.
- LAGHMARI Khalil :
“Multi-class classification in big data ”, supervision Christophe MARSALA, defence 03/23/2018.
- VORON Gauthier : “Efficient Virtualization of NUMA Architectures”, supervision Gaël THOMAS, defence 03/08/2018.
- YANG Wenlu : “Towards user-independent emotion recognition and implementation on hardware”, supervision Christophe MARSALA, defence 02/27/2018.
- RABIA Tarek :
“Virtualization of a Cloud Radio Access Network (C-RAN) Functions”, supervision Guy PUJOLLE, defence 01/29/2018.
- CANU Maël :
“Vertex-oriented community detection for mobile opportunistic networks”, supervision Marie-Jeanne LESOT, defence 12/20/2017.
- BEDIER Mohammed :
“Smart power management silicon integrated interfaces for capacitive vibration energy harvesters”, supervision Dimitri GALAYKO, defence 12/20/2017.
- ABUTEIR Rabee Mustapha :
“Software Defined Networks to provide QoS in multi-hop wireless networks”, supervision Anne FLADENMULLER, defence 12/19/2017.
- LABRAOUI Mohamed :
“Les réseaux maillés sans fil assistés par le SDN”, supervision Anne FLADENMULLER, defence 12/19/2017.
- NGUYEN Dang Phuong :
“Nouveau modèle de partitionnement de graphes/placement de routage”, supervision Michel MINOUX, defence 12/15/2017.
- LI Yifan : “Edge partitioning of large graphs”, supervision Cédric DU MOUZA, defence 12/15/2017.
- DOS SANTOS Ludovic : “Representation Learning for Relational Data”, supervision Patrick GALLINARI, defence 12/13/2017.
- DHIF Imen :
“Compression, analyze and visualization of EEG signals applied to telemedecine”, supervision Patrick GARDA, defence 12/13/2017.
- EL MERNISSI Karim : “A study of Explanation Generation in a Rule-Based System”, supervision Nicolas MAUDET, defence 12/13/2017.
- GILBERT Hugo : “Oracle-based Algorithms for Optimizing Sophisticated Decision Criteria in Sequential, Robust and Fair Decision Problems”, supervision Olivier SPANJAARD, defence 12/11/2017.
- BRIÈRE Alexandre :
“Modélisation système d’une architecture d’interconnexion RF reconfigurable pour les many-cœurs”, supervision François PÊCHEUX, defence 12/08/2017.
- TAO THANH Vinh : “Ensuring Availability and Managing Consistency in Geo-Replicated File Systems”, supervision Marc SHAPIRO, defence 12/08/2017.
- NGUYEN Thi Minh :
“Optimization of Resource Allocation in Network Function Virtualization Infrastructure”, supervision Serge FDIDA, defence 12/07/2017.
- LAMBERT Laurent :
“A video compression and multimodal synchronization system of EEG exams for telemedicine”, supervision Patrick GARDA, defence 12/07/2017.
- LOEFFEL Pierre-Xavier :
“Adaptive machine learning algorithms for data streams subject to concept drifts”, supervision Christophe MARSALA, defence 12/04/2017.
- LEGASTELOIS Bénédicte :
“Modal logic weighted extensions for a graded belief framework”, supervision Marie-Jeanne LESOT, defence 11/30/2017.
- GUARDIA SEBAOUN Elie : “Personnalized access to information : taking the user's dynamic into account”, supervision Patrick GALLINARI, defence 11/27/2017.
- LYAZIDI Mohammed Yazid :
“Dynamic Resource Allocation and Network Optimization in the Cloud-Radio Access Network"”, supervision Rami LANGAR, defence 11/27/2017.
- PHOURATSAMAY Siao-Leu :
“Coordination des décisions de planification dans une chaîne logistique”, supervision Safia KEDAD-SIDHOUM, defence 11/27/2017.
- MRABET Amine :
“Implémentation efficace du couplage sur carte FPGA”, supervision Sihem MESNAGER, defence 11/08/2017.
- GRASSI Giulio : “Connected cars: a networking challenge and a computing resource for Smart cities”, supervision Giovanni PAU, defence 10/31/2017.
- ZIAT Ali :
“Apprentissage de représentation pour la prédiction et la classification de séries temporelles”, supervision Ludovic DENOYER, defence 10/16/2017.
- BELOUANAS Salah Eddine :
“Stabilizing and Optimizing Content Delivery Networks”, supervision Marcelo DIAS DE AMORIM, defence 10/13/2017.
- WANG Xin : “Gaze-Based Weakly Supervised Localization for Image Classification: Application to Visual Recognition in a Food Dataset”, supervision Matthieu CORD, defence 09/29/2017.
- LOZANOVA VOLKOVA Anastasia : “Towards a unified code generator for libms and filters”, supervision Jean-Claude BAJARD, defence 09/25/2017.
- GELIN Alexandre :
“Class Group Computations in Number Fields and Applications to Cryptology”, supervision Antoine JOUX, defence 09/22/2017.
- DIEN Matthieu :
“Concurrent process and combinatorics of increasingly labeled structures: quantitative analysis and random generation algorithms.”, supervision Michèle SORIA, defence 09/22/2017.
- DURAND Thibaut :
“Weakly Supervised Learning for Visual Recognition”, supervision Matthieu CORD, defence 09/20/2017.
- LEFORT Sébastien :
“«How much is ‘about’?» Modélisation computationnelle de l’interprétation cognitive des expressions numériques approximatives”, supervision Marie-Jeanne LESOT, defence 09/19/2017.
- RENARD Xavier :
“Dynamic knowledge extraction from complex temporal data”, supervision Marcin DETYNIECKI, defence 09/15/2017.
- AGLI Hamza :
“Uncertain Reasoning for Business Rules”, supervision Christophe GONZALES, defence 07/20/2017.
- BEN AOUN Cédric :
“Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables”, supervision François PÊCHEUX, defence 07/12/2017.
- CONTARDO Gabriella : “Machine learning under budget constraints”, supervision Ludovic DENOYER, defence 07/10/2017.
- DEVIGNE Clément :
“Execution sécurisée d'applications sur plate-forme many-cores”, supervision Alain GREINER, defence 07/06/2017.
- DEL PICCOLO Valentin :
“Isolation réseau dans un environnement Cloud «Public/Hybride»”, supervision Guy PUJOLLE, defence 05/23/2017.
- BENABBOU Nawal :
“Procédures de décision par élicitation incrémentale de préférences en optimisation multicritère, multi-agents et dans l'incertain”, supervision Patrice PERNY, defence 05/05/2017.
- TUFIS Mihnéa : “A characterisation of comics and sequential art for supporting the evolution of digital formats for comics - A crowdsourcing approach”, supervision Jean-Gabriel GANASCIA, defence 04/20/2017.
- CORTES Rudyar Fabian : “Scalable Location-Temporal Range Query Processing for Structured Peer-to-Peer Networks”, supervision Pierre SENS, defence 04/06/2017.
- IBRAHEEM Mohammed Shaaban : “Logarithmic Discrete Wavelet Transform for High-Quality Medical Image Compression”, supervision Patrick GARDA, defence 03/29/2017.
- GISSELBRECHT Thibault :
“Bandit algorithms for real time data capture on social media”, supervision Patrick GALLINARI, defence 03/24/2017.
- LESPARRE Youen :
“Évaluation de l'affectation des tâches sur une architecture à mémoire distribuée pour des modèles flot de données”, supervision Alix MUNIER, defence 03/02/2017.
- DEL POZZO Antonella : “Abstractions for distributed storages with Byzantine faults”, supervision Maria POTOP-BUTUCARU, defence 02/21/2017.
- BLIN Antoine :
“Towards an efficient use of multi-core processors in mixed criticality embedded systems”, supervision Gilles MULLER, defence 01/30/2017.
- PIETTE Ferdinand :
“Intergiciel Agents pour le Déploiement et la Configuration d'Applications Distribuées dans des Environnements Ambiants”, supervision Amal EL FALLAH SEGHROUCHNI, defence 01/17/2017.
- WALLET Alexandre :
“The Point Decomposition Problem in Jacobian varieties”, supervision Jean-Charles FAUGÈRE, defence 12/14/2016.
- MAZLOUM Riad :
“Reverse-Engineering the internet Routing through joint analysis of BGP and IP-level measurements”, supervision Serge FDIDA, defence 12/12/2016.
- COUDRON Matthieu :
“Novel Approaches for Multipath Communications”, supervision Stefano SECCI, defence 12/12/2016.
- BEN CHEIKH Ahlam :
“Gestion de la mobilité dans les réseaux Femtocells”, supervision Rami LANGAR, defence 12/12/2016.
- DAMAMME Anastasia :
“A multiagent approach for resource sharing problems”, supervision Nicolas MAUDET, defence 12/12/2016.
- ZOU Hao : “Methodology for Substrate Parasitic Modeling in HV/HT Smart Power Technology - Application to Automotive Industry”, supervision Marie-Minerve LOUËRAT, defence 12/12/2016.
- CHEN Chen : “An E-health System for Personalized Automatic Sleep Stages Classification”, supervision Patrick GARDA, defence 12/12/2016.
- BUI Thi-Mai-Anh :
“Separation of Concerns in Epidemiology”, supervision Mikal ZIANE, defence 12/09/2016.
- AIGRAIN Jonathan :
“Multimodal detection of stress: evaluation of the impact of several assessment strategies”, supervision Séverine DUBUISSON, defence 12/05/2016.
- CHEVALIER Marion :
“Détection et reconnaissance de cibles en imagerie optronique”, supervision Matthieu CORD, defence 12/02/2016.
- PIERROT Cécile :
“Discrete logarithm in finite fields”, supervision Antoine JOUX, defence 11/25/2016.
- BOURIGAULT Simon :
“Apprentissage de la dynamique de propagation d'info dans les réseaux sociaux”, supervision Patrick GALLINARI, defence 11/10/2016.
- MARTINEZ Jabier :
“Mining software artefact variants for product line migration and analysis”, supervision Mikal ZIANE, defence 10/18/2016.
- BOUBEKEUR Fadwa :
“Arbres couvrants de la théorie à la pratique. Algorithmes auto-stabilisants et Réseaux de Capteurs”, supervision Lélia BLIN, defence 10/12/2016.
- BARON Benjamin :
“Offloading massive data on mobile nodes”, supervision Marcelo DIAS DE AMORIM, defence 10/11/2016.
- GAUMONT Noé :
“Groups and Communities in link streams: from data to algorithms”, supervision Matthieu LATAPY, defence 10/11/2016.
- BRAMAS Quentin :
“Self organize mobility Aware Reliable and Timely Body Area Networks”, supervision Sébastien TIXEUIL, defence 10/04/2016.
- MPOULI NJANGA SEH Suzanne :
“Automatic Annotation of Similes in Literary Texts”, supervision Jean-Gabriel GANASCIA, defence 10/03/2016.
- KHELLADI Djamel Eddine : “Co-evolution of OCL constraints with evolution of metamodels”, supervision Reda BENDRAOU, defence 09/30/2016.
- VIARD Tiphaine : “Links streams for the modelling of interactions over time and application to the analysis of IP traffic”, supervision Matthieu LATAPY, defence 09/28/2016.
- BEN JEMAA Fatma :
“Design and Optimization of Next-Generation Carrier-Grade Wi-Fi Networks”, supervision Guy PUJOLLE, defence 09/27/2016.
- VERRON Thibaut : “Regularization of Gröbner basis computations for weighted and determinantal systems, and an application to medical imagery”, supervision Jean-Charles FAUGÈRE, defence 09/26/2016.
- RAGALEUX Alexandre :
“Multiple Access Mechanisms in Broadband Wireless Networks”, supervision Anne FLADENMULLER, defence 09/22/2016.
- DEHARBE Aurélien :
“Resources analysis for concurrent and dynamic systems”, supervision Michèle SORIA, defence 09/21/2016.
- MABROUK Ahmed :
“Développement d’outils d’aide au diagnostic en contexte incertain”, supervision Christophe GONZALES, defence 09/13/2016.
- BOUKHALED Mohamed Amine :
“On computational stylistics: mining literary texts for the extraction of characterizing stylistic patterns”, supervision Jean-Gabriel GANASCIA, defence 09/13/2016.
- MOYSE Gilles :
“Linguistic summaries of numerical data : interpretability and series periodicity”, supervision Marie-Jeanne LESOT, defence 07/19/2016.
- PUGET Raphaël :
“Etude de la classification dans un très grand nombre de catégories”, supervision Patrick GALLINARI, defence 07/04/2016.
- SAYED Alhassan : “Front End Receiver for Cognitive Radio based on Bandpass Sigma-Delta”, supervision Hassan ABOUSHADY, defence 07/01/2016.
- BOUALLEGUE Seifeddine :
“Gestion de la mobilité dans les reseaux femtocells avec minimisation de l'énergie consommée afin de garantir la propriété de "Green TIC"”, supervision Guy PUJOLLE, defence 06/30/2016.
- KARAOUI Mohamed :
“Système de fichiers scalable pour architectures manycores à faible empreinte énergétique”, supervision Alain GREINER, defence 06/28/2016.
- CARLIER Aurélien : “Optimal design of a one-way carsharing system including electric vehicles”, supervision Alix MUNIER, defence 06/27/2016.
- VERNAY Benoit : “System-Level Modeling and Simulation of MEMS devices for Multi-Domain Virtual Prototyping in SystemC AMS”, supervision François PÊCHEUX, defence 06/16/2016.
- ISMAILI Anisse :
“Algorithms for Nash-equilibria in Agent Networks and for Pareto-efficiency in State Space Search: Generalizations to Pareto-Nash in Multiple Objective Games”, supervision Patrice PERNY, defence 06/13/2016.
- CAVAL Costin : “Goal-Driven Agents for the Tolerance of Unforeseen Faults - A Safety Net for the Programmers”, supervision Amal EL FALLAH SEGHROUCHNI, defence 05/31/2016.
- MOURSY Yasser :
“A methodology for analysis and verification of the substrate noise coupling in HV/HT integrated circuits for automotive applications”, supervision Marie-Minerve LOUËRAT, defence 05/20/2016.
- NAJAFZADEH Mahsa : “The Analysis and Co-design of Weakly-Consistent Applications”, supervision Marc SHAPIRO, defence 04/22/2016.
- ZARDI Hédia Darine :
“Détection des communautés dans les réseaux sociaux dynamiques: une approche multi-agents”, supervision Zahia GUESSOUM, defence 03/09/2016.
- LORRILLERE Maxime :
“A kernel cooperative cache for virtualized environments”, supervision Pierre SENS, defence 02/04/2016.
- MAGNAN Jean-Christophe :
“Graphical Representations of Functions and Factored Markovian Decision Processes”, supervision Christophe GONZALES, defence 02/02/2016.
- LIU Hao :
“Protocoles scalables de cohérence des caches pour processeurs manycore à espace d'adressage partagé visant la basse consommation”, supervision Alain GREINER, defence 01/27/2016.
- CHAPUIS Kevin :
“Happywork : modélistaion multi-agents de la satisfaction au travail”, supervision Nicolas SABOURET, defence 01/15/2016.
- KAAOUACHI Mohamed Hamza :
“A distributed approach for covering problems in highly dynamic systems”, supervision Franck PETIT, defence 01/12/2016.
- ANDRADE Liliana : “Principles and Implementation of a Generic Synchronization Interface between SystemC AMS Models of Computation for the Virtual Prototyping of Multi-Disciplinary Systems ”, supervision François PÊCHEUX, defence 01/12/2016.
- SAID Issam : “Contributions of hybrid architectures to depth imaging: a CPU, APU and GPU comparative study”, supervision Jean-Luc LAMOTTE, defence 12/21/2015.
- KHALFALLAH Zakia :
“3D Underwater Wireless Sensor Network Deployment”, supervision Guy PUJOLLE, defence 12/16/2015.
- BROUSMICHE Kei-Léo :
“Modélisation et simulation de la formation et de la dynamique des attitudes basées sur les croyances”, supervision Nicolas SABOURET, defence 12/16/2015.
- STITI Oussama :
“Study of virtual access points urbanization and network metamorphosis strategies”, supervision Guy PUJOLLE, defence 12/15/2015.
- RAAD Patrick :
“Protocol Architecture and Algorithms for Distributed Data Center Networks”, supervision Stefano SECCI, defence 12/14/2015.
- KUPRIIANOVA Olga :
“Toward a Modern Floating-Point Environment”, supervision Jean-Claude BAJARD, defence 12/11/2015.
- CALARASANU Stefania :
“Détection et Localisation des textes dans les images naturelles”, supervision Séverine DUBUISSON, defence 12/11/2015.
- GAUTHIER Luc-Aurélien :
“Inference of signed links in social networks, by learning from user interactions”, supervision Patrick GALLINARI, defence 12/02/2015.
- MILLET Laure : “Verification and synthesis of robot protocols”, supervision Béatrice BÉRARD, defence 12/01/2015.
- HADOUX Emmanuel :
“Markovian sequential decision-making in non-stationary environments: application to argumentative debates”, supervision Nicolas MAUDET, defence 11/26/2015.
- FUGUET TORTOLERO Cesar : “Introduction of fault-tolerance mechanisms for permanent failures in coherent shared-memory many-core architectures”, supervision Alain GREINER, defence 11/25/2015.
- GOUDET Olivier :
“The multi-agent modelling of the french labor market”, supervision Nicolas SABOURET, defence 11/19/2015.
- FREYSSINET Eric :
“The fight against botnets: from observation to strategy”, supervision Matthieu LATAPY, defence 11/12/2015.
- CARON Clément :
“Provenance and Quality in Data Oriented Workflows : Application to the WebLab Platform”, supervision Bernd AMANN, defence 11/03/2015.
- VILLAIN Benjamin :
“New generation of network access controller: an SDN approach”, supervision Guy PUJOLLE, defence 10/09/2015.
- HARKOUKEN Kenza :
“Étude et définition de mécanismes sémantiques dans les environnements virtuels pour augmenter la crédibilité comportementale des agents : utilisation d'une ontologie de services”, supervision Nicolas SABOURET, defence 10/07/2015.
- HURAUX Thomas :
“Simulation multi-agent d’un système complexe : combiner des domaines d’expertise par une approche multi-niveau - Le cas de la consommation électrique résidentielle.”, supervision Nicolas SABOURET, defence 10/02/2015.
- CHEN Yang :
“Improving Student Model for Individualized Learning”, supervision Jean-Marc LABAT, defence 09/29/2015.
- GIDRA Lokesh : “GARBAGE collection for managed runtime on multicore processors”, supervision Marc SHAPIRO, defence 09/28/2015.
- VÉRON Maxime : “Scalable services for massively multiplayer online games”, supervision Pierre SENS, defence 09/25/2015.
- DURAND François :
“Vers des modes de scrutin moins manipulables”, supervision Sébastien TIXEUIL, defence 09/24/2015.
- REBECCHI Filippo :
“Device-to-Device Data Offloading: From Model to Implementation”, supervision Marcelo DIAS DE AMORIM, defence 09/18/2015.
- VOUZOUKIDOU Despoina :
“Continuous top-k queries over real-time web streams”, supervision Bernd AMANN, defence 09/17/2015.
- BLANCHARDON Adrien :
“Synthèse d'architectures de circuits FPGA tolérants aux défauts”, supervision Habib MEHREZ, defence 09/15/2015.
- HAGHIGHITALAB Delaram :
“Highly digitized RF Receiver for Software Defined Radio”, supervision Hassan ABOUSHADY, defence 09/09/2015.
- TORRES MIRANDA Miguel Angel :
“Design of Analog & Digital Circuits using Flexible Organic Electronics”, supervision Hassan ABOUSHADY, defence 09/01/2015.
- KUOMAN MAMANI Christian :
“Diversity by Clustering in Image Retrieval: Experimental Study”, supervision Marcin DETYNIECKI, defence 08/31/2015.
- ZEITOUN Rina :
“Méthodes algébriques pour l'analyse de sécurité des implantations d'algorithmes Cryptographiques”, supervision Jean-Charles FAUGÈRE, defence 07/16/2015.
- AISSAOUI MEHREZ Hassane :
“Sécurité pour les réseaux du futur : Gestion sécurisée des identités”, supervision Guy PUJOLLE, defence 07/10/2015.
- HARANI Fatemeh : “Routing Technique to Minimize Power Consumption in Ad-Hoc Networks”, supervision Guy PUJOLLE, defence 07/09/2015.
- DAVID Florian : “Continuous and Efficient Lock Profiling for Java on Multicore Architectures”, supervision Gilles MULLER, defence 07/08/2015.
- DARTY Kévin :
“Évaluation de la qualité des comportements des agents en simulation : application à un simulateur de conduite en environnement virtuel”, supervision Nicolas SABOURET, defence 07/07/2015.
- DUMAS Pierre-Yves :
“Replanification dynamique d'une flotille de drones en mission”, supervision Amal EL FALLAH SEGHROUCHNI, defence 07/03/2015.
- LE BARZ Cédric :
“Visual autonomous navigation for small unmanned aerial vehicles”, supervision Matthieu CORD, defence 06/30/2015.
- DREBES Andi :
“Dynamic optimization of data-flow task-parallel applications for large-scale NUMA systems”, supervision Nathalie DRACH-TEMAM, defence 06/25/2015.
- GAMOM NGOUNOU EWO Roland Christian :
“Déploiement d'applications parallèles sur une architecture distribuée matériellement reconfigurable”, supervision Bertrand GRANADO, defence 06/22/2015.
- BAME Ndiouma :
“Gestion de données complexes pour la modélisation de niche écologique”, supervision Bernd AMANN, defence 06/19/2015.
- LI Yao : “Extending SystemC-AMS standard to Modeling, Design and Verification of Mixed-signal Systems ”, supervision Marie-Minerve LOUËRAT, defence 06/17/2015.
- DANISCH Maximilien :
“Mesures de proximité appliquées à la détection de communautés dans les grands graphes de terrain”, supervision Bénédicte LE GRAND, defence 06/15/2015.
- ALLAM Mootaz : “Wide-band Sigma-Delta ADC”, supervision Hassan ABOUSHADY, defence 06/12/2015.
- YANG Bin : “Memory Island: Visualizing Hierarchical Knowledge as Insightful Islands”, supervision Jean-Gabriel GANASCIA, defence 06/08/2015.
- LUO Hang :
“Influence in Combinatorial and Collective Decision-Making”, supervision Nicolas MAUDET, defence 06/05/2015.
- EYNARD Julien :
“RNS arithmetic approach of asymmetric cryptography”, supervision Jean-Claude BAJARD, defence 05/28/2015.
- ROZHNOVA Natalya :
“Congestion control for Content-Centric Networking”, supervision Serge FDIDA, defence 05/20/2015.
- CHAOUCHE Ahmed Chawki :
“A multi-agent approach for ambient system design: A formal model incorporating planning and learning”, supervision Amal EL FALLAH SEGHROUCHNI, defence 05/14/2015.
- BELABED Dallal :
“Design and Evaluation of Cloud Network Optimization Algorithms”, supervision Stefano SECCI, defence 04/24/2015.
- URVOY DE PORTZAMPARC Fréderic :
“Algebraic and Physical Security in Code-Based Cryptography”, supervision Jean-Charles FAUGÈRE, defence 04/17/2015.
- THOMAS Pradeepa :
“Analyse des traces dans un serious game”, supervision Jean-Marc LABAT, defence 04/10/2015.
- MAAG Maria :
“Automatic Learning of Anonymization Functions for Graphs and Dynamic Graphs”, supervision Patrick GALLINARI, defence 04/08/2015.
- PIRES Karine : “Delivery, Transcoding and Neutrality on Large Live Streaming Systems”, supervision Pierre SENS, defence 03/31/2015.
- MAESANO Ariele-Paolo :
“Bayesian dynamic scheduling for service composition testing”, supervision Christophe GONZALES, defence 01/30/2015.
- ZANCANARO Mario Antonio :
“Identification of moving RFID elements in indoor environments associating application and physical layer”, supervision Guy PUJOLLE, defence 01/26/2015.
- DIACONU Raluca Andreea : “Scalability for Virtual Worlds”, supervision Pierre SENS, defence 01/23/2015.
- SANOJA Andres :
“Web Page Segmentation, Evaluation and Applications”, supervision Stéphane GANÇARSKI, defence 01/22/2015.
- POUSSEVIN Mickaël :
“Representation Learning of User-generated Data”, supervision Patrick GALLINARI, defence 01/21/2015.
- LAW Marc :
“Distance metric learning for image and webpage comparison”, supervision Matthieu CORD, defence 01/20/2015.
- XU Wenyi :
“Modeling and exploiting the knowledge base of Web of Things”, supervision Christophe MARSALA, defence 01/16/2015.
- MHEDHBI Imen :
“Compression en qualité diagnostic de séquences d'images médicales pour des plateformes embarquées”, supervision Patrick GARDA, defence 01/15/2015.
- LAURENT Yoann :
“Alloy4PV : Un Framework pour la Vérification de Procédés Métiers”, supervision Marie-Pierre GERVAIS, defence 01/15/2015.
- ZAWIRSKI Marek : “Dependable Eventual Consistency with Replicated Data Types”, supervision Marc SHAPIRO, defence 01/14/2015.
- ABDEL RAZZAC Amal :
“Convergence entre DVB et 3GPP pour solution de TV Mobile Optimisée”, supervision Salah Eddine ELAYOUBI, defence 01/14/2015.
- TANG Qingshan : “Methodology for Automatic Generation of Custom Prototyping Platform for Embedded Systems”, supervision Habib MEHREZ, defence 01/13/2015.
- ROTENBERG Elie :
“Une approche pour l'estimation fiable des propriétés de la topologie de l'Internet”, supervision Matthieu LATAPY, defence 01/08/2015.
- GUO Lisong : “Boost the Reliability of the Linux Kernel — Debugging Kernel Oopses”, supervision Julia LAWALL, defence 12/18/2014.
- BOU ABDO Jacques :
“Efficient and Secure Mobile Cloud Networking”, supervision Guy PUJOLLE, defence 12/18/2014.
- ZOIS Georgios :
“Algorithmic problems in power management of computing systems”, supervision Evripidis BAMPIS, defence 12/12/2014.
- KIRGIZOV Sergey :
“Analyse empirique et modélisation de la dynamique de la topologie de l’Internet”, supervision Clémence MAGNIEN, defence 12/12/2014.
- DRON Wilfried :
“Lifetime estimation method for connected device”, supervision Patrick GARDA, defence 12/10/2014.
- AMOKRANE Ahmed :
“Green and Energy Efficiency in Access Networks and Cloud Infrastructures”, supervision Guy PUJOLLE, defence 12/08/2014.
- RENAULT Etienne :
“Contribution aux tests de vacuité pour le model checking explicite”, supervision Fabrice KORDON, defence 12/05/2014.
- VIDAL Nicolas :
“Moving agents behaviours: a cognitive approach for intention recognition”, supervision Samir AKNINE, defence 11/28/2014.
- LOPEZ Benoit :
“Optimal Filter Implementation in Fixed Point Arithmetic”, supervision Laurent-Stéphane DIDIER, defence 11/27/2014.
- MONNA Florence :
“Scheduling for new computing platforms with GPUs”, supervision Safia KEDAD-SIDHOUM, defence 11/25/2014.
- PANGRACIOUS Vinod :
“High Performance Three-Dimensional Tree-based FPGA Architecture using 3D Technology Process ”, supervision Habib MEHREZ, defence 11/24/2014.
- MAURER Alexandre :
“Reliable communication despite Byzantine failures in sparse networks”, supervision Sébastien TIXEUIL, defence 11/20/2014.
- BAI Yuhui :
“Compression temps réel de séquences d'images médicales sur des systèmes embarqués”, supervision Bertrand GRANADO, defence 11/18/2014.
- SHAN Chuan :
“Distributed Clock Generation for Large Synchronous SOCs.”, supervision François ANCEAU, defence 11/14/2014.
- MORO Nicolas :
“Security of assembly programs against fault attacks on embedded processors”, supervision Emmanuelle ENCRENAZ, defence 11/13/2014.
- SIX Lancelot :
“Vers un modèle de comportements de véhicules lourds utilisant une méthode incrémentale basée sur la vérification de l'hystérésis : le modèle ArchiPL”, supervision Zahia GUESSOUM, defence 11/05/2014.
- SVARTZ Jules :
“Algorithmes efficaces pour le calcul des bases de Gröbner”, supervision Jean-Charles FAUGÈRE, defence 10/30/2014.
- HUJSA Thomas : “Contribution to the study of weighted Petri nets”, supervision Alix MUNIER, defence 10/29/2014.
- ZINE EL ABIDINE Khouloud :
“Méthode de prototypage virtuel permettant l’évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce”, supervision Alain GREINER, defence 10/16/2014.
- GUENANE Fouad :
“Network Security Management Using a Novel Firewall Cloud-Based Service”, supervision Guy PUJOLLE, defence 10/13/2014.
- ALBANO Alice :
“Dynamics of complex networks: analysis using intrinsic time”, supervision Bénédicte LE GRAND, defence 10/10/2014.
- MOUSSA ALI ABDELLATIF Karim : “Authenticated Encryption on FPGAs from the Reconfigurable Part to the Static Part”, supervision Habib MEHREZ, defence 10/07/2014.
- RADENEN Mathieu :
“Markovian Contextual Models”, supervision Thierry ARTIÈRES, defence 09/30/2014.
- BAZIN Alexandre :
“ On the Enumeration of Pseudo-Intents : Choosing the Order and Extending to Partial Implications”, supervision Jean-Gabriel GANASCIA, defence 09/30/2014.
- BEN SALEM Ala Eddine :
“Improving the Model Checking of Stutter-Invariant LTL Properties”, supervision Fabrice KORDON, defence 09/25/2014.
- HOTEIT Sahar : “Resource and crowd management in mobile networks”, supervision Guy PUJOLLE, defence 09/19/2014.
- LEJEUNE Jonathan :
“Distributed mutual exclusion algorithmic : toward an efficient resource management ”, supervision Pierre SENS, defence 09/19/2014.
- TURKI Mariem :
“Techniques de multiplexage pour un système d’émulation et de prototypage rapide à base de FPGA”, supervision Habib MEHREZ, defence 09/17/2014.
- SAEIDA ARDEKANI Masoud : “Ensuring Consistency in Partially Replicated Data Stores”, supervision Marc SHAPIRO, defence 09/16/2014.
- CINCILLA Pierpaolo : “Gargamel: boosting DBMS performance by parallelising write transactions”, supervision Marc SHAPIRO, defence 09/15/2014.
- CISSE Mouhamadou Moustapha : “Efficient Extreme Classification”, supervision Thierry ARTIÈRES, defence 07/25/2014.
- LOZI Jean-Pierre :
“Towards More Scalable Mutual Exclusion for Multicore Architectures”, supervision Gilles MULLER, defence 07/16/2014.
- WANG Ruomin :
“High-level modeling of signal integrity in communication buses”, supervision Patrick GARDA, defence 07/15/2014.
- SIMO KANMEUGNE Patrick :
“Real-time simulation of autonomous pedestrians navigation: a macroscopic-influenced microscopic model”, supervision Amal EL FALLAH SEGHROUCHNI, defence 07/11/2014.
- ATTOUCHI Koutheir : “Managing Resource Sharing Conflicts in an Open Embedded Software Environment”, supervision Gilles MULLER, defence 07/11/2014.
- MILLON Etienne :
“Security analysis of system code using static typing”, supervision Emmanuel CHAILLOUX, defence 07/10/2014.
- MARNE Bertrand :
“Tools and models for serious games design: a meta-design approach”, supervision Jean-Marc LABAT, defence 07/10/2014.
- OUDNI Amal :
“Data mining based on gradual itemsets extraction : contextualization and enrichment?”, supervision Marie-Jeanne LESOT, defence 07/09/2014.
- TATAR Alexandru Florin : “Predicting User-Centric Behavior: Content Popularity and Mobility”, supervision Serge FDIDA, defence 07/09/2014.
- CHAE Jung Kyu :
“Specification Platform for Library/IP Development”, supervision Habib MEHREZ, defence 07/09/2014.
- OUATTARA Boukary :
“Forecasting the effects of aging by electromigration in the circuits integrated CMOS submicron technology nodes”, supervision Habib MEHREZ, defence 07/08/2014.
- KCHIR Selma :
“Faciliter le développement des applications de robotique”, supervision Mikal ZIANE, defence 06/26/2014.
- HATOUM Rima : “Cross-layer Spectral and Energy Efficient Scheduling Algorithms with Adaptive Modulation and Coding in LTE Heterogenous Networks”, supervision Guy PUJOLLE, defence 06/26/2014.
- AROUA Anissa :
“Design and Implementation of a Context-based Consultant. Application on histopathology for breast cancer gradation.”, supervision Patrick BRÉZILLON, defence 06/13/2014.
- SAMMARCO Matteo : “Opportunistic multi-content dissemination: Passive monitoring and adaptation to network conditions”, supervision Marcelo DIAS DE AMORIM, defence 05/28/2014.
- GOGA Oana : “Matching User Accounts Across Online Social Networks: Methods and Applications”, supervision Renata CRUZ TEIXEIRA, defence 05/21/2014.
- REYNAUD Quentin :
“A Hybrid and Flexible Agent Architecture for Urban Simulations: Behavior Composition and Anticipation issues”, supervision Amal EL FALLAH SEGHROUCHNI, defence 04/29/2014.
- VU Thuong Van : “Application of Network Coding to wireless networks: coding conditions and adaptive redundancy control”, supervision Thi-Mai-Trang NGUYEN, defence 04/14/2014.
- BENCHAIB Yacine :
“Virtualization of fixes and mobiles networks”, supervision Marcelo DIAS DE AMORIM, defence 03/24/2014.
- BERNARDES Daniel : “Information Diffusion in Complex Networks: Measurement-Based Analysis Applied to Modelling”, supervision Matthieu LATAPY, defence 03/21/2014.
- SBIHI Nada :
“Designe and Performance evaluation of traffic control mechanisms for a content-centric network”, supervision Serge FDIDA, defence 03/12/2014.
- HAPPI TIETCHE Brunel :
“Proposition d’architectures radio logicielles FPGA pour démoduler simultanément et intégralement les bandes radios commerciales, en vue d’une indexation audio”, supervision Bruce DENBY, defence 03/11/2014.
- ALMALESS Ghassan :
“Operating System Design and Implementation for Single-Chip cc-NUMA Many-Core”, supervision Alain GREINER, defence 02/27/2014.
- DUDKA Andrii :
“Study, optimization and silicon implementation of a smart high-voltage conditioning circuit for electrostatic vibration energy harvesting system”, supervision Dimitri GALAYKO, defence 02/18/2014.
- DULAC-ARNOLD Gabriel : “A General Sequential Model for Constrained Classification”, supervision Patrick GALLINARI, defence 02/07/2014.
- PHE-NEAU Tiphaine : “Properties and impact of vicinity in mobile opportunistic networks”, supervision Marcelo DIAS DE AMORIM, defence 01/23/2014.
- VÁSQUEZ PÉREZ Óscar Carlos : “Job scheduling in order to aggregate energy consumption and quality of service: optimization and game theory”, supervision Christoph DÜRR, defence 01/23/2014.
- REGGANI Ahlem : “Domestic and mobile networks: measurements, analyses, and patterns”, supervision Marcelo DIAS DE AMORIM, defence 01/07/2014.
- BODIN Bruno :
“Analyse d’Applications Flot de Données pour la Compilation Multiprocesseur”, supervision Alix MUNIER, defence 12/20/2013.
- RAFRAFI Abdelhalim :
“Sentiment classification on the Web 2.0”, supervision Patrick GALLINARI, defence 12/20/2013.
- CAPDEVILA Bruno : “Serious game architecture and design: modular component-based data-driven entity system framework to support systemic modeling and design in agile serious game developments”, supervision Jean-Marc LABAT, defence 12/18/2013.
- GIOJA Hermann :
“Transaction level modeling with distributed time and released synchronization techniques in order to parallely simulate many-core architectures”, supervision Alain GREINER, defence 12/16/2013.
- HUOT Louise : “Polynomial systems solving and elliptic curve cryptography”, supervision Jean-Charles FAUGÈRE, defence 12/13/2013.
- JEAUNEAU Vincent :
“Apport to the real time scheduling problems - Application to multifunction radars”, supervision Philippe CHRÉTIENNE, defence 12/13/2013.
- ADEL Hussein : “Digital Calibration of pipelined ADCs”, supervision Marie-Minerve LOUËRAT, defence 12/12/2013.
- BOURGOIN Mathias :
“Opengpu Project - Efficient abstractions for graphics cards”, supervision Emmanuel CHAILLOUX, defence 12/11/2013.
- COLANGE Maximilien : “Symmetry Reduction and Symbolic Data Structures for Model-Checking of Distributed Systems.”, supervision Fabrice KORDON, defence 12/10/2013.
- HEYMANN Sébastien :
“Analyse exploratoire de flots de liens pour la détection d'événements”, supervision Benedicte LEGRAND, defence 12/03/2013.
- HU Ruijing :
“Epidemic dissemination algorithms in large-scale networks: comparison and adaption to topologies”, supervision Pierre SENS, defence 12/02/2013.
- VINEL Antoine :
“Conditional Random Fields for sequence labeling”, supervision Thierry ARTIÈRES, defence 12/02/2013.
- BOURGEAU Thomas :
“IP-level Internet topology dynamics capture”, supervision Serge FDIDA, defence 11/27/2013.
- MELEKHOVA Olga :
“Coordination in decision-making for large-scale autonomic architectures”, supervision Jacques MALENFANT, defence 11/18/2013.
- KILIC Alp :
“Étude d'une architechture dynamiquement reconfigurables pour les telecommunications”, supervision Habib MEHREZ, defence 11/18/2013.
- PALOMARES Daniel :
“Etude mécanismes assurant la continuité de service IPsec/IKEv2”, supervision Guy PUJOLLE, defence 11/14/2013.
- TAHIR Hassane :
“Support in the contextualization of database administration”, supervision Patrick BRÉZILLON, defence 11/04/2013.
- MONTAN Sethy :
“Étude de la propagation des erreurs d’arrondi induit par résolution haute performance de systèmes linéaires creux”, supervision Jean-Marie CHESNEAUX, defence 10/25/2013.
- SILVESTRE Guthemberg : “Designing Adaptive Replication Schemes for Efficient Content Delivery in Edge Networks”, supervision Pierre SENS, defence 10/18/2013.
- GOUICEM Mourad :
“Conception and deployment of efficient algorithms for solving the table maker's dilemma on parallel architectures”, supervision Jean-Claude BAJARD, defence 10/14/2013.
- PEHLIVAN Zeynep : “Access to web archives: Querying, Navigating and Optimizing”, supervision Anne DOUCET, defence 10/11/2013.
- JAVID Farakh :
“Synthèse structurée des circuits analogiques intégrés capitalisant la connaissance du concepteur : vers une perspective industrielle”, supervision Habib MEHREZ, defence 10/04/2013.
- PRADEL Bruno :
“Offline Evaluation of recommender systems”, supervision Patrick GALLINARI, defence 10/02/2013.
- NGUYEN Trong Khanh : “Elaboration of a process and design of tools to introduce the collaboration in simulation”, supervision Amal EL FALLAH SEGHROUCHNI, defence 09/30/2013.
- LERTSINSRUBTAVEE Adisorn :
“Sélection et transfert de spectre adaptatifs dans les réseaux de radio cognitive”, supervision Serge FDIDA, defence 09/30/2013.
- PITZALIS Denis :
“3D and semantic web: new tools to document artifacts and to explore cultural heritage collections”, supervision Matthieu CORD, defence 09/30/2013.
- FAKERI TABRIZI Ali :
“Semi-supervised Multi-view Learning: An Application to Image Annotation and Multi-lingual Document Classification”, supervision Patrick GALLINARI, defence 09/30/2013.
- AMAMOU Ahmed :
“Isolation réseau dans un datacenter virtualisé”, supervision Guy PUJOLLE, defence 09/26/2013.
- BEN MAÏSSA Yann :
“Contribution to the modeling and verification of wireless sensor networks”, supervision Fabrice KORDON, defence 09/21/2013.
- JACOB Yann :
“Classification in heterogeneous and multi-relational graphs: application to social networks”, supervision Patrick GALLINARI, defence 09/20/2013.
- NDIAYE Ndeye Massata :
“Techniques de gestion des defaillances pour les grilles informatiques aux fautes”, supervision Pierre SENS, defence 09/17/2013.
- KHALIL AYAD Raouf : “CBackground Analog and Mixed Signal Calibration System For Time-Interleaved ADC”, supervision Habib MEHREZ, defence 09/16/2013.
- ZAGHBIB Amina :
“SIGPI-STI Instrumentation to support change management in R&D context”, supervision Thibault CARRON, defence 08/29/2013.
- CALAUZENES Clément : “On the Consistency of Convex Surrogate Formulations for Ranking”, supervision Patrick GALLINARI, defence 07/19/2013.
- DZOGANG Fabon :
“Representation and learning for both emotional and dynamic information from texts.”, supervision Maria RIFQI, defence 07/18/2013.
- GORCITZ Raul Adrian : “From Small-scale Data Dissemination to Large Data Transfers in Vehicular Environments”, supervision Serge FDIDA, defence 07/16/2013.
- GOH Hanlin : “Learning Deep Visual Representations”, supervision Matthieu CORD, defence 07/12/2013.
- SYED-ALWI Syed-Hussein :
“Vérification compositionnelle pour la conception sure de systèmes embarqués”, supervision Emmanuelle ENCRENAZ, defence 07/11/2013.
- SOULLARD Yann :
“Statistical learning for classification and detection of chart patterns”, supervision Thierry ARTIÈRES, defence 07/09/2013.
- ZHANG Yan : “Semi-Automatic Controller Design in a Java-like Language”, supervision Béatrice BÉRARD, defence 07/05/2013.
- TORRES Jenny :
“Gestion d'identité pour l'Internet du futur”, supervision Guy PUJOLLE, defence 07/05/2013.
- NGUYEN Xuan Son : “Exploitation of particle filter and dynamics bayesians networks for articulated object tracking”, supervision Christophe GONZALES, defence 06/28/2013.
- MORCRETTE Basile :
“Analytic Combinatorics and urn models”, supervision Michèle SORIA, defence 06/26/2013.
- VIEIRA DE MELLO Aline :
“TLM-DT: a Modeling Strategy based on Distributed Time for Parallel Simulation of Virtual MP2SoC Platforms on SMP Workstations”, supervision Alain GREINER, defence 06/25/2013.
- MEDORI Jean-Robin : “Yield Management and Dynamic Pricing for mobile networks : Mixed non linear models, exact and approximate solution”, supervision Michel MINOUX, defence 06/24/2013.
- BOUZID Zohir :
“Modèles et algorithmes pour les réseaux émergents”, supervision Sébastien TIXEUIL, defence 06/21/2013.
- AVILA Sandra :
“Extended Bag-of-Words Formalism for Image Classification”, supervision Matthieu CORD, defence 06/14/2013.
- HEGARTY John :
“Décisions stratégiques : le role du contexte dans les indicateurs clefs de performance”, supervision Patrick BRÉZILLON, defence 06/13/2013.
- PREUD'HOMME Thomas :
“Optimized inter-core communication for pipeline parallelism”, supervision Bertil FOLLIOT, defence 06/10/2013.
- CAMPANO Sabrina :
“COR-E : un modèle pour la simulation d’agents affectifs fondé sur la théorie COR”, supervision Nicolas SABOURET, defence 06/06/2013.
- QUESTEL Aurélien :
“Conception de réseaux en anneaux-étoiles et programmation mathématique”, supervision Philippe CHRÉTIENNE, defence 05/30/2013.
- MOU Chenqi : “Solving polynomial systems over finite fields”, supervision Jean-Charles FAUGÈRE, defence 05/29/2013.
- POULET Cyril :
“Coordination in Multi-Agent Systems : The timed patrolling problem with an open system setting”, supervision Amal EL FALLAH SEGHROUCHNI, defence 04/23/2013.
- DI CIOCCIO Lucas : “Home network monitoring”, supervision Renata CRUZ TEIXEIRA, defence 04/22/2013.
- LESCA Julien :
“Exploitation de fonctions d'agrégation dépendant du rang pour la décision multi-objectifs: procédures d'optimisation et mécanismes incitatifs”, supervision Patrice PERNY, defence 04/22/2013.
- ORIOL David :
“Dimensionnement et réalisation des réseaux de domicile”, supervision Guy PUJOLLE, defence 04/19/2013.
- GUTHMULLER Eric :
“Adaptive cache architecture exploiting 3D stacking technologies in a manycore context”, supervision Alain GREINER, defence 04/11/2013.
- BLOGOWSKI Alexandre :
“Taking into account the uncertainties in the deployment of LTE mobile networks”, supervision Philippe CHRÉTIENNE, defence 04/08/2013.
- HATOUM Abbas Antoun : “Resource Allocation and Interference Management in OFDMA FemtoCell Networks”, supervision Guy PUJOLLE, defence 03/29/2013.
- SAHA Suman : “Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information”, supervision Gilles MULLER, defence 03/25/2013.
- DIALLO Mohamed : “Content-Based networking for global scale mediation service”, supervision Serge FDIDA, defence 03/07/2013.
- MHIRI Fadoua :
“Gestion des ressources dans les réseaux Femtocellulaires”, supervision Guy PUJOLLE, defence 02/23/2013.
- FOULADI Karan :
“Multidimensional television programs Recommendation by Machine Learning, an EPG Intelligent visualization interface for digital television”, supervision Jean-Gabriel GANASCIA, defence 01/24/2013.
- DUCTOR Sylvain :
“Mécanismes de coordination pour l'allocation dynamique de ressources dans des systèmes multi-agents large-échelle et ouverts”, supervision Zahia GUESSOUM, defence 01/18/2013.
- WOUTERS Laurent : “Multi-Domain Expert-User Modeling Infrastructure”, supervision Marie-Pierre GERVAIS, defence 01/18/2013.
- UGON Adrien :
“Fusion symbolique et données polysomnographiques”, supervision Jean-Gabriel GANASCIA, defence 01/14/2013.
- FOURNIER Raphaël :
“Détection et analyse d'une thématique rare dans de grands ensembles de requêtes : l'activité pédophile dans le P2P”, supervision Matthieu LATAPY, defence 12/21/2012.
- ZEAITER JOUMBLATT Diana :
“Prediction of User Dissatisfaction with Network Application Performance at End-Hosts”, supervision Renata CRUZ TEIXEIRA, defence 12/18/2012.
- HOËT Shirley :
“Apprentissage de la communication dans un système multi-agents ouvert, asynchrone et faiblement couplé”, supervision Nicolas SABOURET, defence 12/17/2012.
- LUMBROSO Jérémie :
“Probabilistic Algorithms for Data Streaming and Random Generation”, supervision Michèle SORIA, defence 12/13/2012.
- HERPSON Cédric :
“Approche multi-agents pour la supervision adaptative des systèmes distribués”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/10/2012.
- CREUS Jordi :
“ROSES: A Continuous Query Processor for Large-Scale Content-Based RSS Feed Aggregation”, supervision Bernd AMANN, defence 12/07/2012.
- SEDDIK Yasmina :
“Scheduling with delivery dates and cumulative payoffs”, supervision Christophe GONZALES, defence 12/07/2012.
- YOUSSEF Stéphanie :
“Conception d'une bibliothèque de cellules analogiques”, supervision Habib MEHREZ, defence 12/03/2012.
- RODRIGUES BELFORT Diomadson :
“Modulateurs Sigma Delta LC Monobloc d'Ordre Élevé”, supervision Alain GREINER, defence 11/26/2012.
- GOYET Christopher :
“Algebraic Side Channel Analysis”, supervision Jean-Charles FAUGÈRE, defence 11/07/2012.
- LEGTCHENKO Sergey : “Exploiting player behavior in distributed architectures for online games”, supervision Pierre SENS, defence 10/25/2012.
- SPAENLEHAUER Pierre-Jean : “Solving multihomogeneous and determinantal systems Algorithms - Complexity - Applications”, supervision Jean-Charles FAUGÈRE, defence 10/09/2012.
- VASILEVSKI Michel :
“Unified Multi-Level Design Environment for Mixed Signal Systems”, supervision Alain GREINER, defence 10/04/2012.
- BUFFONI David : “Learning-to-Rank consistent surrogates for Information Retrieval tasks”, supervision Patrick GALLINARI, defence 10/04/2012.
- WANG Philippe :
“Applicative Languages and Abstract Machines for Structural Code Coverage”, supervision Emmanuel CHAILLOUX, defence 10/04/2012.
- BUFFONI David : “Learning-to-Rank consistent surrogates for Information Retrieval tasks”, supervision Patrick GALLINARI, defence 10/04/2012.
- LE Phu Hung : “Multipath Routing Protocol for Ad Hoc Networks”, supervision Guy PUJOLLE, defence 09/28/2012.
- ROUSSEL Olivier :
“Générateur aléatoire de strutures ordonnées par le modèle de Boltzmann”, supervision Michèle SORIA, defence 09/25/2012.
- HORINCAR Roxana :
“Refresh Strategies and Online Change Estimation for Highly Dynamic Web Content ”, supervision Bernd AMANN, defence 09/20/2012.
- FAJJARI Ilhem :
“Resource Allocation Algorithms for Virtual Networks within Cloud Backbone Network”, supervision Guy PUJOLLE, defence 09/12/2012.
- TO Ba Lam :
“Contrôle de Puissance et Routage dans les Réseaux Ad-hoc à Radio Cognitive”, supervision Guy PUJOLLE, defence 07/19/2012.
- ACHOUR Amel :
“Gestion de la mobilité pour les terminaux multi-homés dans un environnement sans-fil hétérogène”, supervision Guy PUJOLLE, defence 07/10/2012.
- GAMOUDI Oussama :
“Optimisation adaptative appliquée au préchargement de données”, supervision Nathalie DRACH-TEMAM, defence 07/03/2012.
- COFFI Jean-René :
“Adaptive complex event processing for critical infrastructure protection”, supervision Christophe MARSALA, defence 06/25/2012.
- ALMEIDA DA SILVA Marcos Aurélio : “Detection and Handling of Deviations in Process-centered Software Engineering Environments”, supervision Marie-Pierre GERVAIS, defence 06/25/2012.
- GAO Sheng :
“Latent Factor Models for Link Prediction Problems”, supervision Patrick GALLINARI, defence 06/19/2012.
- WHITBECK John :
“Mobile Opportunistic Networks: Visualization, Modeling, and Application to Data Offloading ”, supervision Marcelo DIAS DE AMORIM, defence 06/18/2012.
- ROCHA JIMENEZ VIEIRA Fabio :
“Stratégies intelligents pour le routages dans les réseaux maillés”, supervision Serge FDIDA, defence 05/23/2012.
- DEKOKER Sylvain :
“Alma : a programming language for cognitive agents”, supervision Amal EL FALLAH SEGHROUCHNI, defence 05/14/2012.
- NGUYEN Sinh Chung :
“Multi-homing management at transport layer for multi-interface mobile terminal”, supervision Guy PUJOLLE, defence 05/10/2012.
- ZHANG Xiaofei :
“Multipath Transmission Control and Mobility Management for Multihoming Transport Protocols”, supervision Guy PUJOLLE, defence 05/10/2012.
- ZHAO Ting :
“Dynamic Geometry and geometric Constrain Solving”, supervision Dongming WANG, defence 05/03/2012.
- BENAZOUZ Mohamed :
“Dimensionnement des Mémoires dans les Applications de Traitement de Flux de Données”, supervision Alix MUNIER, defence 04/13/2012.
- BELBLIDIA Nadjet :
“Capacity Aware Opportunistic Networks: Characterization and Impact on the Dissemination of Large Contents”, supervision Serge FDIDA, defence 04/12/2012.
- BRAHAM Othmen :
“Étude et stratégies pour l’urbanisation d’un environnement de réseaux virtuels”, supervision Guy PUJOLLE, defence 04/04/2012.
- ODEGARD Rune :
“Application des bases de Groebner en cryptographie”, supervision Jean-Charles FAUGÈRE, defence 04/01/2012.
- MINETTO Rodrigo :
“Text Recognition and 2D/3D Object Tracking”, supervision Matthieu CORD, defence 03/19/2012.
- SEIFI Massoud :
“Cœurs stables de communautés dans les graphes de terrain”, supervision Matthieu LATAPY, defence 03/12/2012.
- TRINH Anh Phuc :
“Classifieur probabiliste et Séparateur à Vaste Marge. Application à la classification de texte et à l'étiquetage d'image”, supervision Patrick GALLINARI, defence 02/17/2012.
- FALL Ibrahima :
“Gestion Optimisée de Produits-Modèles de Procédés Logiciels”, supervision Marie-Pierre GERVAIS, defence 02/08/2012.
- TORTI Lionel :
“Structured probabilistic infernce in object-oriented probabilistic graphical models”, supervision Christophe GONZALES, defence 01/27/2012.
- HASHMI Adnan : “An Agent Oriented Programming Language integrating Temporal Planning and the Plan Coordination Mechanisms”, supervision Amal EL FALLAH SEGHROUCHNI, defence 01/24/2012.
- JARMA ALVIZ Yesid : “no title”, supervision Marcelo DIAS DE AMORIM, defence 01/24/2012.
- PLOUVIEZ Geoffrey :
“Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores”, supervision Alain GREINER, defence 01/19/2012.
- ASHRY Ahmed : “RF Receiver for Software-Defined Radio based on Bandpass Sigma-Delta Analog-to-Digital Converter”, supervision Habib MEHREZ, defence 01/13/2012.
- CASARE Sara Jane :
“Modélisation de processus muti agent”, supervision Zahia GUESSOUM, defence 01/01/2012.
- FENG Haifeng :
“Studies of the relationships between colours and emotions from spontaneous annotations”, supervision Bernadette BOUCHON-MEUNIER, defence 12/15/2011.
- OLARU Andrei :
“A Context-Aware Multi-Agent System for AmI Environments”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/15/2011.
- HAMICHI Samir :
“Modélisation de réseaux de firmes avec des systèmes multi-agents adaptatifs”, supervision Zahia GUESSOUM, defence 12/14/2011.
- PHAM Tuan Minh : “Consumer generated mobile Wireless media : Architecture and applications”, supervision Serge FDIDA, defence 12/14/2011.
- WANG Xiaomin : “Deciding on the type of the degree distribution of a graph (network) from traceroute-like measurements”, supervision Michèle SORIA, defence 12/13/2011.
- SPENGLER Alexander :
“Probabilistic Web Content Analysis. Representation of Content Semantics in the Bayesian Diagnostic Paradigm.”, supervision Patrick GALLINARI, defence 12/12/2011.
- REHMANI Mubashir Husain : “Opportunistic Data Dissemination in Ad-Hoc Cognitive Radio Networks”, supervision Serge FDIDA, defence 12/12/2011.
- SALAH BRAHIM Abdelhamid :
“Diffusion d’information et structure en communautés dans un réseau de blogs”, supervision Matthieu LATAPY, defence 12/08/2011.
- NEL François :
“Monitoring information flows : building, modeling and simulation of citation graphs, application to buzz detection.”, supervision Bernadette BOUCHON-MEUNIER, defence 12/07/2011.
- VALERO Mathieu :
“Amélioration des performances et de la fiabilité des architectures pair à pair arborescentes”, supervision Pierre SENS, defence 12/01/2011.
- DUBOIS Swan :
“Tolérer les fautes transitoires, permanentes et intermittentes”, supervision Sébastien TIXEUIL, defence 12/01/2011.
- NDONG Joseph :
“Détection de comportements anormaux dans les application réseaux”, supervision Kavé SALAMATIAN, defence 11/30/2011.
- AYNAUD Thomas :
“Détection de communautés dans les réseaux dynamiques”, supervision Matthieu LATAPY, defence 11/30/2011.
- HIDALGO CASTILLO Nicolas : “Towards an Efficient Support for Complex Queries on Structured Peer-to-Peer Networks”, supervision Pierre SENS, defence 11/29/2011.
- ROSAS OLIVOS Erika : “Building Trustworthy Services in P2P networks”, supervision Pierre SENS, defence 11/29/2011.
- BENAMARA Lamia :
“Dynamique des graphes de terrain : caractérisation et étude du biais lié à la mesure”, supervision Clémence MAGNIEN, defence 11/29/2011.
- ARAUJO-RODRIGUES Sabiniano :
“Sujet: "Conversion Analogique-Numerique sans echantillonnage"”, supervision Hassan ABOUSHADY, defence 11/28/2011.
- SASSOLAS Mathieu :
“Noninterférence et canaux cachés dans les systèmes temporisés”, supervision Béatrice BÉRARD, defence 11/28/2011.
- MOVAHEDI Zeinab : “An Autonomic Architecture for Wireless Networks : Proposition and Evaluation Methodology”, supervision Guy PUJOLLE, defence 11/25/2011.
- BEN SAAD Myriam :
“Web Archives Quality : modeling and optimization”, supervision Stéphane GANÇARSKI, defence 11/18/2011.
- FAN Xiaoliang : “Context-oriented Scientific Workflow and its Application”, supervision Patrick BRÉZILLON, defence 11/07/2011.
- MAIA PESSOA Isaac : “no title”, supervision Alain GREINER, defence 10/25/2011.
- DELORT Charles :
“Algorithmes d'énumération implicite pour l'optimisation multi-objectifs exacte : exploitation d'ensembles bornant et application aux problèmes de sac à dos et d'affectation”, supervision Patrice PERNY, defence 10/19/2011.
- CANOU Benjamin :
“Programmation Web Typée”, supervision Emmanuel CHAILLOUX, defence 10/04/2011.
- BETTALE Luk :
“Cryptanalyse algébrique : outils et applications”, supervision Jean-Charles FAUGÈRE, defence 10/03/2011.
- BETTALE Luk :
“Cryptanalyse algébrique : outils et applications”, supervision Jean-Charles FAUGÈRE, defence 10/03/2011.
- AMOURI Emna :
“Placement and routing tools to secure FPGA architectures against DPA attacks”, supervision Habib MEHREZ, defence 09/30/2011.
- DOIRIEUX Sébastien :
“Modèles analytiques pour le dimensionnement de réseaux cellulaires de quatrième génération”, supervision Serge FDIDA, defence 09/30/2011.
- OZAKTAS Haluk :
“Compression de code et optimisation multicritère des systèmes embarqués dans un contexte temps réel strict”, supervision Nathalie DRACH-TEMAM, defence 09/29/2011.
- ABID Meriem :
“Pilotage autonomique de la mobilité dans les réseaux sans fil hétérogènes”, supervision Guy PUJOLLE, defence 09/23/2011.
- NGUYEN Minh Huu :
“Sécurisation de processeurs vis-à-vis des attaques par faute et par analyse de la consommation”, supervision Nathalie DRACH-TEMAM, defence 09/21/2011.
- BAROUNI Yosra :
“Routage centré sur le contenu pour l'Internet du futur”, supervision Serge FDIDA, defence 09/16/2011.
- BOURGUIBA Manel :
“Plateforme flexible et performante pour les routeurs virtuels sur une architecture multi-cœur”, supervision Guy PUJOLLE, defence 09/16/2011.
- AMAR Ebtisam :
“Location Services Management and Robust Geographic Routing in Mobile Ad hoc Networks”, supervision Guy PUJOLLE, defence 09/13/2011.
- FAROOQ Umer :
“Exploration and optimization of application specific heterogeneous tree-based fpga architectures.”, supervision Habib MEHREZ, defence 07/12/2011.
- REVAULT D'ALLONNES Adrien :
“Semantic evaluation of symbolic information”, supervision Herman AKDAG, defence 07/11/2011.
- CARRERA Marianna :
“SHAPE the Wireless Traffic in the Home Network"”, supervision Serge FDIDA, defence 07/11/2011.
- LE KERNEC Julien :
“Contribution of multitones to ultrawide band software defined radar”, supervision Patrick GARDA, defence 07/08/2011.
- CUNHA Italo : “Tracking Internet Routes and Path Reachability for Network Tomography”, supervision Renata CRUZ TEIXEIRA, defence 07/07/2011.
- VU Viet Vu :
“Semi-supervised clustering and active learning”, supervision Bernadette BOUCHON-MEUNIER, defence 07/05/2011.
- LIMAM Imen :
“4G: mécanismes de convergence fixe mobile (HSDPA; Wimax, ...)”, supervision Guy PUJOLLE, defence 07/04/2011.
- HAMZAOUI Assia :
“Détection d'événements dans la dynamique des grands graphes de terrain : une approche statistique et son application au radar de l'internet”, supervision Matthieu LATAPY, defence 06/28/2011.
- GAO Yang :
“Generic cache controller for a massively parallel manycore architecture with coherent shared memory”, supervision Alain GREINER, defence 06/28/2011.
- ZHANG Zhen :
“On the field Detection, De-activation and Reconfiguration (ODDR) mechanism for Permanent Fault-Tolerance of Network-on-Chip”, supervision Alain GREINER, defence 06/27/2011.
- BUYUKKAYA Eliya :
“A Peer-to-Peer-based Virtual Environment System”, supervision Pierre FRAIGNIAUD, defence 06/24/2011.
- ALLALI Oussama :
“Structure et dynamique des graphes de terrain bipartis : liens internes et prédiction de liens”, supervision Matthieu LATAPY, defence 06/24/2011.
- NIU Wei : “Qualitative Analysis of Biological Systems Using Algebraic Methods”, supervision Dongming WANG, defence 06/17/2011.
- HABIB Lionel :
“Formalisations et comparaisons de politiques et de systèmes de sécurité”, supervision Thérèse HARDIN, defence 06/16/2011.
- TEGLIA Yannick :
“Ingénierie et robustesse des systèmes embarqués sécuritaires”, supervision Jean-Claude BAJARD, defence 06/10/2011.
- MOULET Lucie :
“Ajout d'un Eportfilio à l'ENT”, supervision Jean-Marc LABAT, defence 06/09/2011.
- ORERO Joseph :
“Modeling Affective Systems through Physiology and their Application in Design of Video Games”, supervision Bernadette BOUCHON-MEUNIER, defence 05/31/2011.
- AYOUB Jad :
“Contribution à l'intégration des Machines à vecteurs de support au sein d'un capteur de vision 3D intégré : Application au diagnostic endoscopique”, supervision Patrick GARDA, defence 05/25/2011.
- CHANGUEL Sahar :
“Metadata for personalization and knowledge access”, supervision Bernadette BOUCHON-MEUNIER, defence 05/03/2011.
- AYRAULT Philippe :
“Développement de logiciels critiques en Focalize. Méthodologie et outils pour l'évaluation de conformité”, supervision Thérèse HARDIN, defence 04/22/2011.
- LEE Jong Gun : “User behavior modeling of content consumption and generation in online social networks”, supervision Kave SALAMATIAN, defence 03/25/2011.
- GHANNAY Sana :
“Routage et QoS dans les réseaux maillés sans fils”, supervision Guy PUJOLLE, defence 02/14/2011.
- TOMOZEI Dan-Cristian :
“Distributed Algorithms for Peer-to-Peer Networks”, supervision Serge FDIDA, defence 02/11/2011.
- SEGURA Jean Mathieu :
“Localisation et affectation : application aux réseaux de contenus”, supervision Philippe CHRÉTIENNE, defence 02/07/2011.
- BENABID Abir :
“Cyclic RCPSP study”, supervision Claire HANEN, defence 02/07/2011.
- MEDEM KUATSE Amélie :
“Conception de Mécanismes d'Amélioration de la Gestion d'Incidents dans les Réseaux IP”, supervision Serge FDIDA, defence 02/02/2011.
- EL SAWDA Samer :
“Contribution à l'amélioration de la sécurité pour le protocole SIP”, supervision Pascal URIEN, defence 01/21/2011.
- LIANG Ye :
“Résolution de systèmes algébriques avec des coefficients rapprochés”, supervision Jean-Charles FAUGÈRE, defence 01/19/2011.
- BOUSBIA Nabila :
“Analyse des traces de navigation des apprenants dans un environnement de formation dans une perspective de détection automatique des styles d'apprentissage”, supervision Jean-Marc LABAT, defence 01/10/2011.
- ALSHURAIMI Abdulaziz :
“A Study on the Effects of Cultural Context Differences on Extended Technology Acceptance Model (TAM): Case of Saudi Arabia and France ”, supervision Patrick BRÉZILLON, defence 01/05/2011.
- BEN-HOUIDI Zied : “Scalable Routing in Provider-Provisioned Virtual Private Networks”, supervision Renata CRUZ TEIXEIRA, defence 12/21/2010.
- PIETILAINEN Anna Kaisa : “Opportunistic Mobile Social Networks at Work”, supervision Serge FDIDA, defence 12/21/2010.
- KIM Young-Min :
“Document Clustering in a Learned Concept Space”, supervision Patrick GALLINARI, defence 12/16/2010.
- DARWESH Aso :
“Diagnostic cognitif en EIAH : Le système PépiMep”, supervision Jean-Marc LABAT, defence 12/14/2010.
- PORQUET Joël :
“Architecture de sécurité pour systèmes multiprocesseurs intégrés sur puce”, supervision Alain GREINER, defence 12/13/2010.
- LEWKOVICZ Zach :
“Modélisation et simulation du marché du travail à l'aide de systèmes multi-agents”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/10/2010.
- BERNARD Samuel :
“Algorithmique répartie : vaincre les contraintes des réseaux modernes”, supervision Sébastien TIXEUIL, defence 12/10/2010.
- BEZAHAF Mohamed el Mehdi :
“Transparent Mobility Management in a Real Wireless Mesh Environment”, supervision Serge FDIDA, defence 12/09/2010.
- LE DUC Bao : “A QoI-aware Framework for Adaptive Monitoring”, supervision Jacques MALENFANT, defence 12/07/2010.
- ROGOVCHENKO Olena : “Abstractions for time and resource conscious composition in the context of distributed autonomous robotic systems”, supervision Jacques MALENFANT, defence 12/03/2010.
- BLOND Julien :
“Outil pour implémentation de logiciels certifiables EAL7”, supervision Thérèse HARDIN, defence 11/30/2010.
- GENIN Thomas :
“Stratégies de formation de coalitions dans les systèmes multi-agents”, supervision Samir AKNINE, defence 11/26/2010.
- HABIB Bassel :
“CYBERNARD : Un Système de Découverte Autonome qui Reconstruit Rationellement la Démarche Empirique de Claude Bernard en Modélisant ses Expérimentations Basées sur des Résultats Réels”, supervision Jean-Gabriel GANASCIA, defence 11/26/2010.
- MOUGENOT Alix :
“Praxis: Détection des incohérences dans les modèles répartis”, supervision Marie-Pierre GERVAIS, defence 11/19/2010.
- GUEGUEN Cédric :
“Allocation de ressources dans les réseaux sans fil à large bande multi-porteuses”, supervision Serge FDIDA, defence 11/16/2010.
- SUTRA Pierre :
“Protocoles efficaces pour le consensus généralisé et la réplication partielle”, supervision Marc SHAPIRO, defence 11/08/2010.
- KHEMIRI Sondes :
“Gestion de la QoS dans des réseaux WiMax”, supervision Guy PUJOLLE, defence 10/25/2010.
- STEFANOVITCH Nicolas :
“Contributions à la résolution de problèmes d'optimisation de contraintes distribuées dynamiques à l'aide de modèles graphiques pour la coordination multiagents”, supervision Amal EL FALLAH SEGHROUCHNI, defence 10/22/2010.
- AUGUSTIN Brice :
“Tracing Internet Routes under Load Balancing”, supervision Serge FDIDA, defence 10/18/2010.
- NGO Minh Tuan :
“Modeling and Optimization of Traffic Signal Timing - Implementation of the Bender's decomposition method”, supervision Michel MINOUX, defence 10/13/2010.
- SARR Idrissa :
“Transaction Routing in a Large-Scale Database”, supervision Anne DOUCET, defence 10/07/2010.
- NOYER Yves :
“Trois études sur l'implantation des matrices en FoCaLiZe, les preuves quantitatives et la réutilisation de preuves”, supervision Renaud RIOBOO, defence 09/28/2010.
- BECOULET Alexandre :
“Conception d'un système d'exploitation supportant nativement les”, supervision Alain GREINER, defence 09/28/2010.
- BONNEFOI Fabien :
“Vérification Formelle des Spécifications de Systèmes Complexes, Application aux Systèmes de Transport Intelligents”, supervision Fabrice KORDON, defence 09/27/2010.
- JEANTET Gildas :
“Algorithmes pour la décision séquentielle dans l'incertain : optimisation de l'utilité espérée dépendant du rang et du critère de Hurwicz”, supervision Patrice PERNY, defence 09/27/2010.
- DUBUS Jean-Philippe :
“Prise de décision multiattribut avec le modèle GAI”, supervision Jean-Yves JAFFRAY, defence 09/23/2010.
- SUISSA Abraham :
“Estimation et optimisation de la consommation des systèmes hétérogènes”, supervision Patrick GARDA, defence 09/23/2010.
- HAYDAR Jamal :
“Prise de décision orientée QoS dans les réseaux hétérogènes”, supervision Guy PUJOLLE, defence 09/16/2010.
- MOLINIER Lionel :
“Introduction de techniques automoniques au sein des réseaux de domicile”, supervision Guy PUJOLLE, defence 09/10/2010.
- TRUONG Patrick :
“Algorithmes de comptage dans les trafics IP”, supervision Serge FDIDA, defence 07/12/2010.
- BRÉZILLON Juliette :
“An Intelligent tutor system for self-evaluation of users'behaviors. Application in Road Safety”, supervision Thierry ARTIÈRES, defence 07/02/2010.
- GASS Richard :
“Réseaux Nomades la connectivité au service des utilisateurs en déplacement”, supervision Serge FDIDA, defence 06/29/2010.
- MTIBAA Abderrahmen :
“Social Forwarding In Opportunistic Ad-hoc Networks”, supervision Serge FDIDA, defence 06/29/2010.
- ROSIÈRE Mathieu :
“MORPHEO : Processeur ouvert, haute performance, paramétrable et pérenne pour plate-forme de confiance”, supervision Nathalie DRACH-TEMAM, defence 06/28/2010.
- PARVEZ Husain : “Design and Exploration of Application-Specific Mesh-Based Heterogeneous”, supervision Habib MEHREZ, defence 06/24/2010.
- DO Trinh Minh Tri :
“Regularized bundle methods for large-scale learning problems with an application to large margin training of hidden Markov models”, supervision Thierry ARTIÈRES, defence 06/17/2010.
- FRABOULET-LAUDY Claire :
“Introducing semantic knowledge in high level information fusion”, supervision Jean-Gabriel GANASCIA, defence 06/04/2010.
- SILVEIRA FILHO Fernando Jorge :
“Diagnostic Global des anomalies de Trafic sur l'Internet”, supervision Serge FDIDA, defence 05/19/2010.
- LAROCHE Romain :
“Uncertainty management and reinforcement learning for conventionnal dialogue systems”, supervision Bernadette BOUCHON-MEUNIER, defence 05/18/2010.
- CHATEL Pierre :
“A qualitative approach for decision making under non-functional constraints during agile service composition”, supervision Jacques MALENFANT, defence 05/05/2010.
- POTIRON Katia :
“Systèmes Multi-Agents et tolérance aux fautes : conséquences de l'autonomie des agents”, supervision Amal EL FALLAH SEGHROUCHNI, defence 04/14/2010.
- BELHAOUARI Hakim :
“Une approche intégrée pour la conception par contrat : vérification statique/dynamique et génération automatique de test”, supervision Jacques MALENFANT, defence 03/30/2010.
- GASHTI Shahab :
“A context-aware framework for service discovery on ubiquitous mesh home networks community”, supervision Guy PUJOLLE, defence 03/25/2010.
- LENICA Anneli :
“Méthodes d'accès décentralisées pour la recherche par le contenu dans les environnements distribués dynamiques”, supervision Jean-Pierre BRIOT, defence 03/22/2010.
- SEBBA PATTO Vinicius :
“Utilisation d’agents assistants pour l’analyse et la prise de décision pour la gestion participative”, supervision Jean-Pierre BRIOT, defence 03/15/2010.
- LAJMI Amine :
“A Software Factory for the Generation of CAPE-OPEN compliant Process Modelling Components”, supervision Mikal ZIANE, defence 03/15/2010.
- CUENIN Tidiane :
“Une méthodologie de prediction des performances d'un système d'impression”, supervision Patrick GARDA, defence 03/12/2010.
- AIT SAADI Nadjib : “Multi-Objective Wireless Sensor Network Deployment”, supervision Guy PUJOLLE, defence 03/11/2010.
- JAEGER Éric :
“Etude de l'apport des méthodes formelles déductives pour les développement de sécurité”, supervision Thérèse HARDIN, defence 03/08/2010.
- COUCHARIERE Olivier :
“Possibilistic ALC description logic for operational information systems : theory, algorithm and applications”, supervision Bernadette BOUCHON-MEUNIER, defence 03/05/2010.
- ALASSIR Mohamad Dib :
“Modélisation au nouveau système des entrées-sotires d'un système hétérogène”, supervision Patrick GARDA, defence 03/01/2010.
- JELASSI Sofiene :
“Adaptive Quality Control of Packetized Voice Conversations over Mobile Ad-Hoc Networks”, supervision Guy PUJOLLE, defence 02/25/2010.
- BORDES Antoine :
“New Algorithms for Large-Scale Support Vector Machines”, supervision Patrick GALLINARI, defence 02/09/2010.
- DARRASSE Alexis :
“Structures arborescentes complexes : analyse combinatoire, génération aléatoire et applications”, supervision Michele SORIA, defence 01/26/2010.
- TRAN Tri Duc :
“Design and development of an intelligent assistant for student's conative support”, supervision Bernadette BOUCHON-MEUNIER, defence 01/25/2010.
- MACEDO Daniel Fernandes :
“Plate forme de communication pour les applications à mission critique”, supervision Guy PUJOLLE, defence 12/18/2009.
- FREIDERIKOS Vasilis :
“Autonomic Architectures for Home Networks”, supervision Guy PUJOLLE, defence 12/14/2009.
- BENMERZOUG Djamel :
“Méthodes et outils formels pour l’intégration d’applications d’entreprises”, supervision Fabrice KORDON, defence 12/13/2009.
- ALDEA Emanuel :
“Apprentissage de données structurées pour l'interprétation d'images”, supervision Isabelle BLOCH, defence 12/12/2009.
- OUEDRAOGO Tounwendyam Frédéric :
“Dynamique de graphes et détection d’anomalies”, supervision Matthieu LATAPY, defence 12/10/2009.
- VORON Jean-Baptiste :
“Petri Nets-Based Automated and Dedicated Generation of Intrusion Detection Systems for Parallel Systems”, supervision Fabrice KORDON, defence 12/09/2009.
- NAHLE Salim :
“Algorithmes d'Amélioration de Capacité pour les Réseaux Maillés Sans Fils”, supervision Serge FDIDA, defence 12/09/2009.
- HAMEZ Alexandre :
“Efficient generation of large state spaces”, supervision Fabrice KORDON, defence 12/08/2009.
- RENAULT Xavier :
“Mise en oeuvre de notations standardisées, formelles et semi-formelles dans un processus de développement de systèmes embarqués temps-réel répartis”, supervision Fabrice KORDON, defence 12/03/2009.
- IOVAN Corina :
“Detection and Characterisation of Vegetation in Urban Areas from High Resolution Aerial Imagery”, supervision Matthieu CORD, defence 11/30/2009.
- BOC Michaël Mathias : “Promoting user-centric design”, supervision Serge FDIDA, defence 11/23/2009.
- KOLAR Anthony :
“Contribution à la conception et à la réalisation d'un capteur de vision 3D intégré”, supervision Patrick GARDA, defence 11/20/2009.
- TEBBANI Badis :
“SLA-BASED NETWORK MANAGEMENT- Application in a Wireless Environment -”, supervision Guy PUJOLLE, defence 11/13/2009.
- BÄRECKE Thomas :
“Evolutionary Optimisation for Inexact Graph Isomorphism”, supervision Bernadette BOUCHON-MEUNIER, defence 10/22/2009.
- BOUET Mathieu :
“Localisation en trois dimensions de tags RFID basée sur les informations de connectivité”, supervision Guy PUJOLLE, defence 10/20/2009.
- MAES Francis :
“Apprentissage dans les Processus de Décision Markoviens pour la Prédiction Structurée. Applications à l'étiquetage de séquences, la transformation d'arbres et l'apprentissage dans les problèmes de recherche combinatoire”, supervision Patrick GALLINARI, defence 10/15/2009.
- TRUONG Tuong Vinh :
“Apprentissage de fonctions d'ordonnancement avec peu de données étiquetées: une application au routage d'information, au résumé de textes et au filtrage collaboratif”, supervision Patrick GALLINARI, defence 10/08/2009.
- NOGUEIRA LIMA Michèle :
“SAMNAR : a survivable architecture for wireless self-organizing networks”, supervision Guy PUJOLLE, defence 10/06/2009.
- KASSAR Meriem :
“Gestion des handovers verticaux dans les réseaux sans-fil hétérogènes”, supervision Guy PUJOLLE, defence 09/30/2009.
- PIRA Clément :
“Une méthodologie pour appréhender la décision collective dans des systèmes multiagents sujets aux défaillances”, supervision Amal EL FALLAH SEGHROUCHNI, defence 09/29/2009.
- LINARD Alban :
“Sémantique paramétrable des Diagrammes de Décision : une démarche vers l'unification”, supervision Fabrice KORDON, defence 09/29/2009.
- JEANNIN-AKODJENOU Marc-Ismaël :
“Clustering et Volume des Données”, supervision Patrick GALLINARI, defence 09/28/2009.
- MRABET Hayder :
“Conception Et Optimisation D’Architectures Reconfigurables De Type FPGA”, supervision Habib MEHREZ, defence 09/25/2009.
- CLÉMENT Charles :
“Isolation des extensions de systèmes d'exploitation dans une machine virtuelle”, supervision Bertil FOLLIOT, defence 09/24/2009.
- GEOFFRAY Nicolas : “Fostering Systems Research with Managed Runtimes”, supervision Bertil FOLLIOT, defence 09/24/2009.
- FOREST Jason :
“Caractérisation de classes par la découverte automatique de sous-classes”, supervision Bernadette BOUCHON-MEUNIER, defence 09/23/2009.
- HILLAH Lom Messan :
“Integration of formal methods into Model-Driven Development, for distributed systems and applications design and verification”, supervision Fabrice KORDON, defence 09/23/2009.
- LABBÉ Vincent :
“Modélisation et apprentissage des préférences appliqués à la recommandation dans les systèmes d'impression”, supervision Bernadette BOUCHON-MEUNIER, defence 09/22/2009.
- SILVERSTON Thomas : “Peer-to-Peer Video Live Streaming: Measurement Experiments and Traffic Analysis”, supervision Serge FDIDA, defence 09/16/2009.
- TEINA Raimana :
“Caractérisation de la cocoteraie des Tuamotu à partir d'images”, supervision René ALT, defence 09/15/2009.
- RAHMANY Sajjad :
“Utilisation des bases de Gröbner SAGBI pour la résolution des systèmes polynômiaux invariants par symétries”, supervision Jean-Charles FAUGÈRE, defence 07/17/2009.
- NABHEN Ricardo :
“Fuzzy Logic Based Method for Modeling Queue Behavior of Network Nodes”, supervision Guy PUJOLLE, defence 07/10/2009.
- DITZEL KROPIWIEC Cassio :
“Multi-Constrained Security Policies for Delegated Firewall Administration”, supervision Guy PUJOLLE, defence 07/10/2009.
- BERRAYANA Wafa :
“Architecture cross-layer pour la gestion de la Qualité de Service dans les réseaux sans fil”, supervision Guy PUJOLLE, defence 07/08/2009.
- PAMPONET MACHADO Aydano :
“Le transfert adaptatif en apprentissage par renforcement Application à la simulation de schéma de jeux tactiques”, supervision Jean-Daniel ZUCKER, defence 06/24/2009.
- LECERF Loic :
“Apprentissage Machine pour Assister l'Annotation de Documents. Clustering Visuel Interactif, Apprentissage Actif et Extraction Automatique des Descripteurs”, supervision Patrick GALLINARI, defence 06/19/2009.
- DUPUIS Damien :
“Routeur Global pour la plateforme Coriolis”, supervision Alix MUNIER, defence 06/17/2009.
- MESROB Lilia :
“Étude IRM individuelle et multimodale dans la maladie d'Alzheimer”, supervision Patrick GALLINARI, defence 06/10/2009.
- BELLOEIL Sophie :
“Optimisation automatique des chemins de données arithmétiques par l'utilisation des systèmes de numération redondants”, supervision Habib MEHREZ, defence 05/25/2009.
- SAWMA Gilbert :
“Un Système de Pilotage Autonomique pour la Distribution de Charge dans les Réseaux Sans Fil Wi-Fi”, supervision Guy PUJOLLE, defence 05/19/2009.
- AYARI Mouna :
“Architecture de gestion décentralisée de la qualité de service par politiques dans les réseaux ad hoc”, supervision Guy PUJOLLE, defence 05/11/2009.
- MENDES-ALMEIDA Will :
“ "Modulateur Sigma-Delta Thermique: Modelisation, Simulation et conception"”, supervision Hassan ABOUSHADY, defence 05/11/2009.
- TAWIL Rami : “Distributed Vertical Handoff Decision for the Fourth Generation Wireless Networks”, supervision Guy PUJOLLE, defence 05/07/2009.
- MOREAU Aurélien :
“Mise en oeuvre automatique de processus métier dans le domaine des architectures orientées services”, supervision Jacques MALENFANT, defence 04/09/2009.
- THIRIOT Samuel :
“Vers une modélisation plus réaliste de la diffusion d'innovations à l'aide de la simulation multi-agents”, supervision Amal EL FALLAH SEGHROUCHNI, defence 04/09/2009.
- TAKTAK Sami :
“Détection des interblocages dans les réseaux sur puce”, supervision Emmanuelle ENCRENAZ, defence 01/30/2009.
- VIAUD Emmanuel :
“Modélisation SystemC d'architectures multi-processeurs intégrées sur puce”, supervision Alain GREINER, defence 01/27/2009.
- YIN Fei : “Performance evaluation and optimization in IEEE 802.16”, supervision Guy PUJOLLE, defence 01/20/2009.
- LACHARTRE Sylvain :
“Algèbre linéaire dans la résolution de systèmes polynomiaux Applications en cryptologie”, supervision Jean-Charles FAUGÈRE, defence 12/11/2008.
- ANGELI Adrien :
“Détection visuelle de fermeture de boucle et applications à la localisation et cartographie simultanées”, supervision Jean-Arcady MEYER, defence 12/11/2008.
- GHAMRI-DOUDANE Samir :
“Une approche pair à pair pour la découverte de ressources à large échelle”, supervision Guy PUJOLLE, defence 12/10/2008.
- MAZEYRAT Johan :
“Capteur de Pression RFID pour le suivi des anévrismes de l'aorte abdominale”, supervision Patrick GARDA, defence 12/09/2008.
- MOROZ Guillaume :
“Sur la décomposition réelle et algébrique des systèmes dépendant de paramètres”, supervision Fabrice ROUILLIER, defence 12/09/2008.
- SOPENA Julien :
“Algorithmes d'exclusion mutuelle : tolérance aux fautes et adaptation aux grilles”, supervision Pierre SENS, defence 12/08/2008.
- ZHU Beiting :
“Utiliser un système multi-agents basé sur le connaissance du domaine géologique pour construire un modèle structural fiable”, supervision Anne DOUCET, defence 12/05/2008.
- MOURET Jean-Baptiste :
“Pressions sélectives multiples pour l'évolution de réseaux de neurones destinés à la robotique”, supervision Jean-Arcady MEYER, defence 12/05/2008.
- BEGIN Thomas :
“Modélisation et Calibrage Automatiques de Systèmes”, supervision Serge FDIDA, defence 12/05/2008.
- ROLLAND Chloé :
“Modèles orientés objet pour une meilleure prédiction du trafic Internet”, supervision Serge FDIDA, defence 12/05/2008.
- PIVOTEAU Carine :
“Génération aléatoire de structures combinatoires : méthode de Boltzmann effective”, supervision Michèle SORIA, defence 12/03/2008.
- SICARD Rudy :
“Modélisation d'interdépendances et principe de la moyenne Bayésienne des modèles dans le cadre supervisé et non supervisé”, supervision Patrick GALLINARI, defence 12/02/2008.
- ROTROU Julien :
“Applicatons mutimédias dans un environnement de réseaux ambiants”, supervision Guy PUJOLLE, defence 11/28/2008.
- KHALIFE Hicham :
“Techniques de contrôle pour réseaux sans fil multi-sauts”, supervision Serge FDIDA, defence 11/28/2008.
- MARRAKCHI Zied :
“Exploration et Optimisation d'Architectures FPGA Arborescentes”, supervision Habib MEHREZ, defence 11/25/2008.
- MAZUEL Laurent :
“Traitement de l'hétérogénéité sémantique dans les interactions humain-agent et agent-agent”, supervision Amal EL FALLAH SEGHROUCHNI, defence 11/21/2008.
- NOUNO Gilbert :
“Suivi de tempo en temps réel, application au jazz et aux musiques improvisées”, supervision Philippe CODOGNET, defence 11/20/2008.
- QUEIROZ Sergio :
“Modèles graphiques décomposables pour la décision individuelle et collective”, supervision Patrice PERNY, defence 11/12/2008.
- BEN ABDESSLEM Fehmi :
“Conception et Prototypage d'Algorithmes de Communication pour Réseaux Sans Fil”, supervision Serge FDIDA, defence 11/12/2008.
- VU Huyen-Trang :
“Apprentissage d'ordonnancements pour la constitution de corpus d'évaluation et pour l'agrégation de listes en recherche d'information”, supervision Patrick GALLINARI, defence 10/27/2008.
- OUZIA Hacène :
“Hiérarchies de relaxations semi-algébriques pour des programmes linéaires mixtes 0-1 : théorie et applications”, supervision Michel MINOUX, defence 10/23/2008.
- ALI YAHIYA Tara :
“Approches Inter-Couches pour l'Allocation de Ressources dans les Réseaux WiMAX Mobiles”, supervision Guy PUJOLLE, defence 10/08/2008.
- BONAN José :
“Conversion analogique-numerique Basse-Consommation pour Micro-Capteurs”, supervision Hassan ABOUSHADY, defence 09/29/2008.
- FAURA David :
“Étude d'une architecture electronique embarquée pour la compression video base sur jpeg2000”, supervision Patrick GARDA, defence 09/26/2008.
- ROLLAND Antoine :
“Procédures d'agrégation ordinale de préférences avec points de référence pour l'aide à la décision”, supervision Patrice PERNY, defence 09/25/2008.
- EL ABED Abir :
“Fusion de données pour la reconstruction 3D temporelle”, supervision René ALT, defence 09/24/2008.
- DIAZ Javier :
“Diagnostic et modélisation de l'utilisateur: prise en compte de l'incertain”, supervision Bernadette BOUCHON-MEUNIER, defence 09/23/2008.
- RUNGE Nina :
“Problèmes d'ordonnancement avance-retard avec et sans préemption”, supervision Philippe CHRÉTIENNE, defence 09/22/2008.
- DAMEZ-FONTAINE Marc :
“Apprentissage artificiel pour l’apprentissage humain : de la récolte de traces à la modélisation utilisateur”, supervision Bernadette BOUCHON-MEUNIER, defence 09/18/2008.
- LACHÈZE Loïc :
“Intégration d'un système visuel dans l'architecture de contrôle du rat artificiel Psikharpax”, supervision Jean-Arcady MEYER, defence 09/15/2008.
- BRACONNOT-VELLOSO Pedro :
“Un modèle de confiance pour les réseaux ad hoc”, supervision Guy PUJOLLE, defence 07/18/2008.
- BORREL Vincent :
“Une approche intégrée pour la mobilité humaine dans les réseaux auto-organisables : causes et conséquences”, supervision Serge FDIDA, defence 07/11/2008.
- GALAND Lucie :
“Méthodes exactes pour l'optimisation multicritère dans les graphes : recherche de solutions de compromis”, supervision Patrice PERNY, defence 07/10/2008.
- RIBEIRO EULALIO CABRAL Giordano :
“Harmonisation automatique en temps réel”, supervision Jean-Pierre BRIOT, defence 07/09/2008.
- DE LUNA ALMEIDA Alessandro : “Replication heuristics for agents fault tolerance: a plan-based approach”, supervision Jean-Pierre BRIOT, defence 07/07/2008.
- HEMAISSIA Miniar :
“Négociation combinée et multicritère d'agents coopératifs”, supervision Amal EL FALLAH SEGHROUCHNI, defence 07/07/2008.
- ISKANDER Ramy :
“Synthèse de composants analogiques intégrès VLSI réutilisables”, supervision Marie-Minerve LOUËRAT, defence 07/02/2008.
- PESSIOT Jean-François :
“Apprentissage Automatique pour l'Extraction de Caractéristiques. Application au partitionnement de documents, au résumé automatique et au filtrage collaboratif”, supervision Patrick GALLINARI, defence 06/30/2008.
- KRITHARA Anastasia :
“Apprentissage de modèles latents avec des données partiellement étiquetées”, supervision Patrick GALLINARI, defence 06/30/2008.
- VALADON Guillaume :
“Mobile IPv6: architectures et protocoles”, supervision Serge FDIDA, defence 06/27/2008.
- NOURY Ludovic :
“Contribution à la conception de processeurs d'analyse de signaux à large bande dans le domaine temps-fréquence : l'architecture F-TFR”, supervision Habib MEHREZ, defence 06/24/2008.
- PAJAULT Christophe :
“Model Checking parallèle et réparti de réseaux de Petri colorés de haut-niveau”, supervision Jean-François PRADAT-PEYRE, defence 06/23/2008.
- NOTTALE Mathieu :
“Ancrage d'un lexique partage entre robots autonomes dans un environnement non contraint”, supervision Jean-Gabriel GANASCIA, defence 06/19/2008.
- MIRO PANADES Ivan :
“Conception et implantation d'un micro-réseau sur puce avec garantie de service”, supervision Alain GREINER, defence 05/20/2008.
- BEILLEAU Nicolas :
“Convertisseurs Analogique-Numérique Sigma-Delta Passe-Bande RF”, supervision Hassan ABOUSHADY, defence 04/07/2008.
- KARBASCHI MANI Golnaz :
“Link Quality Aware Routing in IEEE 802.11 Multi-hop Networks”, supervision Serge FDIDA, defence 04/03/2008.
- SHEIBANYRAD Hamed :
“Implémentation Asynchrone d'un Réseau-sur-Puce Distribué”, supervision Alain GREINER, defence 03/19/2008.
- BAUDOIN Frédéric :
“Personnalisation des systèmes de dialogue en langage naturel : une méthode d'anticipation d'actions communicatives”, supervision Jean-Gabriel GANASCIA, defence 02/08/2008.
- DE OLIVEIRA CUNHA Daniel :
“Réseaux de Capteurs”, supervision Guy PUJOLLE, defence 02/06/2008.
- MATHIEU Bertrand :
“Réseaux polymorphes permettant d'adapter de contenus multimédia”, supervision Guy PUJOLLE, defence 02/06/2008.
- MAMANE SOULEYE Ibrahim :
“Étude de formulations et inégalités valides pour le problème du plus court chemin dans les graphes avec des circuits absorbants”, supervision Michel MINOUX, defence 12/19/2007.
- BUSCA Jean-Michel :
“Pastis : un système pair à pair de gestion de fichiers”, supervision Pierre SENS, defence 12/18/2007.
- BEN-EL-KEZADRI Ryad :
“Modélisation par Composants des Interfaces Réseaux dans les Simulateurs de Réseaux Sans Fil”, supervision Guy PUJOLLE, defence 12/14/2007.
- CHABBOUH Ikram :
“Systeme de distribution des applications web fragmentées”, supervision Mesaac MAKPANGOU, defence 12/12/2007.
- ESSEGHIR Moez :
“Déploiement et stratégies d’optimisation de la durée de vie dans les réseaux de capteurs sans fil”, supervision Guy PUJOLLE, defence 12/11/2007.
- CHARIF Yasmine :
“Chorégraphie dynamique de services basée sur la coordination d'agents introspectifs”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/10/2007.
- NOGUEIRA Georges :
“Méthodes analytiques pour le dimensionnement des réseaux cellulaires”, supervision Serge FDIDA, defence 12/07/2007.
- DELAVALLADE Thomas :
“Évaluation des risques de crise, appliquée à la détection des conflits”, supervision Bernadette BOUCHON-MEUNIER, defence 12/06/2007.
- DADOUCHE Foudil :
“Modélisation et Simulation, en VHDL-AMS, de Capteurs d’Images CMOS”, supervision Patrick GARDA, defence 12/05/2007.
- BOURDAILLET Julien :
“Alignement textuel monolingue avec recherche de déplacements: algorithmique pour la critique génétique”, supervision Jean-Gabriel GANASCIA, defence 12/03/2007.
- OZANNE Alain :
“Interact : Un modèle général de contrat pour la garantie des assemblages de composants et services”, supervision Jacques MALENFANT, defence 11/30/2007.
- WISNIEWSKI Guillaume :
“Apprentissage dans les espaces structurés. Application à l'étiquetage de séquences et à la transformation automatique de documents”, supervision Patrick GALLINARI, defence 11/29/2007.
- CONSTANTIN Camélia :
“Classement de Services et de Données par Leur Utilisation”, supervision Bernd AMANN, defence 11/27/2007.
- BOURGUET Vincent :
“Conception d'une bibliothèque de composants analogiques pour la synthèse orientée Layout”, supervision Marie-Minerve LOUËRAT, defence 11/14/2007.
- SADDI Walid :
“Métrologie dans les réseaux peer to peer”, supervision Serge FDIDA, defence 10/12/2007.
- ALEXANDRE Christophe :
“CORIOLIS : une plate-forme ouverte pour l'évaluation de flots de conception VLSI fortement intégrés”, supervision Alain GREINER, defence 09/26/2007.
- RÉGUIGNE-KHAMASSI Mehdi :
“Complementary roles of the rat prefrontal cortex and striatum in reward-based learning and shifting navigation strategies”, supervision Agnès GUILLOT, defence 09/26/2007.
- JEVARDAT DE FOMBELLE Grégory :
“Gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles”, supervision Marie-Pierre GERVAIS, defence 09/25/2007.
- GIL QUIJANO Jesus Javier :
“Modèles d'auto-organisation pour l'émergence de formes urbaines à partir de comportements individuels à Bogota”, supervision Alexis DROGOUL, defence 09/25/2007.
- GLISSE Benoît :
“Exploration scientifique par la conception collaborative de systèmes multi-agents”, supervision Alexis DROGOUL, defence 09/24/2007.
- MORISSET Charles :
“Sémantique des systèmes de contrôle d'accès”, supervision Thérèse HARDIN, defence 09/24/2007.
- COVELIERS Alexandre :
“Sensibilité aux jeux de données de la compilation itérative”, supervision Nathalie DRACH-TEMAM, defence 09/24/2007.
- TOLÉDANO Baruk :
“Utilisation d’ontologies pour la qualification et la recherche de ressources pédagogiques – Contribution à la conception d’outils métier”, supervision Bernadette BOUCHON-MEUNIER, defence 09/19/2007.
- BINSZTOK Henri :
“Apprentissage de Modèles Markoviens pour l'Analyse de Séquences”, supervision Patrick GALLINARI, defence 09/14/2007.
- ROBERT Anna Elsa :
“Optimisation des batches de production”, supervision Philippe CHRÉTIENNE, Claude LE PAPE, defence 09/14/2007.
- RIVAILLE Pierre-Yves :
“Contribution aux systèmes modulaires de représentation des nombres : Conversion vers binaire et addition modulaire multi-opérande”, supervision Jean-Marie CHESNEAUX, defence 09/13/2007.
- VIGER Fabien :
“Contributions à la mesure et à la modelisation de la topologie de l'Internet”, supervision Serge FDIDA, defence 09/13/2007.
- LIMAM Noura :
“Découverte et sélection de services à l'échelle de l'Internet”, supervision Guy PUJOLLE, defence 09/07/2007.
- CAMUS Mickaël :
“Système auto-adaptatif générique pour le contrôle de robots ou d'entités logicielles”, supervision Alain CARDON, defence 09/07/2007.
- HADDADOU Kamel :
“Architecture à base de politiques pour le contrôle dynamique de la QoS dans les réseaux IP à large échelle”, supervision Guy PUJOLLE, defence 09/07/2007.
- BENDRAOU Reda :
“UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle”, supervision Marie-Pierre GERVAIS, defence 09/06/2007.
- SRIPLAKICH Prawee :
“ModelBus : un environnement réparti et ouvert pour l’ingénierie de modèles”, supervision Marie-Pierre GERVAIS, defence 09/05/2007.
- LEGUAY Jérémie :
“Routage et qualité de service dans les réseaux ad-hoc”, supervision Serge FDIDA, defence 07/13/2007.
- AIB Issam :
“Une Approche orientée but d'affaires pour l'optimisation des politiques”, supervision Guy PUJOLLE, defence 07/11/2007.
- DURET-LUTZ Alexandre :
“Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents”, supervision Fabrice KORDON, defence 07/10/2007.
- DANG Thanh-Ha :
“Mesures de discrimination et leurs applications en apprentissage inductif”, supervision Bernadette BOUCHON-MEUNIER, defence 07/10/2007.
- CHOPINAUD Caroline :
“Contrôle de l'Emergence de Comportements dans les Systèmes d'Agents Cognitifs Autonomes”, supervision Amal EL FALLAH SEGHROUCHNI, defence 07/09/2007.
- PONS Pascal :
“Pas de titre”, supervision Serge FDIDA, defence 07/07/2007.
- PLATON Éric :
“Modélisation de la gestion des exceptions dans les systèmes multiagents”, supervision Amal EL FALLAH SEGHROUCHNI, defence 06/25/2007.
- BERNAILLE Laurent :
“Classification temps réel d'applications sur l'Internet”, supervision Eric HORLAIT, defence 06/08/2007.
- TUNA Matthieu :
“Auto-test logiciel des systèmes intégrés sur Puce (SoC)”, supervision Mounir BENABDENBI, defence 06/01/2007.
- BAARIR Souheib :
“Exploitation des symétries partielles pour la vérification et l'évaluation de performances des systèmes concurrents”, supervision Serge HADDAD, defence 05/16/2007.
- BRAUNSTEIN Cécile :
“Conception Incrémentale, Vérification de Composants Matériels et Méthode d'Abstraction pour Vérification de Systèmes Intégrés sur Puce”, supervision Emmanuelle ENCRENAZ, defence 05/14/2007.
- FAURE Etienne :
“Communications matériel/logiciel dans les ystèmes sur puce multi-processeurs orientés télécommunications”, supervision Alain GREINER, defence 04/27/2007.
- DEGRIS Thomas :
“Apprentissage par renforcement dans les processus de décision Markoviens factorisés”, supervision Jean-Arcady MEYER, defence 04/26/2007.
- MADEIRA Charles :
“Agents adaptatifs dans les jeux de stratégie modernes : une approche fondée sur l'apprentissage par renforcement”, supervision Jean-Gabriel GANASCIA, defence 04/25/2007.
- BENBADIS Farid :
“Étude et traitement des problèmes liés à la distribution d'information dans le systèmes peer-to-peer”, supervision Serge FDIDA, defence 04/16/2007.
- NADJEMI Othmane :
“Agents intelligents pour la simulation numérique : l'exemple des cogents”, supervision Zahia GUESSOUM, defence 03/20/2007.
- REKIK Wafa :
“Fusion de données temporelles, ou 2D+t, et spatiales, ou 3D, pour la reconstruction de scènes 3D+t et traitement d'images sphériques. Applications à la biologie cellulaire.”, supervision René ALT, defence 02/16/2007.
- ERBS Guillaume :
“Tarification et gestion optimale du revenu et des ressources pour un opérateur de télécommunication dans un contecte de concurrence”, supervision Michel MINOUX, defence 02/01/2007.
- RIOS SOLIS Yasmin Agueda :
“Ordonnancement avance-retard sur machines parallèles”, supervision Philippe CHRÉTIENNE, defence 01/30/2007.
- LAIGLE-CHAPUY Yann :
“Polynômes de permutation et applictions en théoric des codes”, supervision , defence 01/01/2007.
- OUAKIL Laurent :
“Filtrage et qualité de service pour la téléphonie sur IP dans une architecture de gestion par politique dédiée au nomadisme et à la mobilité”, supervision Guy PUJOLLE, defence 12/20/2006.
- PICCONI Fabio :
“Gestion de la persistance et de la volatilité dans le système de fichiers pair-à-pair Pastis”, supervision Pierre SENS, defence 12/14/2006.
- BEAUDENON Vincent :
“Diarammes de décision de données pour la vérification de systemes matériels”, supervision Emmanuelle ENCRENAZ, defence 12/13/2006.
- WENG Paul :
“Modèles qualitatifs et approches algébriques pour la décision dans l'incertain : fondements axiomatiques et application à la décision séquentielle”, supervision Patrice PERNY, defence 12/12/2006.
- LEGENDRE Franck :
“Interopérabilité du routage dans les réseaux Ad-Hoc”, supervision Serge FDIDA, defence 12/11/2006.
- USUNIER Nicolas :
“Apprentissage de fonctions d'ordonnancement: une étude théorique de la réduction à la classification binaire et deux applications à la Recherche d'Information”, supervision Patrick GALLINARI, defence 12/11/2006.
- GUEYE Cheikh Ahmadou Bamba :
“Localisation d'hôtes dans l'Internet basée sur des mesures”, supervision Serge FDIDA, defence 12/08/2006.
- FERDEAN Corina : “Enforcing Service-Specific Replica Consistency Models and Response Time Requirements for Heterogeneous Replicated Services”, supervision Mesaac MAKPANGOU, defence 12/08/2006.
- FAURE Nathalie :
“Contribution à la résolution de problèmes de regroupement de sessions multicasts”, supervision Philippe CHRÉTIENNE, defence 12/07/2006.
- HACHICHI Assia :
“Container Virtual Machine : Une plate-forme générique pour l'adaptation”, supervision Bertil FOLLIOT, defence 12/06/2006.
- BUCHMANN Richard :
“Accélaration de la simulation de systèmes sur puce par transformation de modèles au niveau tranfert entre registres en modèles précis au cycle”, supervision Alain GREINER, defence 12/05/2006.
- AUDRAS Isabelle :
“Médiation informatique pour l'apprentissage du français langue étrangère écrit : études auprès d'un public lettré et en formation d'alphabétisation”, supervision Jean-Gabriel GANASCIA, defence 12/04/2006.
- MARCHETTI Olivier :
“Dimensionnement des mémoires pour systèmes embarqués”, supervision Alix MUNIER, defence 12/04/2006.
- BONICHON Richard :
“Pas de titre”, supervision Thérèse HARDIN, defence 12/01/2006.
- SETHOM Kaouthar :
“Gestion de la mobilité dans les réseaux sans fil de nouvelle génération”, supervision Guy PUJOLLE, defence 11/30/2006.
- BUGNAZET Thomas :
“Métrologie, Modélisation de réseaux fondée sur des mesures actives”, supervision Monique BECKER, defence 11/29/2006.
- GIROIRE Frédéric :
“Analyse asymptotique et Combinatoire symbolique des proprietes statistiques de grands ensembles”, supervision Michèle SORIA, defence 11/29/2006.
- CHANTIT Salima :
“Transformations de programmes et contraintes de qualité pour améliorer l’outillage des patrons de conception”, supervision Mikal ZIANE, defence 11/28/2006.
- BOSSART Timothée :
“Modèles pour l'optimisation de la simulation au cycle près de systèmes synchrones”, supervision Alix MUNIER, defence 11/27/2006.
- GAUTHIER Vincent :
“Grosslayer Simulation”, supervision Monique BECKER, defence 11/20/2006.
- AMMOUR Samir :
“Support des patrons de conception dans les outils UML”, supervision Mikal ZIANE, defence 11/10/2006.
- PALUS Maxime :
“Étude et validation de l'architecture d'une machine java de hautes performances”, supervision François ANCEAU, defence 11/07/2006.
- BOUZITOUNA Salim :
“Construction d'applications réparties par réutilisation de modèles dans l'approche MDA : application à la plate-forme EJB”, supervision Marie-Pierre GERVAIS, defence 11/06/2006.
- ORANGE Sébastien :
“Calcul de corps de décomposition et de groupes de décomposition”, supervision Annick VALIBOUZE, defence 10/06/2006.
- DONNET Benoit :
“Algorithmes pour la Découverte de Topologie à Grande Echelle”, supervision Serge FDIDA, defence 09/22/2006.
- GINESTE Mathieu :
“Spécification d'un cadre générique pour l'expression et le dépoliement de la qualité de service dans les architectures de communication : application à une architecture de communication par satellite”, supervision Patrick SENAC, defence 08/31/2006.
- PERNET Nicolas :
“Implantation distribuée temps réel de programmes conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de tâches périodiques avec contraintes de latence et acceptation de tâches apériodiques”, supervision Fabrice KORDON, defence 07/07/2006.
- ELIAS Jocelyne :
“Allocation dynamique de la bande passante dans les réseaux à qualité de service”, supervision Guy PUJOLLE, defence 07/03/2006.
- GUYOT Paul :
“Simulations multi-agents participatives: Faire interagir agents et humains pour modéliser, explorer et reproduire les comportements collectifs”, supervision Alexis DROGOUL, defence 06/27/2006.
- HASHEMI Amir :
“Structure et complexité des bases de Gröbner”, supervision Daniel LAZARD, defence 06/20/2006.
- LOHIER Stéphane :
“Approches inter-couches pour la qualité de service dans les réseaux locaux sans fil”, supervision Guy PUJOLLE, defence 06/19/2006.
- NGUYEN-TUONG Pierre :
“Définition et implantation d'un langage de conception de composants analogiques réutilisables”, supervision Marie-Minerve LOUËRAT, defence 06/13/2006.
- AUCOUTURIER Jean-Julien :
“Dix Expériences sur la Modélisation du timbre polyphonique”, supervision Jean-Pierre BRIOT, defence 06/06/2006.
- GOMEZ Pascal :
“Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces”, supervision Frédéric PÉTROT, defence 06/02/2006.
- ANTONIADIS Panayotis : “Economic modeling in Incentive mechasism for P2P services”, supervision Costas Courcoubetis, defence 06/01/2006.
- MANDEL Louis :
“Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive”, supervision Marc POUZET, defence 05/22/2006.
- IANNONE Luigi :
“Routage « Cross-Layer » et Gestion de la Mobilité dans les Réseaux Maillés Sans Fil”, supervision Serge FDIDA, defence 04/03/2006.
- FAYOLLE Julien :
“Compression de données sans perte et combinatoire analytique”, supervision Michèle SORIA, defence 03/02/2006.
- ESTACIO-MORENO Alexander :
“Modèles d'Apprentissage pour l'Analyse de la Mobilité : Applications à des Parcours de Vie en Colombie”, supervision Patrick GALLINARI, defence 02/03/2006.
- ANDRIAHANTENAINA Adrijean :
“Implémentation matérielle d'un micro-réseau SPIN à 32 ports”, supervision Alain GREINER, defence 01/31/2006.
- SOULE Augustin :
“Méthodes et modèles de détection d'anomalies”, supervision Serge FDIDA, defence 01/27/2006.
- RIDOUX Julien :
“Taroko: structures virtuelles en treillis pour la représentation topologique des réseaux auto-organisables”, supervision Serge FDIDA, defence 12/16/2005.
- KHALILI Ramin :
“Des propriétés de transmission pour la couche IP”, supervision Serge FDIDA, defence 12/16/2005.
- FLACHER Fabien :
“Génération ascendante de coordination spatiale : vers une conception automatisée du controle de coordination spatiale”, supervision Jean-Arcady MEYER, defence 12/14/2005.
- CHARLERY Hervé :
“Intégration d'un micro-réseau à commutation de paquets dans un système multiprocesseur à mémoire partagée intégré sur puce”, supervision Alain GREINER, defence 12/09/2005.
- DUFLOS Sandrine :
“SoSMA une Architecture pour la Gestion de la Sécurité des Applications Multimédias Réparties”, supervision Eric HORLAIT, defence 12/08/2005.
- ALSHAER Hamada :
“Gestion et Contrôle de Trafic Prioritaire dans les Réseaux IP Multiservices”, supervision Eric HORLAIT, defence 12/08/2005.
- SUNA Alexandru :
“CLAIM et SyMPA : Un environnement pour la programmation d'agents intelligents et mobiles”, supervision Amal EL FALLAH SEGHROUCHNI, defence 12/07/2005.
- QUENUM José Ghislain :
“Conception et Execution d'Interactions dans les SMA: Spécialisation et Sélection de Protocoles Génériques”, supervision Jean-Pierre BRIOT, defence 12/06/2005.
- LUMINEAU Nicolas :
“Organisation et Localisation de Données Hétérogènes et Réparties sur un Réseau Pair à Pair”, supervision Anne DOUCET, defence 12/05/2005.
- ABSI Nabil :
“Modélisation et résolution de problèmes de lot-sizing à capacité finie”, supervision Philippe CHRÉTIENNE, defence 12/01/2005.
- LE PAPE Cécile :
“Controle de qualité des données répliquées dans un cluster”, supervision Patrick VALDURIEZ, defence 12/01/2005.
- VELCIN Julien :
“Extraction automatique de stéréotypes à partir de données symboliques et lacunaires”, supervision Jean-Gabriel GANASCIA, defence 11/30/2005.
- GANNA Mohammed :
“Gestion autonome du provisionnement de services en environnements pervasifs”, supervision Eric HORLAIT, defence 11/25/2005.
- KORTEBI Abdesselem :
“Évaluation d'une architecture IP orientée flot”, supervision Guy PUJOLLE, defence 11/25/2005.
- DAHEB Belkacem :
“Spécification et Validation de la Qualité de Service dans les Réseaux Optiques”, supervision Guy PUJOLLE, defence 11/21/2005.
- HENDEL Yann :
“Contributions à l'ordonnancement juste-à-temps”, supervision Philippe CHRÉTIENNE, defence 11/17/2005.
- GUYOT Vincent :
“La carte à puce, vecteur de mobilité”, supervision Guy PUJOLLE, defence 09/30/2005.
- GILLIERS Frédéric :
“Développement par prototypage et génération de code à partir de LfP, un langage de modélisation de haut niveau”, supervision Fabrice KORDON, defence 09/28/2005.
- ANGLADA Alexis :
“Introduction de mécanisme de flexibilité dans les contraintes de domaines continues”, supervision Philippe CODOGNET, defence 09/28/2005.
- CAMPAGNE Jean-Charles :
“Systèmes multi-agent et morphologie”, supervision Alain CARDON, defence 09/26/2005.
- ADOUT Robert :
“Contrôle dynamique de méthodes d'extrapolation”, supervision Jean-Marie CHESNEAUX, defence 09/23/2005.
- FECHTER Stéphane :
“Sémantique des traits orientés objet de Focal”, supervision Thérèse HARDIN, defence 07/18/2005.
- VIANA CARNEIRO Aline :
“Localisation et routage dans les réseaux auto organisables à large-échelle : des tables de hachage distribuées aux structures d'adressage adaptatives”, supervision Serge FDIDA, defence 07/11/2005.
- THIÉFAINE Arnaud :
“Caractérisation et formalisation du processus de développement construit autour du paradigme de l'ingénierie des modèles”, supervision Jean-François PERROT, defence 07/08/2005.
- ACHIR Mounir :
“Technologies Base Consomation pour les réseaux ad hoc”, supervision , defence 07/06/2005.
- GALLAND Antoine :
“Controle de ressources dans les cartes à microprocesseurs”, supervision Bertil FOLLIOT, defence 06/30/2005.
- ABRIL GARCIA Ana Belen :
“Estimation et optimisation de la consommation dans les descriptions architecturales des systèmes intégrés complexes”, supervision Habib MEHREZ, defence 06/21/2005.
- RENAULT Guénaël :
“Calcul efficace de corps de décomposition”, supervision Annick VALIBOUZE, defence 06/16/2005.
- THOMAS Gaël :
“Applications actives - Construction dynamique d'environnements d'exécution flexibles homogènes”, supervision Bertil FOLLIOT, defence 05/20/2005.
- SHEEREN David :
“Interprétation des différences de représentations dans les bases de données géographiques”, supervision Jean-Daniel ZUCKER, defence 05/20/2005.
- HAÏK Grégory :
“Introduction de mobilité dans les applications de conception industrielle”, supervision Jean-Pierre BRIOT, defence 05/11/2005.
- ROBERT Gabriel :
“MHiCS, une architecture de sélection de l’action Motivationnelle et HIérarchique à Systèmes de Classeurs pour Personnages Non Joueurs adaptatifs”, supervision Agnès GUILLOT, defence 05/11/2005.
- SADOVYKH Andrey :
“Concept innovateur d’un middleware pour la supervision de systèmes complexes”, supervision Serge FDIDA, defence 04/06/2005.
- PICHLOVA Markéta :
“Méthodes d’intelligence artificielle pour l’analyse des données en provenance de pistons instrumentés”, supervision Bernadette BOUCHON-MEUNIER, defence 04/05/2005.
- MARC Frédéric :
“Conception d'algorithmes temps réel pour la planification réactive et la réorganisation dynamique fondée sur une approche multi-agents”, supervision Amal EL FALLAH SEGHROUCHNI, defence 03/17/2005.
- OUSSENA Baya :
“Recherche et parallélisation d'un algorithme de traitement et de compression d'images médicales avec sauvegarde”, supervision René ALT, defence 02/21/2005.
- NGUYEN-DUC Minh :
“Vers la conception participative de simulation sociales”, supervision Alexis DROGOUL, defence 02/01/2005.
- LESOT Marie-Jeanne :
“Classification non supervisée pour la visualisation de données structurées et la construction de prototypes”, supervision Bernadette BOUCHON-MEUNIER, defence 01/31/2005.
- MOUILLET Laure :
“Modélisation, reconnaissance et apprentissage de scénarios de conflits ethno-politiques”, supervision Bernadette BOUCHON-MEUNIER, defence 01/25/2005.
- REIS DOS SANTOS LOPES Alda :
“Un modèle interactif de recherche d'information de documents structurés spécifié par des grammaires attribuées”, supervision Patrick GALLINARI, defence 01/24/2005.
- CHARIKHI Mourad :
“Contrôle dynamique du calcul d'intégrales multiples”, supervision Jean-Marie CHESNEAUX, defence 01/14/2005.
- NJIKE FOTZO Hermine :
“Structuration Automatique de Corpus Textuels par Apprentissage Automatique”, supervision Patrick GALLINARI, defence 12/21/2004.
- FODIL Idir Bahaa :
“Architectures de gestion par politiques des services dans les réseaux d'accès internet”, supervision Guy PUJOLLE, defence 12/20/2004.
- CORRE Olivier :
“Gestion dynamique de services par politiques dans un réseau d'opérateur de télécommunications”, supervision Guy PUJOLLE, defence 12/20/2004.
- BERTIER Marin :
“Service de détection de défaillances hiérarchique”, supervision Pierre SENS, defence 12/16/2004.
- DENOYER Ludovic :
“Apprentissage et inférence statistique dans les bases de documents structurés : Application aux corpus de documents textuels”, supervision Patrick GALLINARI, defence 12/15/2004.
- FABRIZIO Jonathan :
“Localisation d'obstacles coopératifs par systèmes de vision classiques et paranoramiques”, supervision Jean DEVARS, defence 12/15/2004.
- THIERRY-MIEG Yann : “Techniques for Model-checking of high-level specifications”, supervision Fabrice KORDON, defence 12/13/2004.
- LOCHIN Emmanuel :
“Qualité de service dans l'Internet : Garantie de débit TCP dans la classe AF”, supervision Serge FDIDA, defence 12/10/2004.
- BOUABDALLAH Nizar :
“Agrégation distribuée dans Les réseaux optiques”, supervision Guy PUJOLLE, defence 12/10/2004.
- BARDET Magali :
“Étude des systèmes algébriques surdéterminés. Applications aux codes correcteurs et à la cryptographie”, supervision Jean-Charles FAUGÈRE, defence 12/08/2004.
- OMHOVER Jean-François :
“Recherche d'Images par similarité de contenus régionaux”, supervision Bernadette BOUCHON-MEUNIER, defence 12/06/2004.
- JULIEN David :
“GOLIATH: un environnement à base de modèles et d'agents pour la conception d'interfaces utilisateur”, supervision Jean-Pierre BRIOT, defence 12/02/2004.
- MEDDOUR Djamal Eddine :
“Architecutre flexible pour le mise en œuvre de la qualité de service dans les réseau ad hoc”, supervision Eric HORLAIT, defence 12/02/2004.
- CHAOUCHI Hakima :
“Contrôle de la mobilité Universelle dans les réseaux sans fil et mobile”, supervision Guy PUJOLLE, defence 10/25/2004.
- KOUADRI MOSTEFAOUI Ghita : “Towards a Conceptual and Software Framework for Integrating Context-Based Security in Pervasive Environments”, supervision Patrick BRÉZILLON, defence 10/11/2004.
- KISSI Mohamed :
“Conception et élaboration d'un système expert pour le traitement d'information chimique”, supervision Bernadette BOUCHON-MEUNIER, defence 10/08/2004.
- EL HADOUAJ Sameh :
“Conception de comportements de résolution de conflits et de coordination: Application à une simulation multi-agent du trafic routier”, supervision Alexis DROGOUL, defence 09/30/2004.
- ZILS Aymeric :
“Extraction de descripteurs musicaux: une approche évolutionniste”, supervision Patrick GALLINARI, defence 09/30/2004.
- VATINLEN Bénédicte :
“Optimisation du routage dans les réseaux de télécommunications avec prise en compte de la qualité de service”, supervision Philippe CHRÉTIENNE, defence 09/23/2004.
- EDWARDS Margaret :
“Proposition d'outils pour évaluer la pertinence de descendre au niveau individu-centré pour des modèles d'utilisation de la ressource couplés à des modèles de ressource.”, supervision Jean-Pierre BRIOT, defence 09/17/2004.
- BEN AZZOUNA Nadia :
“Étude des méthodes d'échantillonnage des flux pour la mesure dans les réseaux large bande”, supervision Serge FDIDA, defence 09/17/2004.
- NGUYEN Tuan Loc :
“Archises (Architecture of Intelligent Semantic Services): Nouvelle Architecture pour la Création de Services à valeur ajoutée dans la Téléphonie sur IP”, supervision Guy PUJOLLE, defence 09/09/2004.
- MUNARETTO FONSECA Anelise :
“Le support de la qualité de service dans les réseaux sans fil et ad hoc”, supervision Guy PUJOLLE, defence 07/08/2004.
- JACQUIN DE MARGERIE Emmanuel :
“Histodiversité osseuse chez les oiseaux : signification fonctionnelle”, supervision Jacques CASTANET, defence 07/05/2004.
- GOURICHON Stéphane :
“Utilisation d'un compas visuel pour la navigation d'un robot mobile”, supervision Jean-Arcady MEYER, defence 07/02/2004.
- ROSET Hervé :
“Étude de la qualité de service de bout en bout dans un chemin d'un réseau passant par une constellation de satellites”, supervision Monique BECKER, defence 07/02/2004.
- MEURISSE Thomas :
“Simulation multi-agent : du modèle à l’opérationnalisation”, supervision Jean-Pierre BRIOT, defence 07/01/2004.
- COLLOBERT Ronan :
“Algorithmes Pour Grandes Bases de Données”, supervision Patrick GALLINARI, defence 06/28/2004.
- DA SILVA GONCALVES Paulo André :
“Analyse et Performances des Mécanismes d'agrégation de l'information de Contrôle”, supervision Guy PUJOLLE, defence 06/25/2004.
- KABALAN Nada :
“Un environnement de modélisation et de simulation des systèmes multi-agent en réseaux de télécommunication : nouvel environnement, outil et comportements”, supervision Dominique GAÏTI, defence 06/24/2004.
- ERMEL Erwan :
“Localisation et routage géographique dans les réseaux sans fil hétérogènes”, supervision Guy PUJOLLE, defence 06/21/2004.
- DUCHÊNE Cécile :
“Généralisation Cartographique par Agents Communicants : le modèle CartACom"”, supervision Jean-Pierre BRIOT, defence 06/11/2004.
- OGEL Frédéric :
“Micro-système d’exploitation dynamiquement reconfigurable”, supervision Bertil FOLLIOT, defence 05/21/2004.
- MARUKATAT Sanparith :
“Une approche générique pour la reconnaissance de signaux écrits en ligne”, supervision Patrick GALLINARI, defence 04/23/2004.
- CHAPELLE Olivier :
“Support Vector Machines: Principes d'induction, Réglage automatique et Connaissances à priori”, supervision Patrick GALLINARI, defence 04/02/2004.
- LOUTREL Marc :
“La carte à puces vue comme un objet communiquant sécurisé dans les réseaux sans fil”, supervision Guy PUJOLLE, defence 04/02/2004.
- BARD Sylvain :
“Méthodes d'évaluation de la qualité de données géographiques généralisées”, supervision Bernadette BOUCHON-MEUNIER, defence 01/26/2004.
- SEMPÉ François :
“Auto-organisation d'une collectivité de robots : application à l'activité de patrouille en présence de perturbations”, supervision Alexis DROGOUL, defence 01/26/2004.
- DELERUE Olivier :
“Spatialisation du son et programmation par contraintes : le système MusicSpace”, supervision Jean-François PERROT, defence 01/22/2004.
- DONNET Francois :
“Synthèse de co-processeurs pour systèmes intégrés”, supervision Ivan AUGE, defence 01/20/2004.
- VIDAL Juan-Carlos :
“Distribution d'Agents pour un Environnement Multi-Agents Ouvert et Dynamique”, supervision Jean-Pierre BRIOT, defence 01/09/2004.
- RENAULT Patricia :
“Étude et Conception d'un Outil d'Evaluation de Bruits sur les Lignes d'Alimentations pour les Circuits VLSI”, supervision Pirouz BAZARGAN SABET, defence 12/20/2003.
- REGEP Dan Marius :
“LfP : un langage de spécification pour supporter une démarche de développement par prototypage pour les systèmes répartis”, supervision Fabrice KORDON, defence 12/17/2003.
- DOUARD David :
“Méthodes de décomposition pour l¹analyse des performances des systèmes de production manufacturières en boucle fermée et de topologies générales”, supervision Yves DALLERY, defence 12/17/2003.
- RALAIVOLA Liva :
“Modélisation et apprentissage de systèmes et de concepts dynamiques”, supervision Florence D'ALCHÉ-BUC, defence 12/17/2003.
- VANBERGUE Diane :
“Conception de simulation multi-agents : application à la simulation des migrations intra-urbaines de la ville de Bogota”, supervision Alexis DROGOUL, defence 12/12/2003.
- NGUYEN Thi-Mai-Trang :
“La négociation de niveau de service pour les réseaux IP hétérogènes”, supervision Guy PUJOLLE, defence 12/10/2003.
- DELORT Jean-Yves :
“Modèles de navigation sur le Web basés sur le contenu”, supervision Bernadette BOUCHON-MEUNIER, defence 12/09/2003.
- SOULIER Eddie :
“Pas de titre”, supervision Jean-Charles POMEROL, defence 12/09/2003.
- SPATHIS Prométhée :
“Diffusion fiable : l'approche à soutien des routeurs”, supervision Serge FDIDA, defence 12/08/2003.
- ZIVIANI Artur :
“Protocole Multicast pour une architecture à différentiation de services”, supervision Serge FDIDA, defence 12/08/2003.
- KLAI Kais :
“Réseaux de Petri : Vérification Modulaire et Symbolique”, supervision Serge HADDAD, defence 12/01/2003.
- GHAMRI DOUDANE Yacine Mohammed :
“Support et gestion de la qualité de service dans les réseaux mobiles”, supervision Guy PUJOLLE, defence 11/26/2003.
- BONAMI Pierre :
“Algorithmes pour la résolution de programmes linéaires en nombres entiers généraux”, supervision Michel MINOUX, defence 10/21/2003.
- ACHIR Nadjib :
“Distribution de la video multi-objets dans des réseaux hétérogènes”, supervision Guy PUJOLLE, defence 10/09/2003.
- SENOUCI Sidi-Mohammed :
“Application de techniques d'apprentissage dans les réseaux mobiles”, supervision Guy PUJOLLE, defence 10/09/2003.
- FONSECA Mauro Sergio :
“Architectures basées sur les politiques et SLA pour la gestion et le contrôle des services et réseaux multidomaines émergeants”, supervision Nazim AGOULMINE, defence 09/11/2003.
- PIWOWARSKI Benjamin :
“Techniques d'apprentissage pour le traitement d'informations structurées : application à la recherche d'information”, supervision Patrick GALLINARI, defence 07/17/2003.
- SIOLAS Georges :
“Analyse et classification de données structurées par machines à points de support”, supervision Florence D'ALCHÉ-BUC, defence 07/11/2003.
- DONCIEUX Stéphane :
“Développement, apprentissage et évolution d'architectures de contrôle pour animats volants”, supervision Jean-Arcady MEYER, defence 06/23/2003.
- BEN SAÏD Lamjed :
“Simulation multiagents des consommateurs”, supervision Alexis DROGOUL, defence 06/13/2003.
- VACHON Eric :
“Langage d'interrogation de vidéos”, supervision Anne DOUCET, defence 05/19/2003.
- LANDAU Samuel :
“Comportements collectifs dans les systèmes multi-robots”, supervision Alexis DROGOUL, defence 01/17/2003.
- HUGUENEY Bernard :
“Représentation symbolique de courbes numériques”, supervision Bernadette BOUCHON-MEUNIER, defence 01/10/2003.
- HUGUES Louis :
“Developping learning and acting abilities for Autonomous Robots”, supervision Alexis DROGOUL, defence 12/19/2002.
- TRÉBUCHET Philippe :
“Vers une résolution stable et rapide des équations algébriques”, supervision Daniel LAZARD, defence 12/16/2002.
- COURTINE Mélanie :
“Regroupement conceptuel de données structurées pour la fouille de données”, supervision Jean-Gabriel GANASCIA, defence 12/13/2002.
- KNIPPEL Arnaud :
“Modèles et algorithmes de multiflots à coût discontinu pour l'optimisation réseaux de télécommunications”, supervision Michel MINOUX, defence 06/26/2001.