icona publicationsPublications

Sara Capecchi @DBLP | @Google Scholar

Di seguito, l'elenco delle mie pubblicazioni:

Journals


  1. Sara Capecchi, Elena Giachino, and Nobuko Yoshida, Global escape in multi-party sessions, Mathematical Structures in Computer Science, 2016
  2. Sara Capecchi, Ilaria Castellani, and Mariangiola Dezani-Ciancaglini, Information flow safety in multiparty sessions, Mathematical Structures in Computer Science, 2015.
  3. Sara Capecchi, Ilaria Castellani, and Mariangiola Dezani-Ciancaglini, Typing access control and secure information flow in sessions, Information and Computation, 2014.
  4. Lorenzo Bettini, Sara Capecchi, and Ferruccio Damiani, On Flexible dynamic trait replacement for Java-like languages, Science of Computer Programming, 78(7):907 - 932, 2013.
  5. Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, and Betti Venneri, Deriving session and union types for objects, Mathematical Structures in Computer Science, 23:1163-1219, 12 2013.
  6. Lorenzo Bettini, Sara Capecchi, Betti Venneri, Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account RAIRO-Theor. Inf. Appl. 43 (2009) 517-565
  7. Lorenzo Bettini, Sara Capecchi, Betti Venneri, Featherweight Java with Dynamic and Static Overloading, Science of Computer Programming, pp 261-278 vol. 74, no. 5-6 2009.
  8. Sara Capecchi, Mariangiola Dezani-Ciancaglini, Mario Coppo, Sophia Drossopoulou, Elena Giachino Amalgamating Sessions and Methods in Object Oriented Languages with Generics, Theoretical Computer Science, pp142-167. vol. 410 no. 2-3. 2009.
  9. Lorenzo Bettini, Sara Capecchi, Elena Giachino, Featherweight Wrap Java: wrapping objects and methods Journal of Object Technology. pp. 5-29. vol. 7 no. 2. 2008.
  10. Lorenzo Bettini, Sara Capecchi, Betti Venneri, Double Dispatch in C++ Software - Practice and Experience. pp. 581 - 613. vol. 36 no. 6. 2006.

International conferences


  1. Lorenzo Bettini, Sara Capecchi, VDML4RS: a tool for reputation systems modeling and design, 2016, SSE`16: 8th International Workshop on Social Software Engineering
  2. Sara Capecchi, Mauro Giraudo, Claudia Negro, Paola Pisano, Schooladvise: Designing a Reputation System for Educational Services through Service Design and Business Modeling, 2015, IEEE International Conference on e-Business Engineering
  3. Sara Capecchi, Paola Pisano, Reputation by design: using VDML and ServiceML for reputation systems modeling, 2014, IEEE International Conference on e-Business Engineering
  4. Viviana Bono, Sara Capecchi, Ilaria Castellani, and Mariangiola Dezani- Ciancaglini, A reputation system for multirole sessions, In TGC'11, volume 7173 of LNCS, pages 1-24. Springer, 2011.
  5. Sara Capecchi, Ilaria Castellani, and Mariangiola Dezani-Ciancaglini. Information flow safety in multiparty sessions, EXPRESS, volume 64 of EPTCS, pages 16-30, 2011.
  6. Sara Capecchi, Elena Giachino, and Nobuko Yoshida Global escape in multiparty sessions. In FSTTCS, volume 8 of LIPIcs, pages 338-351. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
  7. Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Tamara Rezk Session Types for Access and Information Flow Control 21st International Conference on Concurrency Theory (CONCUR'10), 2010.
  8. S. Capecchi, A. Troina Types for BioAmbients, Proceedings of From Biology To Concurrency and back, FBTCB, 2010
  9. L. Bettini,S. Capecchi, F. Damiani. A Mechanism for Flexible Dynamic Trait Replacement Proceedings of the 11th international Workshop on Formal Techniques For Java-Like Programs FTfJP, 2009
  10. F. Barbanera, S. Capecchi, U. de'Liguoro Typing Asymmetric Client-Server Interaction Fundamentals of Software Engineering Third IPM International Conference, LNCS: Programming and Software Engineering , Vol. 5961, 2009
  11. L. Bettini, S. Capecchi, B. Venneri A safe implementation of dynamic overloading in Java-like languages Fundamentals of Software Engineering Third IPM International Conference, FSEN, LNCS: Programming and Software Engineering , Vol. 5961. ISBN: 978- 3-642-11622-3, 2009
  12. L. Bettini, S. Capecchi, M. Dezani-Ciancaglini, E. Giachino, B. Venneri Session and Union Types for Object Oriented Programming Concurrency, Graphs and Models. Book Series Lecture Notes in Computer Science. Volume 5065/2008. pp 659-680, 2008
  13. L. Bettini, S. Capecchi, B. Venneri. Featherweight Java with Multi-Methods Proc. of Principles and Practices of Programming in Java (PPPJ) vol 272. pp 83-92. ACM Press, 2007
  14. L. Bettini, S. Capecchi, E. Giachino Featherweight Wrap Java Proc. of SAC (The 22nd Annual ACM Symposium on Applied Computing), Special Track on Object-Oriented Programming Lannguages and Systems (OOPS). pp 1094-1100. ACM Press, 2007
  15. L. Bettini, S. Capecchi, B. Venneri. Translating Double-Dispatch into Single-Dispatch. Proc. of Int. Workshop on Object-Oriented Developments (WOOD) pp. 59-78. ENTCS vol. 138 no. 2. Elsevier. 2005.
  16. L. Bettini, S. Capecchi, B. Venneri Extending Java to dynamic object behaviours Proc. of Int. Workshop on Object-Oriented Developments (WOOD). pp. 1-20 ENTCS. no. 82. Elsevier. 2003.