Yoann Marquer

According to our database, Yoann Marquer authored at least 12 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AIM: Automated Input Set Minimization for Metamorphic Security Testing.

Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand

CoRR, 2024

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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

Proceedings of the PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17, 2022

2021

A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version).

Yoann Marquer, Tania Richmond, Pascal Véron

CoRR, 2021

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.

Yoann Marquer, Tania Richmond

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

2019

Axiomatization and characterization of BSP algorithms.

Yoann Marquer, Frédéric Gava

J. Log. Algebraic Methods Program., 2019

Algorithmic Completeness of Imperative Programming Languages.

Yoann Marquer

Fundam. Informaticae, 2019

Type-Driven Verification of Non-functional Properties.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2018

Algorithmic Completeness for BSP Languages.

Yoann Marquer, Frédéric Gava

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

An Axiomatization for BSP Algorithms.

Yoann Marquer, Frédéric Gava

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

2015

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

PhD thesis, 2015