Application process / Procédure de soumission d'une candidature

	No	Resarch team	Internship tutor	Resarch Center	Subject of the internship
	1	IN-SITU	Emmanuel Pietriga et Olivier Chapuis	Saclay	Adaptive Lenses: Content-aware Focus+Context Visualization
	2	IN-SITU	Olivier Chapuis	Saclay	Fitts\' law for non rectilinear trajectories
	3	SWING	Paul FLIPO	Rhône-Alpes	Google SketchUp et autres interfaces pour WIPLAN, simulateur de propagation radio indoor
	4	TRISKELL	Benoît Baudry et Benoît Combemale	Rennes	An Advanced Type System for Executable Metamodeling
	5	TRISKELL	Jean-Marc Jézéquel et Benoît Combemale	Rennes	Coping with Modular Modelling in fUML
	6	TRISKELL	Jean-Marc Jézéquel et Benoît Combemale	Rennes	From fUML to fMOF (a Foundational Subset for Executable Meta-Modelling)
	7	TRISKELL	Naouel Moha	Rennes	Evaluating the Design of Service-Based Applications
	9	TRISKELL	Naouel Moha	Rennes	Detection and Correction of Defects Using Aspect-Oriented Modeling Approaches
	12	ARTIS	Fabrice NEYRET	Rhône-Alpes	A voxel engine to render ultra-complex animated scenes in real-time
	13	POPS	Tahiry RAZAFINDRALAMBO	Lille	+ Algorithms for Mobile Wireless Sensor Deployment +
	14	E-MOTION	Fraichard Thierry	Rhône-Alpes	Design of a Human-Aware Navigation Scheme for a Robotic System
	15	E-MOTION	Fraichard Thierry (http://emotion.inrialpes.fr/fraichard)	Rhône-Alpes	Design of a Safe Navigation Scheme for a Robotic System in a Dynamic and Uncertain Environment
	16	E-MOTION	Fraichard Thierry (http://emotion.inrialpes.fr/fraichard)	Rhône-Alpes	Study of Inevitable Collision States, a Key Concept for Safe Robot Navigation
	17	TRISKELL	Benoit Baudry	Rennes	Sampling configurations in constrained search spaces
	20	E-MOTION	Spalanzani Anne	Rhône-Alpes	Autonomous Navigation in Uncertain Dynamic Environment
	21	IMARA	Arnaud de La Fortelle	Rocquencourt	Cooperative planning for cybercars
	22	LOGNET	Luigi Liquori	Sophia-Antipolis	myMed: a peer-to-peer mobile wireless network for Contents Delivery
	23	PLANETE	Thierry Turletti and Naveed Bin Rais	Sophia-Antipolis	New communication architecture for data delivery in heterogeneous networks prone to disruptions in connectivity
	24	PLANETE	Thierry Turletti	Sophia-Antipolis	Implementation of a multimedia evaluation toolkit for the ns-3 network simulator
	25	PLANETE	Thierry Turletti and Shafqat Ur Rehman	Sophia-Antipolis	Deep analysis of wireless experimentations
	26	EVASION	Franck Hétroy, Benjamin Gilles, Marie-Paule Cani	Rhône-Alpes	Leaf reconstruction from point cloud by template matching
	27	TOSCA	Madalina Deaconu / Samuel Herrmann / Antoine Lejay	Lorraine	Population Monte Carlo Methods in finance
	28	SARDES	Eric Rutten & Noël de Palma	Rhône-Alpes	Designing system administration loops using reactive and synchronous models
	29	PULSAR	CHARPIAT Guillaume	Sophia-Antipolis	Shape priors for object detection in images
	30	LEAR	Matthieu Guillaumin, Jakob Verbeek, Cordelia Schmid	Rhône-Alpes	Robust face descriptors in uncontrolled settings
	31	IBIS	Delphine Ropers and Hidde de Jong	Rhône-Alpes	Analysis of bacterial regulatory networks : models, methods, and experiments
	32	TOSCA	Madalina Deaconu, Samuel Herrmann, Antoine Lejay	Lorraine	Weather derivatives
	33	MADYNES	Rémi Badonnel	Lorraine	Vulnerability Management in Autonomic Networks and Systems
	34	MADYNES	Abdelkader Lahmadi & Olivier Festor	Lorraine	Automated Generation of Protection Rules from Complex SIP protocol Vulnerabilities
	35	COMMANDS	Bonnans Frédéric	Saclay	Analysis and applications of optimal control problems with singular arcs
	36	DART	Anne Etien	Lille	Metamodel evolution and impact analysis on the transformations – the Gaspard framework case study.
	37	EVASION	Eric Bruneton	Rhône-Alpes	Animated trees in large scale landscapes
	38	PULSAR	F. Bremond and E. Corvee	Sophia-Antipolis	People detection by combining specific detectors
	42	PULSAR	F. Bremond	Sophia-Antipolis	Gait Analysis from homecare videos.
	44	PULSAR	Daniel Zullo	Sophia-Antipolis	Performance evaluation for video surveillance systems.
	45	PULSAR	MOISAN SABINE	Sophia-Antipolis	Model Driven Run Time Supervision of Processing Chains
	46	PULSAR	MOISAN SABINE	Sophia-Antipolis	A Model-Driven Tool to Configure and Generate Video Surveillance Systems
	47	SISYPHE	ZHANG Qinghua	Rocquencourt	Quantized Identification for Systems Operating in Communication Networks
	48	TOSCA	Mireille Bossy et Antoine Rousseau	Sophia-Antipolis	Stochastic Downscaling Method
	49	GEMO	Ioana Manolescu, Alin Tilea, Spyros Zoupanos	Saclay	Analyzing and improving performance in peer-to-peer Web data management
	50	GEMO	Ioana Manolescu, Alin Tilea, Spyros Zoupanos	Saclay	Distributed optimization in ViP2P
	51	MAIA	Joerg Hoffmann	Lorraine	Efficient Compliance Checking for Business Processes
	52	CAMUS	Philippe Clauss	Lorraine	Profiling and modeling object accesses in Java programs
	53	CORTEX	MARTINEZ Dominique	Lorraine	Smellphone: odour learning and recognition with a mobile phone
	55	SYMBIOSE	Coste François	Rennes	Learning grammars on genomic sequences
	58	LICIT	Daniel Le Métayer	Rhône-Alpes	Privacy by design
	59	SYMBIOSE	Rumen Andonov	Rennes	Matching in a bipartite graphs and maximum cardinality clique problem
	60	SYMBIOSE	Rumen Andonov and Dominique Lavenier	Rennes	Parallel Algorithms for Optimization Problems on Graphs
	61	MEXICO	Stefan Haar	Saclay	Diagnosability verification in concurrent systems
	62	MEXICO	Stefan Haar	Saclay	Conformance testing with concurrency
	64	ALGORILLE	Martin Quinson	Lorraine	Model-Checking Distributed Algorithms with PlusCal
	65	MEXICO	Thomas Chatain	Saclay	Comparison and Translation between Timed and Concurrent Models
	67	MEXICO	Stefan Schwoon	Saclay	Summary computation for Boolean programs
	68	MEXICO	Stefan Haar	Saclay	Probabilistic diagnosability for asynchronous discrete event systems
	69	CASSIS	Rusinowitch Michael	Lorraine	Secure composition of web services
	70	ALGORILLE	Martin Quinson	Lorraine	Solving Scalability Issues in SimGrid Network Simulation
	71	COMORE	Gouzé Jean-Luc, Chaves madalena	Sophia-Antipolis	Mathematical and computational analysis of genetic regulatory networks
	72	D-NET	Guillaume Chelius	Rhône-Alpes	From the bio-logging of individuals to the analysis and modeling of a population spatial dynamics
	73	BIGS	Thierry BASTOGNE, Pierre VALLOIS, Jean-Marie MONNEZ	Lorraine	Sensitivity analysis of large dynamical models. Application to a model of the photodynamic therapy
	74	BIGS	Thierry BASTOGNE, Jean-Marie MONNEZ, Anne-Sophie CHRETIEN	Lorraine	Computational Reconstruction of Protein-Protein Interaction Networks
	75	MASCOTTE	Nicolas NISSE and David COUDERT	Sophia-Antipolis	"Computation of \""good\"" graph decompositions and applications"
	76	PULSAR	Annie Ressouche	Sophia-Antipolis	Composition and Formal Validation in a component based platform dedicated to ubiquitous application design.
	77	PARIS	Christine Morin / Jérôme Gallard	Rennes	How to use XtreemOS as an IaaS (Infrastructure as a Service) provider?
	78	PARIS	Christine Morin / Jérôme Gallard	Rennes	How to efficiently deploy and manage virtual machines at grid level?
	79	MOSEL	Pascal Fontaine et Stephan Merz	Lorraine	Replaying SMT proofs within Proof Assistants
	80	MOSEL	Pascal Fontaine	Lorraine	Methods for efficient SMT solving
	81	IMARA	Ernst Thierry	Rocquencourt	Development of a Linux IPv6 Vehicular Mobile Router
	82	PERCEPTION	Peter Sturm, Simone Gasparini	Rhône-Alpes	Implementation of a real time structure from motion algorithm for special effects
	83	CORTEX	Axel Hutt	Lorraine	Attractor dynamics in the olfaction of insects
	84	CORTEX	.	Lorraine	Frequency analysis in Local Field Potentials
	85	BUNRAKU	Marc Christie and Fabrice Lamarche	Rennes	A motion graph approach to perform character tracking with a virtual camera
	86	MAESTRO	Konstantin Avrachenkov	Sophia-Antipolis	Clustering large graphs by random walk methods
	87	DOLPHIN	Youssef Hamadi, Bilel Derbel, El-Ghazali Talbi	Lille	Local Search based DCOP Algorithms for Communication Networks
	88	DIONYSOS	Anthony Baire	Rennes	A modular graphical interface for test reports presentation
	89	DIONYSOS	Anthony Baire	Rennes	Virtualization of interoperability testing platform
	90	Dionysos	VIHO Cesar	Rennes	Scheduling multiple flows in HSDPA
	93	Dionysos	VIHO Cesar	Rennes	Dynamic QoE-based admission control in mobile network
	94	Dionysos	VIHO Cesar	Rennes	Combining encoding mechanisms for efficient video streaming over Internet
	95	IMARA	Ernst Thierry	Rocquencourt	Deployment of an IPv6 Security Platform
	96	MExICo	Benedikt Bollig, Paul Gastin, Marc Zeitoun	Saclay	Dynamic Communicating Automata
	97	MExICo	Benedikt Bollig, Paul Gastin, Marc Zeitoun	Saclay	Quantitative versus probabilistic logics
	98	.	Mamadou Mboup	Saclay	Neuronal spike train detection
	99	MExICo	Benedikt Bollig, Paul Gastin, Marc Zeitoun	Saclay	Synthesis of Distributed Real-Time Systems
	100	MExICo	Benedikt Bollig, Paul Gastin, Marc Zeitoun	Saclay	Temporal Logic for Concurrent Recursive Programs
	101	MAESTRO	Giovanni Neglia, Utku Acer	Sophia-Antipolis	Routing in Quasi-Deterministic Delay Tolerant Networks
	102	MAESTRO	Alberto Blanc, Sara Alouf	Sophia-Antipolis	Implementation of a flow-aware mechanism in ns-3 network simulator
	103	CASSIS	Abdessamad IMINE	Lorraine	Safe and Efficient Strategies for Updating XML-based Access Control Policies
	104	POP ART	Gregor Goessler, Daniel Le Métayer	Rhône-Alpes	Causality for assume/guarantee-contracts
	105	PULSAR	Annie Ressouche	Sophia-Antipolis	Data Interpretation in a Synchronous Language
	106	TAO	Cécile Germain-Renaud	Saclay	Characterizing the spatiotemporal structure and dynamics of e-science social networks
	107	CASSIS	Abdessamad IMINE	Lorraine	CONTROLLING ACCESS FOR REPLICATED XML DOCUMENTS
	109	CLIME	Dominique Béréziat	Rocquencourt	Estimation de flot optique par assimilation de données, approche probabiliste
	110	REGAL	Marc Shapiro / Lamia Benmouffok	Rocquencourt	Data structures for a large-scale social network
	111	REGAL	Marc Shapiro / Olivier Pérès	Rocquencourt	Theory and Practice of Distributed Collaborative Editing
	112	REGAL	Marc Shapiro	Rocquencourt	Security in peer-to-peer co-operative applications
	113	GEOSTAT	Khalid DAOUDI	Bordeaux	Modélisation du signal de la parole par des HMM et mélanges de distributions de Dirichlet
	114	CEPAGE	Nicolas Hanusse, David Ilcinkas, Ralf Klasing	Bordeaux	Distributed construction of a spanner in high dimension
	115	CEPAGE	Nicolas Hanusse, David Ilcinkas, Ralf Klasing	Bordeaux	Fault-tolerant mobile agent computing
	116	CEPAGE	Nicolas Hanusse, David Ilcinkas, Ralf Klasing	Bordeaux	Searching and dissemination of information by mobile agents
	117	MASCOTTE	Joanna Moulierac	Sophia-Antipolis	Design of networks with low power consumption
	118	TRIO	Liliana CUCU-GROSJEAN & Olivier ZENDRA	Lorraine	Real-time feedback scheduling with multicriteria optimization
	119	PARIS	Cédric Tedeschi/Thierry Priol	Rennes	Distributed and Fault-tolerant Multiset for Chemical Computing
	120	SEQUOIA	Pupin Maude	Lille	Bioinformatics annotation of specific enzymes
	121	GRAAL	Frédéric Desprez & Frédéric Suter	Rhône-Alpes	Opportunist Co-Scheduling of Biological Applications
	122	ALGORILLE	Lucas Nussbaum	Lorraine	Accurate Emulation of Processor and Memory in Wrekavoc
	124	CEPAGE	Olivier Beaumont, Nicolas Bonichon, Lionel Eyraud-Dubois	Bordeaux	Divisible Load Scheduling Under Bounded Multi-Port Model
	125	KERDATA	Gabriel Antoniu, Luc Bougé	Rennes	Security and client monitoring for cloud storage services
	126	KERDATA	Gabriel Antoniu, Luc Bougé	Rennes	Enabling data sharing through BlobSeer on a Nimbus-based cloud platform
	127	TRIO	Nicolas Navet and Liliana Cucu-Grosjean	Lorraine	Implementation of fixed-priority scheduling policies in a component-based context
	128	APIS	Pierre R. Bertrand	Saclay	Analyse de signa phyliologique multivarié
	129	APIS	Pierre Bertrand	Saclay	Change point detection in time series
	130	MASCOTTE	Stéphane Perennes	Sophia-Antipolis	Distributed Broadcast and Multicast protocols
	131	MASCOTTE	Stéphane Pérennes and Frédéric Giroire	Sophia-Antipolis	Study of P2P video streaming algorithms
	132	MASCOTTE	COUDERT David	Sophia-Antipolis	"Routing reconfiguration in WDM networks"
	133	PRIMA	Frédéric Devernay	Rhône-Alpes	View interpolation in stereoscopic 3D video
	134	DEFI	Haddar	Saclay	Qualitative methods for time domain inverse scattering
	135	TALARIS	Jean-Charles Lamirel	Lorraine	Setting up and testing new incremental clustering methods : application to textual data analysis and mining
	136	TALARIS	Jean-Charles LAMIREL	Lorraine	Combination of hyperbolic visualization and graph-based techniques for organizing multidimensional clustering results
	137	DEFI	Armin Lechleiter et Houssem Haddar	Saclay	Un probleme inverse en hydrodynamique / An Inverse Problem in Hydrodynamics
	138	MAGNOME	David Sherman	Bordeaux	Bioinformatics web services for high-throughput comparative genomics
	140	AXIS	AUFAURE Marie-Aude	Rocquencourt	Social network analysis
	142	MOSCOVA	Francesco Zappa Nardelli	Rocquencourt	Devilish execution of multithreaded programs
	143	GALEN	Nikos Paragios	Saclay	3D Knowledge-based Segmentation Using Higher-Order MRFs
	145	GALEN	Nikos Paragios and Effrosyni Kokiopoulou (ETH)	Saclay	Registration Using Atoms Representations and DC decomposition
	146	GALEN	Nikos Paragios & Michael Bronstein (Technion)	Saclay	Clustering Using LP-Sapbilities and Cross-Modality Metric Learning
	147	STEEP	Emmanuel Prados et Pierre-Yves Longaretti	Rhône-Alpes	designing a transport / land-use / energy / environment model at a local scale
	148	STEEP	Emmanuel Prados et Pierre-Yves Longaretti	Rhône-Alpes	designing a transport / land-use / energy / environment model at a local scale
	149	STEEP	Emmanuel Prados et Pierre-Yves Longaretti	Rhône-Alpes	designing a transport / land-use / energy / environment model at a local scale
	150	STEEP	Emmanuel Prados et Pierre-Yves Longaretti	Rhône-Alpes	designing a transport / land-use / energy / environment model at a local scale
	151	STEEP	Emmanuel Prados et Elise Arnaud	Rhône-Alpes	Sensitivity Analysis and quantification of uncertainties for energy/environment model
	152	STEEP	Emmanuel Prados et Elise Arnaud	Rhône-Alpes	Sensitivity Analysis and quantification of uncertainties for energy/environment model
	153	STEEP	Emmanuel Prados et Elise Arnaud	Rhône-Alpes	Comparison of two landscape simulation modellings: the SME and LEAM models
	154	STEEP	Emmanuel Prados et Elise Arnaud	Rhône-Alpes	Comparison of two landscape simulation modellings: the SME and LEAM models
	155	STEEP	Emmanuel Prados et Elise Arnaud	Rhône-Alpes	Setup of a landscape simulation modellings: the SME model