Yoann Marquer

17 papers A 1C 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
SAGA: Detecting Security Vulnerabilities Using Static Aspect Analysis.
CoRR
Yoann Marquer, Domenico Bianculli, Lionel C. Briand
2025 J jnl
A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers.
CoRR
Yoann Marquer, Domenico Bianculli
2025 — conf
Introduction to Quantum Software Engineering.
PROFES (Workshop)
Yoann Marquer, Domenico Bianculli
2024 J jnl
AIM: Automated Input Set Minimization for Metamorphic Security Testing.
CoRR
Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand
2024 J jnl
AIM: Automated Input Set Minimization for Metamorphic Security Testing.
IEEE Trans. Software Eng.
Nazanin Bayati Chaleshtari, Yoann Marquer, Fabrizio Pastore, Lionel C. Briand
2023 A conf
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.
DATE
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
2023 J jnl
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.
CoRR
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
2022 — conf
Semi-automatic ladderisation: improving code security through rewriting and dependent types.
PEPM@POPL
Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu
2021 J jnl
A Hole in the Ladder: Interleaved Variables in Iterative Conditional Branching (Extended Version).
CoRR
Yoann Marquer, Tania Richmond, Pascal Véron
2020 C conf
A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching.
ARITH
Yoann Marquer, Tania Richmond
2020 J jnl
Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution.
Int. J. Parallel Program.
Frédéric Gava, Yoann Marquer
2019 J jnl
Algorithmic Completeness of Imperative Programming Languages.
Fundam. Informaticae
Yoann Marquer
2019 J jnl
Axiomatization and characterization of BSP algorithms.
J. Log. Algebraic Methods Program.
Yoann Marquer, Frédéric Gava
2019 C conf
Type-Driven Verification of Non-functional Properties.
PPDP
Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
2018 — conf
Algorithmic Completeness for BSP Languages.
HPCS
Yoann Marquer, Frédéric Gava
2018 — conf
An Axiomatization for BSP Algorithms.
ICA3PP (3)
Yoann Marquer, Frédéric Gava
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