Pierre-Malo Deniélou

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 2

Top Topics

Probabilistic Automata

Security Analysis

Language Constructs

Top Venues

Found. Trends Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49 (1) (2016)
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. CoRR (2015)
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84 (6) (2015)
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
Structuring Communication with Session Types. Concurrent Objects and Beyond (2014)
Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. ICALP (2) (2013)
Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types CoRR (2013)
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
Parameterised Multiparty Session Types Log. Methods Comput. Sci. 8 (4) (2012)
Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty Session Types Meet Communicating Automata. ESOP (2012)
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC (2011)
Pierre-Malo Deniélou, Nobuko Yoshida
Dynamic multirole session types. POPL (2011)
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou
Secure Execution of Distributed Session Programs PLACES (2010)
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
Parameterised Multiparty Session Types. FoSSaCS (2010)
Pierre-Malo Deniélou, Nobuko Yoshida
Buffered Communication Analysis in Distributed Multiparty Sessions. CONCUR (2010)
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF (2009)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
A secure compiler for session abstractions. J. Comput. Secur. 16 (5) (2008)
Ricardo Corin, Pierre-Malo Deniélou
A Protocol Compiler for Secure Sessions in ML. TGC (2007)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
Secure Implementations for Typed Session Abstractions. CSF (2007)
Pierre-Malo Deniélou, James J. Leifer
Abstraction preservation and subtyping in distributed languages. ICFP (2006)