Adrien Durier

15 papers A* 1A 2B 1C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Polychronous RSS in a Process-Algebraic Framework - A Case Study.
ABZ
Paolo Crisafulli, Adrien Durier, Benjamin Puyobro, Burkhart Wolff
2025 — conf
Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations.
Rebeca for Actor Analysis in Action
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2022 J jnl
Eager Functions as Processes (long version).
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2022 J jnl
Eager functions as processes.
Theor. Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2022 A conf
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.
CSF
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
2021 J jnl
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.
ACM Trans. Program. Lang. Syst.
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2021 J jnl
Eager Functions as Processes.
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2021 J jnl
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.
CoRR
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
2020 J jnl
Towards 'up to context' reasoning about higher-order processes.
Theor. Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2020 A conf
Trace-Relating Compiler Correctness and Secure Compilation.
ESOP
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2020 — —
Unique solution techniques for processes and functions. (Techniques d'unicité des solutions pour processus concurrents et fonctions).
Adrien Durier
2019 J jnl
Divergence and unique solution of equations.
Log. Methods Comput. Sci.
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2018 J jnl
Divergence and unique solution of equations.
CoRR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2018 A* conf
Eager Functions as Processes.
LICS
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
2017 B conf
Divergence and Unique Solution of Equations.
CONCUR
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi