AIM: Automated Input Set Minimization for Metamorphic Security Testing (Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand), soumis à TOSEM 2024, téléchargement

A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Yoann Marquer, Tania Richmond), ARITH (Rang A) 2020, téléchargement

Axiomatization and characterization of BSP algorithms (Yoann Marquer, Frédéric Gava), JLAMP (Rang B) 2019 : téléchargement

2020 : Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution (Frédéric Gava, Yoann Marquer), IJPP International Journal of Parallel Programming (Rang B), HAL 03189898, modèle de calcul parallèle

2019 : Axiomatization and characterization of BSP algorithms (Yoann Marquer, Frédéric Gava), JLAMP Journal of Logical and Algebraic Methods in Programming (Rang B), modèle de calcul parallèle

2019 : Algorithmic Completeness of Imperative Programming Languages (Yoann Marquer), FI Fundamenta Informaticae (Rang B), HAL 02524486, modèle de calcul séquentiel

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), DATE Design, Automation & Test in Europe Conference & Exhibition (Rang B), HAL 04108237, chaîne d'outils pour la sécurité

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), PEPM The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Rang B/C), HAL 03805561, sécurisation logicielle

2020 : A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Yoann Marquer, Tania Richmond), ARITH 27th IEEE International Symposium on Computer Arithmetic (Rang A), HAL 02889212, sécurisation logicielle

2019 : Type-Driven Verification of Non-functional Properties (Christopher Brown, Adam Barwell, Yoann Marquer, Céline Minh, Olivier Zendra), PPDP 21st International Symposium on Principles and Practice of Programming Languages 2019 (Rang B), HAL 02314723, propriétés non-fonctionnelles

2018 : An Axiomatization for BSP Algorithms (Yoann Marquer, Frédéric Gava), ICA3PP 18th International Conference on Algorithms and Architectures for Parallel Processing (Rang B), modèle de calcul parallèle

2018 : Algorithmic Completeness for BSP Languages (Yoann Marquer, Frédéric Gava), HPCS The 2018 International Conference on High Performance Computing and Simulation (Rang B), modèle de calcul parallèle

2020 : The Indistinguishability Approach: Quantifying Security in the TeamPlay Project (Yoann Marquer, Annelie Heuser, Olivier Zendra), HiPEAC High Performance Embedded Architecture and Compilation - Workshop on Time, Energy and Security Analysis for Multicore Heterogenous Platforms, quantification des vulnérabilités

2015 : Imperative characterization of Polynomial Time Algorithms (Yoann Marquer, Pierre Valarcher), DICE Developments in Implicit Computational Complexity, modèle de calcul séquentiel

2015 : Imperative characterization of Polynomial Time Algorithms (Yoann Marquer, Pierre Valarcher), JAF Journées sur les Arithmétiques Faibles 34, modèle de calcul séquentiel

2014 : Algorithmic Completeness of Imperative Programming Languages (Yoann Marquer, Pierre Valarcher), JAF Journées sur les Arithmétiques Faibles 33, modèle de calcul séquentiel

2016 : An Imperative Language Characterizing PTIME Algorithms (Yoann Marquer, Pierre Valarcher)), CSLI Publications Studies in Weak Arithmetics, modèle de calcul séquentiel

2021 : A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version) (Yoann Marquer, Tania Richmond, Pascal Véron), HAL 03157804, sécurisation logicielle

2018 : Proving Formally a Field-Based FSSP Solution (Yoann Marquer, Luidnel Maignan, Jean-Baptiste Yunès), HAL 01739317, preuve de correction

2018 : An ASM Thesis for BSP (Yoann Marquer, Frédéric Gava), HAL 01717647, modèle de calcul parallèle

2018 : Algorithmic Completeness of BSP Languages (Yoann Marquer, Frédéric Gava), HAL 01742406, modèle de calcul parallèle

2015 : Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif et polynomial (Yoann Marquer), HAL 01280467, modèle de calcul séquentiel

2020 : A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Yoann Marquer, Tania Richmond), LACL Laboratoire d’Algorithmique, Complexité et Logique, sécurisation logicielle

2018 : Axiomatisation et caractérisation des algorithmes BSP (Yoann Marquer, Frédéric Gava), LACL Laboratoire d’Algorithmique, Complexité et Logique, 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), LIFO Laboratoire d'Informatique Fondamentale d'Orléans, 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), GREYC Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen, 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), LIPN Laboratoire d'Informatique de Paris Nord, modèle de calcul séquentiel

2013 : Complétude algorithmique des langages impératifs (Yoann Marquer, Pierre Valarcher), LACL Laboratoire d’Algorithmique, Complexité et Logique, 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, modèle de calcul séquentiel

2011 : Réalisabilité en logique classique (Yoann Marquer, Jean-Louis Krivine), stage de M2, opérateurs de contrôle

2011 : La résolvante de Galois (Yoann Marquer, Vincent Cossart), projet de M1, Journées Mathématiques des 20 ans de l'UVSQ, théorie de Galois

2009 : Les théorèmes d’incomplétude de Gödel (Yoann Marquer, Martin Andler), projet de licence, systèmes de preuve