Sidebar
internships2013
Internships 2012/2013
- Techniques de compilation dédiées pour un langage spécifique à un domaine (SystemC)
Matthieu Moy, Verimag, Grenoble
- Performance Evaluation for Embedded Systems using Formal Methods
Matthieu Moy et Karine Altisen, Verimag, Grenoble
- Réduction de modèles à plusieurs échelles de temps en tant que réécriture de graphe
Ovidiu Radulescu / Biophysique théorique et biologie des systèmes, DIMNP UMR 5235, Montpellier
éventuellement, 2.19 & 2.6 - Model-Checking Techniques for Virus and Malware Detection
Tayssir TOUILI - LIAFA, Paris
1-22, 2.6, 2.9.1, 2.9.2 - Strategy hybridation for normative conflict resolution
Guillaume Piolle & Valérie Viet Triem Tong - Supélec, Rennes, France
Automated deduction, proof systems, proof assistants - Resource allocation in data centers: reliability vs energy consumption
Patrick Loiseau - EURECOM (Sophia-Antipolis)
- Interaction between game theory and statistical learning: the example of a spam filter
Patrick Loiseau - EURECOM (Sophia-Antipolis)
- Ordonnancement robuste de tâches pour la maintenance d'une unité de production d'électricité
Pierre Fouilhoux, LIP6
2-24-1 - Generalisations des matrices a signes alternants
Sylvie Corteel - LIAFA (175 rue du Chevaleret Paris)
C2-10, C2-15 - Frontière entre décidabilité et indécidabilité pour la finitude de groupes d'automates.
Ines Klimann, LIAFA (Université Paris Diderot)
2.16, 2.20.2 - ALGORITHMIQUE DES GRAPHES PLONGÉS SUR DES SURFACES: dessin de graphes
Luca Castelli Aleardi, Eric Fusy (LIX, Ecole Polytechnique)
2.38.1, 2.10 - Structures de données compactes pour les maillages
Luca Castelli Aleardi, Gilles Schaeffer (LIX, Ecole Polytechnique)
2.38.1, 2.10 - Hardware-based Privilege Separation for Cryptographic Protocol Implementations
Karthikeyan Bhargavan and Graham Steel
2.30, 2.36.1 - State-Space Reductions for Verifying Equivalences of Security Protocols
David Baelde and Stéphanie Delaune - LSV / ENS Cachan
2.30 / 2.3 - Verification of security protocols: composition issues
Véronique Cortier and Stéphanie Delaune - Nancy and/or Cachan
2.30 - Verification of equivalence properties in security protocols
Stéphanie Delaune and Steve Kremer - Cachan and/or Nancy
2.30 - Formalizing some combinatorial attacks in security protocols
Stéphanie Delaune and Steve Kremer - Cachan and/or Nancy
2.30 - Mise en oeuvre de l'outil de modélisation SCADE en conditions opérationnelles
Sébastien Poirieux - Astrium Les Mureaux
- Machines de Mealy et problème de Burnside
Matthieu Picantin, LIAFA (Université Paris Diderot)
2.16 & 2.20.2 - Patterns of quantitative temporal logic formulae for systems biology
François Fages - Inria Rocquencourt
C2-19 C2.9.1 - Computing Subgraph Epimorphisms by a Randomized Adaptive Search Procedure
François Fages - Inria Rocquencourt
C2-24-1 C2-29-1 C2-19 C2-10 - Diffusion chiffrée avec décentralisation de la gestion des membres
David Pointcheval - ENS
Cryptographie - Algorithmes de recherche des bassins d’attraction dans des graphes de modélisation des systèmes dynamiques complexes
Olivier Roux IRCCyN, Ecole Centrale de Nantes — Equipe MeForBio
2.19 (souhaitable); 2.6 (éventuellement) - Around a new algorithm to solve systems of linear equations modulo p
Charles Bouillaguet — LIFL Lab (Lille)
calcul formel, algorithmes randomisés, algorithmes pour la crypto - Réduction de modèles à plusieurs échelles de temps en tant que réécriture de graphe
Ovidiu Radulescu / Biophysique théorique et biologie des systèmes, DIMNP UMR 5235, Montpellier
éventuellement, 2.19 & 2.6 - Réduction de processus de frappe via leur sémantique différentielle
Olivier Roux: IRCCyN, Ecole Centrale de Nantes - Equipe MeForBio & Ovidiu Radulescu: Biophysique théorique et biologie des systèmes, DIMP UMR 5235, CNRS/Université de Montpellier 1&2
éventuellement, 2.19 & 2.6 - Optimisation du chiffrement homomorphe
N. El Mrabet and N. Gama - PRISM _ Université de Versailles
2.12.1, 2.12.2 - Définition d'un modèle temporisé du langage AltaRica.
Antoine RAUZY, Michel BATTEUX, Tatiana PROSVIRNOVA - LIX Polytechnique
- Tableaux et raisonnement arithmétique dans le compilateur Mezzo
François Pottier, INRIA Paris-Rocquencourt
2.4, 2.36.1 - Etude de la sécurité d’un mécanisme générique de délégation de calculs cryptographiques
Sébastien Canard - Orange Labs Caen
1.1; 1.13; 1.14; 1.22; 2.7.2; 2.12.1; 2.12.2; 2.22; 2.30 - Vérification formelle d'un calcul multiprécision de pi
Sylvie Boldo et Guillaume Melquiond - Orsay
2.7.1, 2.7.2, 2.22, 2.36.1 - Lier dynamique des maladies infectieuses et phylogénie
Samuel Alizon (CR CNRS, MIVEGEC) & Olivier Gascuel (DR CNRS, LIRMM)
- Interference abstractions for thread-modular static analyses by abstract interpretation
Antoine Miné - École normale supérieure, Paris
M2-6 - Déduction automatique modulo
David Delahaye, Damien Doligez, et Olivier Hermant - Inria Paris
2.5, 2.7.1, 2.7.2, 2.36.1 - Axiomatisation d'équivalence de programmes en Coq
Alan Schmitt - Inria Rennes
2.3, 2.4, 2.7.2, 2.36.1 - Traduction et extension d’un langage de description des protocoles de sécurité vers une algèbre de réseaux de Petri
Frédéric Gava and/or Franck Pommereau
- Certification en Coq d'une implantation distribuée de squelettes de flots.
Frédéric Gava and/Joel Falcou
- Statistical Aspects of Topologigal Data Analysis
Frédéric Chazal - INRIA Saclay (Bat. Turing, Campus de l'Ecole Polytechnique)
- Complexité de communication et langages d'images
Emmanuel Jeandel - LORIA (Nancy)
Fondations mathématiques de la théorie des automates, Théorie des calculs - Translation validation for synchronous data-flow equations in a Lustre compiler
Francesco Zappa Nardelli, Marc Pouzet, École normale supérieure
- Compilation of Zero-crossing Detection in Languages for Hybrid Systems
Marc Pouzet, Timothy Bourke — École normale supérieure
- Rewriting methods for homology computation
Pierre-Louis Curien / Yves Guiraud / Philippe Malbos / Samuel Mimram - PPS (Université Paris 7) / CEA Saclay
2.2 (modèles de langages de programmation), 2.4 (programmation fonctionnelle) - codes localement décodables et applications aux calculs déportés et au stockage distribué
Françoise Levy-dit-Vehel and Daniel Augot
2-13-2 - Analyse statique de programmes manipulant des structures de données complexes avec partage
Xavier Rival - DIENS
2.6 - Geometry and topology of curves: a symbolic numeric approach
Marc Pouget et Guillaume Moroz
2.22 2.13.1 - Sécurité des systèmes : mesures de l'opacité et des fuites d'information
B.Bérard, J. Mullins LIP6, UPMC et Ecole Polytechnique de Montréal
1-24 et 2.9.2 - Random generation of combinatorial objects
Ana Busic and Anne Bouillard - INRIA and ENS, Paris
2.10, 2.15, 2.17.1 - Interprétation fonctionnelle des systèmes de réécriture de mots (non associatifs)
Laurent Poinsot - LIPN, Université Paris 13
- Graphes de permutation circulaire et problèmes d'optimisation et dimension d'ordre
V. Limouzy - Limos - Clermont-Ferrand
2.29.1 - Nash equilibria in multiplayer infinite-state games
Patricia Bouyer, Nicolas Markey (LSV, Cachan)
2.8,2.20.1 - Mixed Nash equilibria in multiplayer concurrent games
Patricia Bouyer, Nicolas Markey (LSV, Cachan)
2.8,2.20.1 - Vérification formelle d’implémentations cryptographiques
Quang-Huy Nguyen - Versailles
2.4, 2.4, 2.9.2, 2.12.1, 2.12.2 - Génération de graphes de dépendances de programmes modulaires
Boris Yakobowski - CEA LIST (Saclay)
2.6, 2.92 - Connexité dans les grands graphes
David Coudert – Mascotte, INRIA, I3S, CNRS, Univ. Nice Sophia (Sophia Antipolis)
- Méthodes catégoriques pour la modélisation et la vérification d’architectures
David Chemouil, Julien Brunel - Onera Toulouse
- Un langage de programmation pour le contrôle des architectures logicielles à l’exécution
David Chemouil, Julien Brunel - Onera Toulouse
- Graphs with low forwarding index and few extra edge
Stephane Perennes and Frederic Giroire – Mascotte, INRIA, I3S, CNRS, Univ. Nice Sophia (Sophia Antipolis)
- Fractional Cops and Robber Games
Stephane Perennes and Ronan Pardo Soares – Mascotte, INRIA, I3S, CNRS, Univ. Nice Sophia (Sophia Antipolis)
- Pavages, assemblage et motifs interdits
Olivier Bodini, Thomas Fernique - Université Paris 13
1.24, 2.15 - The "Red Stone Model": a cellular automaton with conservation rules
A. Sportiello – LIPN, Univ. Paris 13
2.10, 2.15 - Combinatoire des pavages par dominos
Sylvie Corteel et Jeremi Bouttier - LIAFA Universite Paris Diderot
C2-10, C2-15 - Rétro-ingénierie de ligne de produits logiciels depuis le code source
Yves Le Traon (Université de Luxembourg), Tewfik Ziadi (LIP6)
- Reconstruction de graphe par un agent mobile disposant d'une vue locale
Jérémie Chalopin, LIF, Marseille
- Algorithmes approchés pour la recherche de k plus courts chemins dans des graphes acycliques, planaires et orientés : Application à la recherche de microARNs dans les génomes
Eric Angel (équipe OPAL) et Fariza Tahi (équipe AMIS), du laboratoire IBISC. Laboratoire IBISC, IBGBI, Université d'Evry, 23 Boulevard de France, 91000 Evry.
- Analysis of advanced travel search engines based on graph
Eric Madelaine - David Coudert, INRIA Sophia-Antipolis
Algorithmique distribuée pour les réseaux; Algorithmique des graphes - Domaines abstraits pour l'analyse de programmes avec mémoire dynamique
Constantin Enea & Mihaela Sighireanu, LIAFA
2.9.2, 2.6 - Efficient Data Structures for Next-Generaton Sequencing Data
LIGM, Marne-la-Vallée
Algorithmique, Algorithmique avancée - Efficient Data Structures for Next-Generaton Sequencing Data
Gregory Kucherov - LIGM, Marne-la-Vallée
Algorithmique, Algorithmique avancée - Privacy protection in log analysis
Kostas Chatzikokolakis, Catuscia Palamidessi (Ecole Polytechnique and INRIA)
2.3 (concurrency) - Preuve de programmes avec lieurs
Claude Marché, Andrei Paskevich - Université Paris-sud (LRI et INRIA Saclay)
2-36-1, 2-5, 2-7 - Réalisabilité des spécifications en logique temporelle épistémique.
Catalin DIMA, LACL, Université Paris-Est Créteil
- Synthese d'ensemble invariant maximal pour systemes a commande commutee { Application a l'electronique de puissance
L. Fribourg, E. Goubault - LSV, ENS Cachan
- Verification of concurrent programs under relaxed memory models
Ahmed Bouajjani - LIAFA, Univ Paris Diderot
2.9.2, 2.3, 2.9.1 - Apprentissage profond pour l’évaluation de la qualité d’images avec référence
GREYC UMR CNRS 6072, Caen
- Détection d'événements et/ou d'anomalies dans les dynamiques de graphe
Matthieu Latapy - LIP6 (CNRS, UPMC) - Paris
- La solvabilité dans le cadre des langages avec motifs
Antonio Bucciarelli et Delia Kesner - PPS, Bâtiment Sophie Germain, 5 rue Thomas Mann. 75205 Paris CEDEX 13
- Intégration et visualisation de données liées sur un référentiel géographique
Nathalie Abadie, Fayçal Hamdi - Saint-Mandé (métro : station Saint Mandé, ligne 1)
- Modélisation de mécanismes et Algorithmes incrémentaux de Calcul des Bases de Gröbner
JC Faugere et P Serre
2-13-1
internships2013.txt · Last modified: by amadio