Raphaëlle Crubillé

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 16

Top Topics

Coloured Petri Nets

Symbolic Representation

Discrete Variables

Probabilistic Relational

Top Venues

Proc. ACM Program. Lang.

Publications

Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
Symbolic protocol verification with dice. J. Comput. Secur. 31 (5) (2023)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On Feller Continuity and Full Abstraction (Long Version). CoRR (2022)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On Feller continuity and full abstraction. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Vincent Cheval, Raphaëlle Crubillé, Steve Kremer
Symbolic protocol verification with dice: process equivalences in the presence of probabilities. CSF (2022)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. ESOP (2020)
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
On Higher-Order Cryptography (Long Version). CoRR (2020)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem. CoRR (2020)
Boaz Barak, Raphaëlle Crubillé, Ugo Dal Lago
On Higher-Order Cryptography. ICALP (2020)
Raphaëlle Crubillé
Probabilistic Stable Functions on Discrete Cones are Power Series (long version). CoRR (2018)
Raphaëlle Crubillé
Probabilistic Stable Functions on Discrete Cones are Power Series. LICS (2018)
Raphaëlle Crubillé, Ugo Dal Lago
Metric Reasoning About \lambda -Terms: The General Case. ESOP (2017)
Raphaëlle Crubillé, Ugo Dal Lago
Metric Reasoning About λ-Terms: The General Case (Long Version). CoRR (2017)
Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson
The Free Exponential Modality of Probabilistic Coherence Spaces. FoSSaCS (2017)
Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli
On Applicative Similarity, Sequentiality, and Full Abstraction. Correct System Design (2015)
Raphaëlle Crubillé, Ugo Dal Lago
Metric Reasoning about λ-Terms: the Affine Case (Long Version). CoRR (2015)
Raphaëlle Crubillé, Ugo Dal Lago
Metric Reasoning about λ-Terms: The Affine Case. LICS (2015)
Raphaëlle Crubillé, Ugo Dal Lago
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. ESOP (2014)
Raphaëlle Crubillé, Ugo Dal Lago
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version). CoRR (2014)