Concepedia

Romain Demangeon

RD

4

Publications

138

Citations

4

H-Index

2010

Active since

Affiliations

Imperial College London(Current)

Sorbonne Université

Queen Mary University of London

Romain Demangeon is an author at Imperial College London specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsFormal VerificationCommunicationComputer ScienceProgram AnalysisAutomated ReasoningArtsVerificationData Security

Publications per year

2010–2017

4

Publications

4

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Romain Demangeon, Kohei Honda, Raymond Hu et al. · Formal Methods in System Design · 2014 · 60 citations

Engineering, Verification, Computer-aided Verification +18

Monitoring networks through multiparty session types

Laura Bocchi, Tzu‐Chun Chen, Romain Demangeon et al. · Theoretical Computer Science · 2017 · 52 citations · Full text

Termination in higher-order concurrent calculi

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi · The Journal of Logic and Algebraic Programming · 2010 · 15 citations

Engineering, Concurrent Programming, Concurrency Theory +4

On the Expressiveness of Multiparty Sessions

Romain Demangeon, Nobuko Yoshida · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 11 citations · Full text

Engineering, Computer Architecture, Concurrent System +18

Rows per page

1–4 of 4