Dr Pierre-Malo Denielou

  1. 2013
  2. Published

    Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

    Denielou, P-M. & Yoshida, N., 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). 2013 ed. Springer, Vol. 7966. p. 174 186 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 2012
  4. Published

    Parameterised Multiparty Session Types

    Deniélou, P-M., Yoshida, N., Bejleri, A. & Hu, R., 11 Oct 2012, In : Logical Methods in Computer Science. 8, 4, p. 1-46 46 p., 6.

    Research output: Contribution to journalArticle

  5. Published

    Asynchronous distributed monitoring for multiparty session enforcement

    Chen, T-C., Honda, K., Bocchi, L., Deniélou, P-M. & Yoshida, N., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7173 LNCS. p. 25-45 21 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  6. Published

    Multiparty Session Types Meet Communicating Automata

    Deniélou, P-M. & Yoshida, N., 2012, Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. Seidl, H. (ed.). Springer, p. 194-213 20 p. (Lecture Notes in Computer Science; vol. 7211).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2011
  8. Published

    Secure Execution of Distributed Session Programs

    Alves, N., Hu, R., Yoshida, N. & Deniélou, P-M., 19 Oct 2011, In : Electronic Proceedings in Theoretical Computer Science.

    Research output: Contribution to journalArticle

  9. Published

    Dynamic Multirole Session Types

    Denielou, P-M. & Yoshida, N., 2011, POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. NEW YORK: ACM, p. 435-446 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2010
  11. Published

    Buffered Communication Analysis in Distributed Multiparty Sessions

    Denielou, P-M. & Yoshida, N., 2010, CONCUR 2010 - CONCURRENCY THEORY. Gastin, P. & Laroussinie, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 343-357 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Published

    Parameterised Multiparty Session Types

    Yoshida, N., Denielou, P-M., Bejleri, A. & Hu, R., 2010, FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS. Ong, L. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 128-145 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. 2009
  14. Published

    Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

    Bhargavan, K., Corin, R., Denielou, P-M., Fournet, C. & Leifer, J. J., 2009, PROCEEDINGS OF THE 22ND IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 124-140 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. 2008
  16. Published

    A secure compiler for session abstractions

    Corin, R., Deniélou, P-M., Fournet, C., Bhargavan, K. & Leifer, J., 1 Jan 2008, In : Journal of Computer Security. 16, 5, p. 573-636 64 p.

    Research output: Contribution to journalArticle

  17. Published

    A protocol compiler for secure sessions in ML

    Corin, R. & Denielou, P-M., 2008, TRUSTWORTHY GLOBAL COMPUTING. Barthe, G. & Fournet, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 276-293 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. 2007
  19. Published

    Secure implementations for typed session abstractions

    Corin, R., Denielou, P-M., Fournet, C., Bhargavan, K. & Leifer, J., 2007, 20th IEEE Computer Security Foundations Symposium (CSFS20), Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 170-186 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. 2006
  21. Published

    Abstraction preservation and subtyping in distributed languages

    Deniélou, P-M. & Leifer, J. J., 1 Jan 2006, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Reppy, J. H. & Lawall, J. L. (eds.). ACM, Vol. 2006. p. 286-297 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution