Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
fr:research:publications [2024/02/11 18:57] apeiron [Conférences internationales avec comité et actes publiés] |
fr:research:publications [2024/02/22 11:48] (Version actuelle) apeiron [Publications caractéristiques] |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| ====== Publications caractéristiques ====== | ====== Publications caractéristiques ====== | ||
| - | * //Axiomatization and characterization of BSP algorithms// (**Yoann Marquer**, Frédéric Gava), [[https://www.sciencedirect.com/science/article/abs/pii/S2352220818301354|JLAMP]] ([[http://portal.core.edu.au/jnl-ranks/80/|Rang B]]) 2019 : {{ :fr:research:paperbsp.pdf | téléchargement}} | + | * //AIM: Automated Input Set Minimization for Metamorphic Security Testing// (Nazanin Bayati Chaleshtari, **Yoann Marquer**, Fabrizio Pastore, Lionel C. Briand), [[https://arxiv.org/abs/2402.10773|soumis à TOSEM]] 2024, {{ :fr:research:tosem2024.pdf|téléchargement}} |
| * //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]) 2020, {{ :fr:research:paperladder.pdf |téléchargement}} | * //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[http://arith2020.arithsymposium.org|ARITH]] ([[https://www.gdr-soc.cnrs.fr/conferences/|Rang A]]) 2020, {{ :fr:research:paperladder.pdf |téléchargement}} | ||
| + | * //Axiomatization and characterization of BSP algorithms// (**Yoann Marquer**, Frédéric Gava), [[https://www.sciencedirect.com/science/article/abs/pii/S2352220818301354|JLAMP]] ([[http://portal.core.edu.au/jnl-ranks/80/|Rang B]]) 2019 : {{ :fr:research:paperbsp.pdf | téléchargement}} | ||
| Ligne 25: | Ligne 26: | ||
| ===== Conférences internationales avec comité sans acte publié ===== | ===== Conférences internationales avec comité sans acte publié ===== | ||
| - | * 2020 : //The Indistinguishability Approach: Quantifying Security in the TeamPlay Project// (Yoann Marquer, Annelie Heuser, Olivier Zendra), [[https://www.hipeac.net/2020/bologna|HiPEAC]] High Performance Embedded Architecture and Compilation - Workshop on Time, Energy and Security Analysis for Multicore Heterogenous Platforms, [[fr:research:security#quantification_des_vulnerabilites_par_canal_auxiliaire|quantification des vulnérabilités]] | + | * 2020 : //The Indistinguishability Approach: Quantifying Security in the TeamPlay Project// (**Yoann Marquer**, Annelie Heuser, Olivier Zendra), [[https://www.hipeac.net/2020/bologna|HiPEAC]] High Performance Embedded Architecture and Compilation - Workshop on Time, Energy and Security Analysis for Multicore Heterogenous Platforms, [[fr:research:security#quantification_des_vulnerabilites_par_canal_auxiliaire|quantification des vulnérabilités]] |
| - | * 2015 : //Imperative characterization of Polynomial Time Algorithms// (Yoann Marquer, Pierre Valarcher), [[http://dice15.computing.dundee.ac.uk|DICE]] Developments in Implicit Computational Complexity, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2015 : //Imperative characterization of Polynomial Time Algorithms// (**Yoann Marquer**, Pierre Valarcher), [[http://dice15.computing.dundee.ac.uk|DICE]] Developments in Implicit Computational Complexity, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| - | * 2015 : //Imperative characterization of Polynomial Time Algorithms// (Yoann Marquer, Pierre Valarcher), [[http://www.dolich.com/jaf|JAF]] Journées sur les Arithmétiques Faibles 34, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2015 : //Imperative characterization of Polynomial Time Algorithms// (**Yoann Marquer**, Pierre Valarcher), [[http://www.dolich.com/jaf|JAF]] Journées sur les Arithmétiques Faibles 34, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| - | * 2014 : //Algorithmic Completeness of Imperative Programming Languages// (Yoann Marquer, Pierre Valarcher), [[https://flov.gu.se/english/research/research-areas/logic/jaf33|JAF]] Journées sur les Arithmétiques Faibles 33, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2014 : //Algorithmic Completeness of Imperative Programming Languages// (**Yoann Marquer**, Pierre Valarcher), [[https://flov.gu.se/english/research/research-areas/logic/jaf33|JAF]] Journées sur les Arithmétiques Faibles 33, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| Ligne 35: | Ligne 36: | ||
| ====== Livres et chapitres de livre ====== | ====== Livres et chapitres de livre ====== | ||
| - | * 2016 : //An Imperative Language Characterizing PTIME Algorithms// (Yoann Marquer, Pierre Valarcher)), [[https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575869537.shtml#|CSLI Publications]] Studies in Weak Arithmetics, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2016 : //An Imperative Language Characterizing PTIME Algorithms// (**Yoann Marquer**, Pierre Valarcher)), [[https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575869537.shtml#|CSLI Publications]] Studies in Weak Arithmetics, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| ====== Rapports ====== | ====== Rapports ====== | ||
| Ligne 41: | Ligne 42: | ||
| ===== Rapports techniques ===== | ===== Rapports techniques ===== | ||
| - | * 2021 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version)// (Yoann Marquer, Tania Richmond, Pascal Véron), [[https://hal.archives-ouvertes.fr/hal-03157804|HAL 03157804]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] | + | * 2021 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version)// (**Yoann Marquer**, Tania Richmond, Pascal Véron), [[https://hal.archives-ouvertes.fr/hal-03157804|HAL 03157804]], [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] |
| - | * 2018 : //Proving Formally a Field-Based FSSP Solution// (Yoann Marquer, Luidnel Maignan, Jean-Baptiste Yunès), [[https://hal.archives-ouvertes.fr/hal-01739317|HAL 01739317]], [[fr:research:models-computation#automates_cellulaires|preuve de correction]] | + | * 2018 : //Proving Formally a Field-Based FSSP Solution// (**Yoann Marquer**, Luidnel Maignan, Jean-Baptiste Yunès), [[https://hal.archives-ouvertes.fr/hal-01739317|HAL 01739317]], [[fr:research:models-computation#automates_cellulaires|preuve de correction]] |
| - | * 2018 : //An ASM Thesis for BSP// (Yoann Marquer, Frédéric Gava), [[https://hal.archives-ouvertes.fr/hal-01717647|HAL 01717647]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | + | * 2018 : //An ASM Thesis for BSP// (**Yoann Marquer,** Frédéric Gava), [[https://hal.archives-ouvertes.fr/hal-01717647|HAL 01717647]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] |
| - | * 2018 : //Algorithmic Completeness of BSP Languages// (Yoann Marquer, Frédéric Gava), [[https://hal.archives-ouvertes.fr/hal-01742406|HAL 01742406]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | + | * 2018 : //Algorithmic Completeness of BSP Languages// (**Yoann Marquer,** Frédéric Gava), [[https://hal.archives-ouvertes.fr/hal-01742406|HAL 01742406]], [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] |
| ===== Manuscrit de thèse ===== | ===== Manuscrit de thèse ===== | ||
| - | * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (Yoann Marquer), [[https://hal.archives-ouvertes.fr/tel-01280467|HAL 01280467]], [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**), [[https://hal.archives-ouvertes.fr/tel-01280467|HAL 01280467]], [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| Ligne 55: | Ligne 56: | ||
| ===== Séminaires ===== | ===== Séminaires ===== | ||
| - | * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (Yoann Marquer, Tania Richmond), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] | + | * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:security#securisation_logicielle_par_echelonnement|sécurisation logicielle]] |
| - | * 2018 : //Axiomatisation et caractérisation des algorithmes BSP// (Yoann Marquer, Frédéric Gava), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] | + | * 2018 : //Axiomatisation et caractérisation des algorithmes BSP// (**Yoann Marquer**, Frédéric Gava), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:models-computation#algorithmes_paralleles|modèle de calcul parallèle]] |
| - | * 2017 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (Yoann Marquer, Pierre Valarcher), [[https://www.univ-orleans.fr/lifo/|LIFO]] Laboratoire d'Informatique Fondamentale d'Orléans, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2017 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), [[https://www.univ-orleans.fr/lifo/|LIFO]] Laboratoire d'Informatique Fondamentale d'Orléans, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| - | * 2017 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (Yoann Marquer, Pierre Valarcher), [[https://www.greyc.fr/|GREYC]] Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2017 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), [[https://www.greyc.fr/|GREYC]] Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| - | * 2016 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (Yoann Marquer, Pierre Valarcher), [[https://lipn.univ-paris13.fr/fr/|LIPN]] Laboratoire d'Informatique de Paris Nord, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2016 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), [[https://lipn.univ-paris13.fr/fr/|LIPN]] Laboratoire d'Informatique de Paris Nord, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| - | * 2013 : //Complétude algorithmique des langages impératifs// (Yoann Marquer, Pierre Valarcher), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2013 : //Complétude algorithmique des langages impératifs// (**Yoann Marquer**, Pierre Valarcher), [[https://www.lacl.fr/fr/|LACL]] Laboratoire d’Algorithmique, Complexité et Logique, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| ===== Exposés ===== | ===== Exposés ===== | ||
| - | * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (Yoann Marquer, Pierre Valarcher), soutenance de thèse, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] | + | * 2015 : //Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial// (**Yoann Marquer**, Pierre Valarcher), soutenance de thèse, [[fr:research:models-computation#algorithmes_sequentiels|modèle de calcul séquentiel]] |
| - | * 2011 : //Réalisabilité en logique classique// (Yoann Marquer, Jean-Louis Krivine), stage de M2, [[fr:research:models-computation#realisabilite_classique|opérateurs de contrôle]] | + | * 2011 : //Réalisabilité en logique classique// (**Yoann Marquer**, Jean-Louis Krivine), stage de M2, [[fr:research:models-computation#realisabilite_classique|opérateurs de contrôle]] |
| - | * 2011 : //La résolvante de Galois// (Yoann Marquer, Vincent Cossart), projet de M1, [[http://lmv.math.cnrs.fr/evenements-scientifiques/journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'UVSQ, [[fr:research:archives#resolvante_de_galois|théorie de Galois]] | + | * 2011 : //La résolvante de Galois// (**Yoann Marquer**, Vincent Cossart), projet de M1, [[http://lmv.math.cnrs.fr/evenements-scientifiques/journees-mathematiques-des-20-ans|Journées Mathématiques]] des 20 ans de l'UVSQ, [[fr:research:archives#resolvante_de_galois|théorie de Galois]] |
| - | * 2009 : //Les théorèmes d’incomplétude de Gödel// (Yoann Marquer, Martin Andler), projet de licence, [[fr:research:archives#theoremes_de_goedel|systèmes de preuve]] | + | * 2009 : //Les théorèmes d’incomplétude de Gödel// (**Yoann Marquer**, Martin Andler), projet de licence, [[fr:research:archives#theoremes_de_goedel|systèmes de preuve]] |