Equipes atuais : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Times anteriores : | ACASA AnimatLab MALIRE MLIA Phare REGAL SALSA SPI SPIRAL Whisper |
Antigos tópicos de pesquisa : | ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF |
- PONT Mathieu : “Analysis of Ensembles of Topological Descriptors”, direção de pesquisa Julien TIERNY, defesas 01/12/2023.
- HOURCADE Hugo : “Enumération de motifs temporels”, direção de pesquisa Emmanuel CHAILLOUX, defesas 16/05/2023.
- DELMAS David : “Static analysis of program portability by abstract interpretation”, direção de pesquisa Antoine MINÉ, defesas 28/11/2022.
- NIGRON Pierre : “Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing”, direção de pesquisa Julia LAWALL, defesas 17/11/2022.
- CHEN Yi-Ting : “Random generation of executions of concurrent systems”, direção de pesquisa Jean MAIRESSE, defesas 07/01/2022.
- VIDAL Jules : “Progressivity in Topological Data Analysis”, direção de pesquisa Julien TIERNY, defesas 08/12/2021.
- MONAT Raphaël : “Static Type and Value Analysis by Abstract Interpretation of Python Programs with Native C Libraries”, direção de pesquisa Antoine MINÉ, defesas 22/11/2021.
- PEPIN Martin : “Quantitative and algorithmic analysis of concurrent programs”, direção de pesquisa Antoine GENITRINI, defesas 29/09/2021.
- SALL Boubacar Demba : “Programmation impérative par raffinements avec l'assistant de preuve Coq”, direção de pesquisa Emmanuel CHAILLOUX, defesas 01/10/2020.
- ROUX Antoine Dimitri : “Streaming unidirectional auto-correcting codes through ELIPS-SD diods”, direção de pesquisa Michèle SORIA, Laurent FREREBEAU, Hervé DELPEYRAT, defesas 02/12/2019.
- JOURNAULT Matthieu : “Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference”, direção de pesquisa Antoine MINÉ, defesas 21/11/2019.
- VAROUMAS Steven : “High-level programming models for microcontrollers with scarce resources”, direção de pesquisa Tristan CROLARD, defesas 05/11/2019.
- ZIAT Ghiles : “A Combination of Abstract Interpretation and Constraint Programming”, direção de pesquisa Antoine MINÉ, defesas 03/07/2019.
- SOLER Maxime : “Large Data Reduction and Structure Comparison with Topological Data Analysis”, direção de pesquisa Julien TIERNY, defesas 20/06/2019.
- SUZANNE Thibault : “Verification by Abstract Interpretation Under Weakly Consistent Memory”, direção de pesquisa Antoine MINÉ, defesas 26/02/2019.
- GUEUNET Charles : “High Performance Level-set based Topological Data Analysis”, direção de pesquisa Julien TIERNY, defesas 15/02/2019.
- BOTBOL Vincent : “Static analysis of concurrent programs with numerical variables”, direção de pesquisa Emmanuel CHAILLOUX, defesas 13/09/2018.
- EL SIBAIE Rémy : “Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus mutltimédia riches”, direção de pesquisa Emmanuel CHAILLOUX, defesas 12/07/2018.
- DIEN Matthieu : “Concurrent process and combinatorics of increasingly labeled structures: quantitative analysis and random generation algorithms.”, direção de pesquisa Michèle SORIA, defesas 22/09/2017.
- DEHARBE Aurélien : “Resources analysis for concurrent and dynamic systems”, direção de pesquisa Michèle SORIA, defesas 21/09/2016.
- MILLON Etienne : “Security analysis of system code using static typing”, direção de pesquisa Emmanuel CHAILLOUX, defesas 10/07/2014.
- BOURGOIN Mathias : “Opengpu Project - Efficient abstractions for graphics cards”, direção de pesquisa Emmanuel CHAILLOUX, defesas 11/12/2013.
- MORCRETTE Basile : “Analytic Combinatorics and urn models”, direção de pesquisa Michèle SORIA, defesas 26/06/2013.
- LUMBROSO Jérémie : “Probabilistic Algorithms for Data Streaming and Random Generation”, direção de pesquisa Michèle SORIA, defesas 13/12/2012.
- WANG Philippe : “Applicative Languages and Abstract Machines for Structural Code Coverage”, direção de pesquisa Emmanuel CHAILLOUX, defesas 04/10/2012.
- ROUSSEL Olivier : “Générateur aléatoire de strutures ordonnées par le modèle de Boltzmann”, direção de pesquisa Michèle SORIA, defesas 25/09/2012.
- ZHAO Ting : “Dynamic Geometry and geometric Constrain Solving”, direção de pesquisa Dongming WANG, defesas 03/05/2012.
- WANG Xiaomin : “Deciding on the type of the degree distribution of a graph (network) from traceroute-like measurements”, direção de pesquisa Michèle SORIA, defesas 13/12/2011.
- CANOU Benjamin : “Programmation Web Typée”, direção de pesquisa Emmanuel CHAILLOUX, defesas 04/10/2011.
- BELHAOUARI Hakim : “Une approche intégrée pour la conception par contrat : vérification statique/dynamique et génération automatique de test”, direção de pesquisa Jacques MALENFANT, defesas 30/03/2010.
- DARRASSE Alexis : “Structures arborescentes complexes : analyse combinatoire, génération aléatoire et applications”, direção de pesquisa Michele SORIA, defesas 26/01/2010.
- PIVOTEAU Carine : “Génération aléatoire de structures combinatoires : méthode de Boltzmann effective”, direção de pesquisa Michèle SORIA, defesas 03/12/2008.