Nombre de documents

17

CV de Elena Giachino


Communication dans un congrès10 documents

  • Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun. Time complexity of concurrent programs: a technique based on behavioural types. FACS 2015, Oct 2015, Niterói, Rio de Janeiro, Brazil. <hal-01229068>
  • Elena Giachino, Cosimo Laneve. Deadlock Detection in Linear Recursive Programs. Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 2014, Jun 2014, Bertinoro, Italy. pp.26 - 64, 2014, <10.1007/978-3-319-07317-0_2>. <hal-01091747>
  • Elena Giachino, Naoki Kobayashi, Cosimo Laneve. Deadlock Analysis of Unbounded Process Networks. CONCUR 2014 - Concurrency Theory - 25th International Conference, Sep 2014, Rome, Italy. pp.63 - 77, 2014, <10.1007/978-3-662-44584-6_6>. <hal-01091749>
  • Elena Giachino, Cosimo Laneve. Towards the Typing of Resource Deployment. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. pp.88 - 103, 2014, <10.1007/978-3-662-45231-8_7>. <hal-01091748>
  • Elena Giachino, Ivan Lanese, Claudio Antares Mezzina. Causal-Consistent Reversible Debugging. FASE 2014, Apr 2014, Grenoble, France. Springer, 8411, pp.370 - 384, 2014, Lecture Notes in Computer Science. <10.1007/978-3-642-54804-8_26>. <hal-01089270>
  • Ornela Dardha, Elena Giachino, Michael Lienhardt. A Type System for Components. Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti. SEFM - International Conference on Software Engineering and Formal Methods - 2013, 2013, Madrid, Spain. Springer, 8137, pp.167-181, 2013, Lecture Notes in Computer Science; Software Engineering and Formal Methods. <10.1007/978-3-642-40561-7_12>. <hal-00909310>
  • Elena Giachino, Carlo A. Grazia, Cosimo Laneve, Michael Lienhardt, Peter Wong. DeadLock Analysis of Concurrent Objects ― Theory and Practice. Einar Broch Johnsen and Luigia Petr. IFM - 10th International Conference on integrated Formal Methods - 2013, 2013, Turku, Finland. Springer, 7940, pp.394-411, 2013, Lecture Notes in Computer Science; Integrated Formal Methods. <10.1007/978-3-642-38613-8_27>. <hal-00909311>
  • Elena Giachino, Cosimo Laneve. A Beginner's Guide to the DeadLock Analysis Model. TGC, 2012, Newcastle, United Kingdom. Springer, 8191, pp.49-63, 2013, Lecture Notes in Computer Science. <hal-00909309>
  • Ornela Dardha, Elena Giachino, Davide Sangiorgi. Session types revisited. Danny De Schreye and Gerda Janssens and Andy King. Principles and Practice of Declarative Programming, PPDP'12, 2012, Unknown, ACM, pp.139--150, 2012. <hal-00909389>
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani. Foundation of Session Types. 11th ACM SIGPLAN Conference on Principles and practice of declarative programming, 2009, Portugal. pp.219-230, 2009, <10.1145/1599410.1599437>. <hal-00334435v2>

Article dans une revue6 documents

  • Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, et al.. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. <10.1561/2500000031>. <hal-01348054>
  • Sara Capecchi, Elena Giachino, Nobuko Yoshida. Global Escape in Multiparty Sessions. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, <10.1017/S0960129514000164>. <hal-01336832>
  • Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Wong. Dynamic Rebinding for Concurrent Object Groups: Theory and Practice. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, <10.1016/j.jlamp.2016.03.002>. <hal-01337333>
  • Elena Giachino, Cosimo Laneve, Michael Lienhardt. A framework for deadlock detection in core ABS. Software and Systems Modeling, Springer Verlag, 2016, <10.1007/s10270-014-0444-y>. <hal-01229046>
  • Sara Capecchi, Elena Giachino, Nobuko Yoshida. Global Escape in Multiparty Sessions. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013. <hal-00909314>
  • Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri. Deriving session and union types for objects. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23, pp.1163--1219. <hal-00909312>

Chapitre d'ouvrage1 document

  • Elena Giachino, Stijn De Gouw, Cosimo Laneve, Behrooz Nobakht. Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 9660, Springer, pp.211-225, 2016, Lecture Notes in Computer Science, 978-3-319-30733-6. <10.1007/978-3-319-30734-3_15>. <hal-01336836>