2017 Publications

Journals

  • Ferruccio Damiani, Luvca Padovani, Ina Schaefer, Christoph Seidl.
    A core calculus for dynamic delta-oriented programming. Acta Informatica. DOI: 10.1007/s00236-017-0293-6
  • Lorenzo Bettini, Ferruccio Damiani. Xtraitj: Traits for the Java platform. Journal of Systems and Software 131: 419-441 (2017). DOI: 10.1016/j.jss.2016.07.035 Open access version (AperTO)
  • Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz. A novel model-based testing approach for software product lines. Software and System Modeling 16(4): 1223-1251 (2017). DOI: 10.1007/s10270-016-0516-2 Open access version (AperTO)
  • Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani.
    Self-Adaptation to Device Distribution in the Internet of Things. TAAS 12(3): 12:1-12:29 (2017). DOI: 10.1145/3105758 Open access version (AperTO)
  • Paula, Severi, Padovani, Luca, Emilio, Tuosto, Mariangiola, Dezani. On Sessions and Infinite Data. Logical Methods in Computer Science 13(2) (2017). DOI: 10.23638/LMCS-13(2:9)2017 Open access
  • Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida.
    On the Preciseness of Subtyping in Session Types. Logical Methods in Computer Science 13(2) (2017). DOI: 10.23638/LMCS-13(2:12)2017 Open access

Conferences and Workshops

  • Giorgio Audrito, Ferruccio Damiani, Mirko Viroli.
    Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77. DOI: 10.1007/978-3-319-59746-1_4 Open access version (AperTO)
  • Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt.
    A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441. DOI: 10.1007/978-3-662-54494-5_25 Open access version (AperTO)
  • Ferruccio Damiani, Michael Lienhardt, Luca Paolini.
    A Formal Model for Multi SPLs. FSEN 2017: 67-83. DOI: 10.1007/978-3-319-68972-2_5 Open access version (AperTO)
  • Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer.
    An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126. DOI: 10.1007/978-3-319-66845-1_8 Open access version (AperTO)
  • Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli.
    Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100. DOI: 110.1109/SASO.2017.18 Open access version (AperTO)
  • Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt.
    Abstraction Refinement for the Analysis of Software Product Lines. TAP 2017: 3-20. DOI: 10.1007/978-3-319-61467-0_1 Open access version (AperTO)