Yoann Marquer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2018–2025
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PROFES | Introduction to Quantum Software Engineering. | Yoann Marquer, Domenico Bianculli |
| 2025 | QCE | A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers. | Yoann Marquer, Domenico Bianculli |
| 2023 | DATE | 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 |
| 2022 | PEPM | Semi-automatic ladderisation: improving code security through rewriting and dependent types. | Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu |
| 2020 | ARITH | A Hole in the Ladder : Interleaved Variables in Iterative Conditional Branching. | Yoann Marquer, Tania Richmond |
| 2019 | PPDP | Type-Driven Verification of Non-functional Properties. | Christopher Brown, Adam D. Barwell, Yoann Marquer, Cline Minh, Olivier Zendra |
| 2018 | ICA3PP | An Axiomatization for BSP Algorithms. | Yoann Marquer, Frdric Gava |