Caractérisation impérative des algorithmes séquentiels en temps quelconque, primitif récursif ou polynomial. (Imperative characterization of sequential algorithms in general, primitive recursive or polynomial time). - Yoann Marquer (2015)

An Axiomatization for BSP Algorithms. - Yoann Marquer; Frédéric Gava (ICA3PP (3), 2018)

Algorithmic Completeness for BSP Languages. - Yoann Marquer; Frédéric Gava (HPCS, 2018)

Type-Driven Verification of Non-functional Properties. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Céline Minh; Olivier Zendra (PPDP, 2019)

Algorithmic Completeness of Imperative Programming Languages. - Yoann Marquer (Fundam. Informaticae, 2019)

Axiomatization and characterization of BSP algorithms. - Yoann Marquer; Frédéric Gava (J. Log. Algebraic Methods Program., 2019)

A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching. - Yoann Marquer; Tania Richmond (ARITH, 2020)

Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution. - Frédéric Gava; Yoann Marquer (Int. J. Parallel Program., 2020)

A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version). - Yoann Marquer; Tania Richmond; Pascal Véron (CoRR, 2021)

Semi-automatic ladderisation: improving code security through rewriting and dependent types. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Olivier Zendra; Tania Richmond; Chen Gu (PEPM@POPL, 2022)

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. - Benjamin Rouxel; Christopher Brown 002; Emad Ebeid; Kerstin Eder; Heiko Falk; Clemens Grelck; Jesper Holst; Shashank Jadhav; Yoann Marquer; Marcos Martinez de Alejandro; Kris Nikov; Ali Sahafi; et al. (DATE, 2023)

AIM: Automated Input Set Minimization for Metamorphic Security Testing. - Nazanin Bayati Chaleshtari; Yoann Marquer; Fabrizio Pastore; Lionel C. Briand (Zenodo, 2024)

AIM: Automated Input Set Minimization for Metamorphic Security Testing. - Nazanin Bayati Chaleshtari; Yoann Marquer; Fabrizio Pastore; Lionel C. Briand (Zenodo, 2024)

AIM: Automated Input Set Minimization for Metamorphic Security Testing. - Nazanin Bayati Chaleshtari; Yoann Marquer; Fabrizio Pastore; Lionel C. Briand (Zenodo, 2024)

AIM: Automated Input Set Minimization for Metamorphic Security Testing. - Nazanin Bayati Chaleshtari; Yoann Marquer; Fabrizio Pastore; Lionel C. Briand (IEEE Trans. Software Eng., 2024)

AIM: Automated Input Set Minimization for Metamorphic Security Testing. - Nazanin Bayati Chaleshtari; Yoann Marquer; Fabrizio Pastore; Lionel C. Briand (Zenodo, 2025)

A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers. - Yoann Marquer; Domenico Bianculli (CoRR, 2025)