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
fr:research:publications [2024/02/12 10:22]
apeiron [Exposé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 ======
  
 +  *  //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}}   *  //​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}}