2015 Publications


  • Ferruccio Damiani, Mirko Viroli. Type-based Self-stabilisation for Computational Fields. Logical Methods in Computer Sience. Logical Methods in Computer Science. 11(4): 1-53 (2015) DOI: 10.2168/LMCS-11(4:21)2015 Open access journal (LMCS)

Conferences and Workshops

  • Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal. Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. In Proceedings of Formal Techniques for Distributed Objects, Components, and Systems – 35th IFIP WG 6.1 International Conference, FORTE 2015. LNCS 9039, 113-128, Springer, 2015. DOI: 10.1007/978-3-319-19195-9_8 Open access version (AperTO)
  • Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, and Luca Paolini. From Featured Transition Systems to Modal Transition Systems with Variability Constraints. In prooceedings of 12th International Conference on Software Engineering and Formal Methods, SEFM 2015. LNCS 9276, Springer, 2015. Open access version (AperTO)
  • Mirko Viroli, Jacob Beal, Ferruccio Damiani and Danilo Pianini. Efficient Engineering of Complex Self-Organizing Systems by Self-Stabilising Fields. In Proceedings of 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015. IEEE Computer Society Press, 2015. Open access version (AperTO)
  • Uwe Lesta, Tim Winkelmann, Ina Schaefer. Detecting and Explaining Conflicts in Attributed Feature Models. In Proceedings of Formal Methods in Software Product Line Engineering 2015 (FMSPLE2015).  DOI:10.4204/EPTCS.182.3 Open access
  • Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson. “SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits.” Proceedings of the 2015 2015 Annual Conference of the South African Institute of Computer Scientists and Information Technologists. 2015.
  • Seidl, Christoph, Sven Schuster, and Ina Schaefer. “Generative software product line development using variability-aware design patterns” Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, 2015.
  • Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro:
    On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC 2015: 49-64
  • Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski: Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC 2015: 397-411
  • Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR 2015
  • Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro. Feature Selection for SUNNY: a Study on the Algorithm Selection Library. ICTAI 2015