Pierre-Malo Deniélou

Most-cited papers

Multiparty Session Types Meet Communicating Automata
Pierre-Malo Deniélou, N. Yoshida
2012European Symposium on Programming197 citations Open access
Semantic Scholar
Behavioral Types in Programming Languages
D. Ancona, V. Bono, M. Bravetti, Joana Campos +15 more
2016Found. Trends Program. Lang.161 citations Open access
Semantic Scholar
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
Pierre-Malo Deniélou, N. Yoshida
2013International Colloquium on Automata, Languages and Programming151 citations Open access
Semantic Scholar
Dynamic multirole session types
Pierre-Malo Deniélou, N. Yoshida
2011ACM-SIGACT Symposium on Principles of Programming Languages149 citations Open access
Semantic Scholar
Parameterised Multiparty Session Types
Pierre-Malo Deniélou, N. Yoshida, Andi Bejleri, Raymond Hu
2010Log. Methods Comput. Sci.149 citations Open access
Semantic Scholar
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
K. Bhargavan, R. Corin, Pierre-Malo Deniélou, C. Fournet +1 more
2009IEEE Computer Security Foundations Symposium97 citations
Semantic Scholar
Foundations of Session Types and Behavioural Contracts
Hans Hüttel, Ivan Lanese, V. Vasconcelos, Luís Caires +8 more
2016ACM Computing Surveys78 citations Open access
Semantic Scholar
Secure Implementations for Typed Session Abstractions
R. Corin, Pierre-Malo Deniélou, C. Fournet, K. Bhargavan +1 more
2007IEEE Computer Security Foundations Symposium50 citations Open access
Semantic Scholar
Asynchronous Distributed Monitoring for Multiparty Session Enforcement
Tzu-Chun Chen, L. Bocchi, Pierre-Malo Deniélou, Kohei Honda +1 more
2011Trustworthy Global Computing46 citations
Semantic Scholar
Buffered Communication Analysis in Distributed Multiparty Sessions
Pierre-Malo Deniélou, N. Yoshida
2010International Conference on Concurrency Theory33 citations
Semantic Scholar
A secure compiler for session abstractions
R. Corin, Pierre-Malo Deniélou, C. Fournet, K. Bhargavan +1 more
2008Journal of computing and security31 citations Open access
Semantic Scholar
Structuring Communication with Session Types
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen +3 more
2014Concurrent Objects and Beyond25 citations
Semantic Scholar
Combining behavioural types with security analysis
M. Bartoletti, I. Castellani, Pierre-Malo Deniélou, M. Dezani-Ciancaglini +6 more
2015J. Log. Algebraic Methods Program.16 citations Open access
Semantic Scholar
Abstraction preservation and subtyping in distributed languages
Pierre-Malo Deniélou, J. Leifer
2006ACM SIGPLAN International Conference on Functional Programming11 citations
Semantic Scholar
A Protocol Compiler for Secure Sessions in ML
R. Corin, Pierre-Malo Deniélou
2007Trustworthy Global Computing8 citations
Semantic Scholar
Secure Execution of Distributed Session Programs
Nuno Alves, Raymond Hu, N. Yoshida, Pierre-Malo Deniélou
2011Places4 citations Open access
Semantic Scholar
Multiparty Session Types as Communicating Automata : Characterisation and Synthesis
Pierre-Malo Deniélou, N. Yoshida
20121 citations
Semantic Scholar
Dependent Session Types for Evolving Multiparty Communication Topologies
N. Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
20090 citations
Semantic Scholar
New Results - Sub-typing and abstraction safety in distributed languages
Pierre-Malo Deniélou, J. Leifer
20060 citations
Semantic Scholar