Seguir
Pierre-Malo Deniélou
Pierre-Malo Deniélou
Google Inc
Email confirmado em denielou.pm - Página inicial
Título
Citado por
Citado por
Ano
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
2752016
Multiparty session types meet communicating automata
PM Deniélou, N Yoshida
European Symposium on Programming, 194-213, 2012
2132012
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
1882016
Dynamic multirole session types
PM Deniélou, N Yoshida
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1782011
Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types
PM Deniélou, N Yoshida
International Colloquium on Automata, Languages, and Programming, 174-186, 2013
1602013
Cryptographic protocol synthesis and verification for multiparty sessions
K Bhargavan, R Corin, PM Deniélou, C Fournet, JJ Leifer
2009 22nd IEEE Computer Security Foundations Symposium, 124-140, 2009
1252009
Parameterised multiparty session types
N Yoshida, PM Deniélou, A Bejleri, R Hu
International Conference on Foundations of Software Science and …, 2010
1002010
Parameterised multiparty session types
PM Deniélou, N Yoshida, A Bejleri, R Hu
Logical Methods in Computer Science 8, 2012
932012
Asynchronous distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012
652012
Secure implementations for typed session abstractions
R Corin, PM Deniélou, C Fournet, K Bhargavan, J Leifer
20th IEEE Computer Security Foundations Symposium (CSF'07), 170-186, 2007
542007
A secure compiler for session abstractions
R Corin, PM Deniélou, C Fournet, K Bhargavan, J Leifer
Journal of Computer Security 16 (5), 573, 2008
392008
Buffered communication analysis in distributed multiparty sessions
PM Deniélou, N Yoshida
International Conference on Concurrency Theory, 343-357, 2010
372010
Structuring communication with session types
K Honda, R Hu, R Neykova, TC Chen, R Demangeon, PM Deniélou, ...
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014
332014
Combining behavioural types with security analysis
M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ...
Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015
162015
Foundations of behavioural types
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014
152014
Abstraction preservation and subtyping in distributed languages
PM Deniélou, JJ Leifer
ACM SIGPLAN Notices 41 (9), 286-297, 2006
142006
A protocol compiler for secure sessions in ML
R Corin, PM Deniélou
International Symposium on Trustworthy Global Computing, 276-293, 2007
92007
Secure Execution of Distributed Session Programs
N Alves, R Hu, N Yoshida, PM Deniélou
Arxiv preprint arXiv:1110.4156, 2011
42011
Distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
22011
Dependent Session Types for Evolving Multiparty Communication Topologies
N Yoshida, PM Deniélou, A Bejleri, R Hu
12009
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20