Yoann Marquer

ORCID

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Venues

CoRR

HPCS

Fundam. Informaticae

J. Log. Algebraic Methods Program.

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand
AIM: Automated Input Set Minimization for Metamorphic Security Testing. CoRR (2024)
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
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. CoRR (2023)
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
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. DATE (2023)
Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu
Semi-automatic ladderisation: improving code security through rewriting and dependent types. PEPM@POPL (2022)
Yoann Marquer, Tania Richmond, Pascal Véron
A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version). CoRR (2021)
Yoann Marquer, Tania Richmond
A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching. ARITH (2020)
Frédéric Gava, Yoann Marquer
Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution. Int. J. Parallel Program. 48 (4) (2020)
Yoann Marquer
Algorithmic Completeness of Imperative Programming Languages. Fundam. Informaticae 168 (1) (2019)
Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
Type-Driven Verification of Non-functional Properties. PPDP (2019)
Yoann Marquer, Frédéric Gava
Axiomatization and characterization of BSP algorithms. J. Log. Algebraic Methods Program. 109 (2019)
Yoann Marquer, Frédéric Gava
An Axiomatization for BSP Algorithms. ICA3PP (3) (2018)
Yoann Marquer, Frédéric Gava
Algorithmic Completeness for BSP Languages. HPCS (2018)

Yoann Marquer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yoann Marquer