Publications
Sara Capecchi @DBLP | @Google Scholar
Di seguito, l'elenco delle mie pubblicazioni:
Journals
-
Livio Boglio, Sara Capecchi, Federico Peiretti, Dennis Sayed, Antonella Torasso, Ruggero Gaetano Pensa. A Social Network Simulation Game to Raise Awareness of Privacy among School Children.
IEEE Transactions on Learning Technologies, 2018. Available online.
-
Sara Capecchi, Elena Giachino, and Nobuko Yoshida, Global escape in multi-party sessions, Mathematical Structures in Computer Science, 2016
-
Sara Capecchi, Ilaria Castellani, and Mariangiola Dezani-Ciancaglini, Information
flow safety in multiparty sessions, Mathematical Structures in Computer
Science, 2015.
-
Sara Capecchi, Ilaria Castellani, and Mariangiola Dezani-Ciancaglini, Typing
access control and secure information flow in sessions, Information and Computation, 2014.
-
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.
-
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.
-
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
-
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.
-
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.
-
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.
-
Lorenzo Bettini, Sara Capecchi, Betti Venneri, Double Dispatch in C++
Software - Practice and Experience. pp. 581 - 613. vol. 36 no. 6. 2006.
International conferences
-
Lorenzo Bettini, Sara Capecchi, VDML4RS: a tool for reputation systems modeling and
design, 2016, SSE`16: 8th International Workshop on Social Software Engineering
-
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
-
Sara Capecchi, Paola Pisano, Reputation by design: using VDML and ServiceML for reputation systems modeling, 2014,
IEEE International Conference on e-Business Engineering
-
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.
-
Sara Capecchi, Ilaria Castellani, and Mariangiola Dezani-Ciancaglini. Information
flow safety in multiparty sessions, EXPRESS, volume 64 of EPTCS,
pages 16-30, 2011.
- 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.
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.
-
S. Capecchi, A. Troina Types for BioAmbients, Proceedings of From Biology To Concurrency and
back, FBTCB, 2010
-
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
-
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
-
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
-
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
-
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
-
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
-
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.
-
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.