Pierre-Malo Deniélou

19 papers A* 1A 4B 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
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
2016 J jnl
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv.
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
2015 J jnl
Combining behavioural types with security analysis.
CoRR
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
2015 J jnl
Combining behavioural types with security analysis.
J. Log. Algebraic Methods Program.
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
2014 — conf
Structuring Communication with Session Types.
Concurrent Objects and Beyond
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida
2013 J jnl
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
CoRR
Pierre-Malo Deniélou, Nobuko Yoshida
2013 — conf
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
ICALP (2)
Pierre-Malo Deniélou, Nobuko Yoshida
2012 A conf
Multiparty Session Types Meet Communicating Automata.
ESOP
Pierre-Malo Deniélou, Nobuko Yoshida
2012 J jnl
Parameterised Multiparty Session Types
Log. Methods Comput. Sci.
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
2011 — conf
Asynchronous Distributed Monitoring for Multiparty Session Enforcement.
TGC
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
2011 A* conf
Dynamic multirole session types.
POPL
Pierre-Malo Deniélou, Nobuko Yoshida
2010 B conf
Buffered Communication Analysis in Distributed Multiparty Sessions.
CONCUR
Pierre-Malo Deniélou, Nobuko Yoshida
2010 B conf
Parameterised Multiparty Session Types.
FoSSaCS
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
2010 — conf
Secure Execution of Distributed Session Programs
PLACES
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou
2009 A conf
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.
CSF
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer
2008 J jnl
A secure compiler for session abstractions.
J. Comput. Secur.
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
2007 — conf
A Protocol Compiler for Secure Sessions in ML.
TGC
Ricardo Corin, Pierre-Malo Deniélou
2007 A conf
Secure Implementations for Typed Session Abstractions.
CSF
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
2006 A conf
Abstraction preservation and subtyping in distributed languages.
ICFP
Pierre-Malo Deniélou, James J. Leifer