https://dr-apeiron.net/ 2026-04-29T16:12:02+02:00 https://dr-apeiron.net/ https://dr-apeiron.net/lib/tpl/writr/images/favicon.ico text/html 2021-04-07T12:43:41+02:00 https://dr-apeiron.net/doku.php/fr:research:archives?rev=1617792221&do=diff Cette page regroupe mes anciens projets de recherche, qu'ils soient terminés ou non. Théorèmes de Gödel Comme j'étais alors en quête des fondements de la connaissance mon projet de licence porta sur la logique mathématiques, et particulièrement les théorèmes de Gödel : text/html 2025-03-13T20:47:29+02:00 https://dr-apeiron.net/doku.php/fr:research:models-computation?rev=1741895249&do=diff FIXME (outdated) Durant ma thèse j'ai prouvé des équivalences entre modèles de calcul en utilisant une simulation mutuelle, mettant en pratique l'identité des indiscernables. J'ai caractérisé des classes temporelles d'algorithmes en utilisant des restrictions syntaxiques sur les langages de programmation impératifs, garantissant ainsi la complexité implicite des codes développés. Durant mon premier postdoc j'ai utilisé les automates cellulaires pour mieux comprendre la propagation de l'informat… text/html 2025-02-07T16:00:36+02:00 https://dr-apeiron.net/doku.php/fr:research:publications?rev=1738940436&do=diff Publications caractéristiques * AIM: Automated Input Set Minimization for Metamorphic Security Testing (Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand), TSE 2024 (Rang A* sur CORE et scimagojr), [téléchargement] * A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching text/html 2024-02-17T15:24:52+02:00 https://dr-apeiron.net/doku.php/fr:research:security?rev=1708179892&do=diff FIXME (outdated) Titre Mon second postdoc dans les équipes TAMIS puis DiverSE se déroule dans le cadre du projet européen TeamPlay, encadré par le chargé de recherche Olivier Zendra à Inria-Rennes. Ce projet vise à permettre au développeur d'avoir accès aux