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 | |||
|
fr:research:publications [2025/02/07 15:59] apeiron [Journaux] |
fr:research:publications [2025/02/07 16:00] (Version actuelle) apeiron [Conférences internationales avec comité et actes publiés] |
||
|---|---|---|---|
| Ligne 19: | Ligne 19: | ||
| * 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é]] | * 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é]] | ||
| - | * 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]] | + | * 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]] {{ :fr:research:paperladder.pdf |téléchargement}} |
| * 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]] | * 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 : //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]] | ||