Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
fr:research:publications [2021/04/06 13:53]
apeiron [Séminaires]
fr:research:publications [2024/02/22 11:48] (Version actuelle)
apeiron [Publications caractéristiques]
Ligne 1: Ligne 1:
 +====== Publications caractéristiques ======
 +
 +  *  //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}}
 +  *  //​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}}
 +
 +
 ====== Journaux ====== ====== Journaux ======
  
-  * 2020 : //​Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution// (Frédéric Gava, Yoann Marquer), [[https://​link.springer.com/​article/​10.1007/​s10766-020-00669-9|IJPP]] International Journal of Parallel Programming ([[http://​portal.core.edu.au/​jnl-ranks/​452/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] +  * 2020 : //​Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution// (Frédéric Gava, **Yoann Marquer**), [[https://​link.springer.com/​article/​10.1007/​s10766-020-00669-9|IJPP]] International Journal of Parallel Programming ([[http://​portal.core.edu.au/​jnl-ranks/​452/​|Rang B]]), [[https://​hal.archives-ouvertes.fr/​hal-03189898|HAL 03189898]], [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] 
-  * 2019 : //​Axiomatization and characterization of BSP algorithms//​ (Yoann Marquer, Frédéric Gava), [[https://​www.sciencedirect.com/​science/​article/​abs/​pii/​S2352220818301354|JLAMP]] Journal of Logical and Algebraic Methods in Programming ([[http://​portal.core.edu.au/​jnl-ranks/​80/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] +  * 2019 : //​Axiomatization and characterization of BSP algorithms//​ (**Yoann Marquer,** Frédéric Gava), [[https://​www.sciencedirect.com/​science/​article/​abs/​pii/​S2352220818301354|JLAMP]] Journal of Logical and Algebraic Methods in Programming ([[http://​portal.core.edu.au/​jnl-ranks/​80/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] 
-  * 2019 : //​Algorithmic Completeness of Imperative Programming Languages// (Yoann Marquer), [[https://​content.iospress.com/​articles/​fundamenta-informaticae/​fi1824|FI]] Fundamenta Informaticae ([[http://​portal.core.edu.au/​jnl-ranks/​301/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] +  * 2019 : //​Algorithmic Completeness of Imperative Programming Languages// (**Yoann Marquer**), [[https://​content.iospress.com/​articles/​fundamenta-informaticae/​fi1824|FI]] Fundamenta Informaticae ([[http://​portal.core.edu.au/​jnl-ranks/​301/​|Rang B]]), [[https://hal.archives-ouvertes.fr/hal-02524486|HAL 02524486]], [[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 (non classé), [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]]+
  
  
Ligne 11: Ligne 17:
 ===== Conférences internationales avec comité et actes publiés ===== ===== Conférences internationales avec comité et actes publiés =====
  
-  * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (Yoann Marquer, Tania Richmond), [[http://​arith2020.arithsymposium.org|ARITH]] 27th IEEE International Symposium on Computer Arithmetic ([[https://​www.gdr-soc.cnrs.fr/​conferences/​|Rang A]]), [[fr:​research:​security#​securisation_logicielle_par_echelonnement|sécurisation logicielle]] +  ​* 2023 : //The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems// (Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, **Yoann Marquer**, Marcos Martinez De Alejandro, Kris Nikov, Ali Sahafi, Ulrik Pagh Schultz Lundquist, Adam Seewald, Vangelis Vassalos, Simon Wegener, Olivier Zendra), [[https://​date23.date-conference.com/​|DATE]] Design, Automation & Test in Europe Conference & Exhibition ([[http://​portal.core.edu.au/​conf-ranks/​421/​|Rang B]]), [[https://​hal.science/​hal-04108237|HAL 04108237]], [[fr:​research:​security#​chaine_d_outils_pour_la_securite|chaîne d'​outils pour la sécurité]] 
-  * 2019 : //​Type-Driven Verification of Non-functional Properties//​ (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), [[http://​ppdp2019.macs.hw.ac.uk|PPDP]] 21st International Symposium on Principles and Practice of Programming Languages 2019 ([[http://​portal.core.edu.au/​conf-ranks/​1176/​|Rang B]]), [[fr:​research:​security#​expression_et_contrats_des_proprietes_extra-fonctionnelles|expressivité et contrats]] +  * 2022 : //​Semi-automatic Ladderisation:​ Improving Code Security through Rewriting and Dependent Types// (Christopher Brown, Adam D. Barwell, **Yoann Marquer**, Olivier Zendra, Tania Richmond, Chen Gu), [[https://​popl22.sigplan.org/​home/​pepm-2022|PEPM]] The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ([[http://​portal.core.edu.au/​conf-ranks/​50/​|Rang B/C]]), [[https://​hal.science/​hal-03805561|HAL 03805561]], [[fr:​research:​security#​securisation_logicielle_par_echelonnement|sécurisation logicielle]] 
-  * 2018 : //An Axiomatization for BSP Algorithms//​ (Yoann Marquer, Frédéric Gava), [[http://​nsclab.org/​ica3pp2018/​index.html|ICA3PP]] 18th International Conference on Algorithms and Architectures for Parallel Processing ([[http://​portal.core.edu.au/​conf-ranks/​905/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] +  ​* 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (**Yoann Marquer**, Tania Richmond), [[http://​arith2020.arithsymposium.org|ARITH]] 27th IEEE International Symposium on Computer Arithmetic ([[https://​www.gdr-soc.cnrs.fr/​conferences/​|Rang A]]), [[https://​hal.archives-ouvertes.fr/​hal-02889212|HAL 02889212]], [[fr:​research:​security#​securisation_logicielle_par_echelonnement|sécurisation logicielle]] 
-  * 2018 : //​Algorithmic Completeness for BSP Languages// (Yoann Marquer, Frédéric Gava), [[http://​hpcs2018.cisedu.info|HPCS]] The 2018 International Conference on High Performance Computing and Simulation ([[http://​portal.core.edu.au/​conf-ranks/​653/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]]+  * 2019 : //​Type-Driven Verification of Non-functional Properties//​ (Christopher Brown, Adam Barwell, ​**Yoann Marquer**, Céline Minh, Olivier Zendra), [[http://​ppdp2019.macs.hw.ac.uk|PPDP]] 21st International Symposium on Principles and Practice of Programming Languages 2019 ([[http://​portal.core.edu.au/​conf-ranks/​1176/​|Rang B]]), [[https://​hal.archives-ouvertes.fr/​hal-02314723|HAL 02314723]], [[fr:​research:​security#​expression_et_contrats_des_proprietes_extra-fonctionnelles|propriétés non-fonctionnelles]] 
 +  * 2018 : //An Axiomatization for BSP Algorithms//​ (**Yoann Marquer**, Frédéric Gava), [[http://​nsclab.org/​ica3pp2018/​index.html|ICA3PP]] 18th International Conference on Algorithms and Architectures for Parallel Processing ([[http://​portal.core.edu.au/​conf-ranks/​905/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]] 
 +  * 2018 : //​Algorithmic Completeness for BSP Languages// (**Yoann Marquer**, Frédéric Gava), [[http://​hpcs2018.cisedu.info|HPCS]] The 2018 International Conference on High Performance Computing and Simulation ([[http://​portal.core.edu.au/​conf-ranks/​653/​|Rang B]]), [[fr:​research:​models-computation#​algorithmes_paralleles|modèle de calcul parallèle]]
  
 ===== 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), [[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), [[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), [[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), [[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]]
  
 +
 +
 +
 +====== 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]]
  
 ====== Rapports ====== ====== Rapports ======
Ligne 28: 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:​formal-methods#firing_squad_synchronization_problem|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]]
  
  
-====== ​Séminaires et exposés ​======+====== ​Présentations ​======
  
 ===== Séminaires ===== ===== Séminaires =====
  
-  * 2020 : //A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching// (Yoann Marquer), [[https://hal.archives-ouvertes.fr/tel-01280467|HAL 01280467]], [[fr:​research:​models-computation#​algorithmes_sequentiels|modèle de calcul séquentiel]] +  * 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]] 
 +  * 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]] 
 +  * 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]]
  
 ===== 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]]
 +  * 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]]
 +  * 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]]