2016 Publications

Journals

  • Ferruccio Damiani, Mirko Viroli, Jacob Beal: A Type-Sound Calculus of Computational Fields. Sci. Comput. Program. Volume 117, 15 February 2016, Pages 17-44. DOI: 10.1007/s10270-016-0516-2 Open access version (AperTO)
  • Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu. Proof Repositories for Compositional Verification of Evolving Software Systems. Transactions on Foundations for Mastering Change I, Pages 130-156, 2016. DOI: 10.1016/j.scico.2015.11.005 Open access version (AperTO)

Conferences and Workshops

  • Jacob Beal, Mirko Viroli, Danilo Pianin, Ferruccio Damiani. Self-Adaptation to Device Distribution Changes. Proc. IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016). DOI: 10.1109/SASO.2016.12 Open access version (AperTO)
  • Ferruccio Damiani, and Michael Lienhardt. Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-checking. Proc. 7TH International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016). Volume 9953 of LNCS, 2016, Pages 579-596, Springer. DOI: 10.1007/978-3-319-47169-3_45 Open access version (AperTO)
  • Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vitor Rodrigues, Sven Schuster.  A Toolchain for Delta-Oriented Modeling of Software Product Lines. Proc. 7TH International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016).  Volume 9953 of LNCS, 2016, Pages 497-511, Springer. DOI: 10.1007/978-3-319-47169-3_40 Open access version (AperTO)
  • Ferruccio Damiani, Christoph Seidl, Ingrid Ingrid Chieh Yu.  Introduction to the track on variability modeling for scalable software evolution. Proc. 7TH International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016). Volume 9953 of LNCS, 2016, Pages 423-432, Springer  DOI: 10.1007/978-3-319-47169-3_35 Open access version (AperTO)
  • Ferruccio Damiani, and Michael Lienhardt. On Type Checking Delta-Oriented Product Lines. Proc. 12th International Conference on integrated Formal Methods (iFM 2016). DOI: 10.1007/978-3-319-33693-0_4 Open access version (AperTO)
  • Ferruccio Damiani, and Michael Lienhardt. Refactoring Delta-Oriented Product Lines to achieve Monotonicity. Proc. 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering  (FMSPLE 2016). EPTCS 206. DOI: 10.4204/EPTCS.206.2. (Link to the paper.) Open access version (AperTO)
  • Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, and Ming-Chang Lee. ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. Proc. 19th International Conference on Fundamental Approaches to Software Engineering  (FASE 2016). LNCS 9633. Springer, 2016. DOI: 10.1007/978-3-662-49665-7_4. (Download a preprint.)
  • Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi: Self-Reconfiguring Microservices. Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660. Springer, 2016. DOI: 10.1007/978-3-319-30734-33_14.
  • Jacopo Mauro, Gianluigi Zavattaro: On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods – Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS 9660. Springer, 2016. DOI: 10.1007/978-3-319-30734-3_23.
  • Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu: Context Aware Reconfiguration in Software Product Lines. Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. ACM, 2016. DOI  10.1145/2866614.2866620
  • Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer: Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) 2016. Link Open access version (AperTO)
  • David Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer: Custom-Tailored Variability Mining for Block-Based Languages. International Conference on Software Analysis, Evolution, and Reengineering, SANER’16, 2016.
  • Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro. Declarative Elasticity in ABS. ESOCC 2016. DOI: 10.1007/978-3-319-44482-6_8
  • Michael Nieke, Christoph Seidl, Sven Schuster: Guaranteeing Configuration Validity in Evolving Software Product Lines. VaMoS’16, 2016. DOI 10.1145/2866614.2866625
  • Christoph Seidl, Tim Winkelmann, Ina Schaefer: A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages. Modellierung’16, 2016.
  • Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson: Tax-PLEASE – Towards Taxonomy-Based Software Product Line Engineering. ICSR 2016.
  • Einar Broch Johnsen, Ingrid Chieh Yu, Jia-Chun Lin: Comparing AWS Deployments Using Model-Based Predictions. ISoLA 2016. doi:http://dx.doi.org/10.1007/978-3-319-47169-3_39
  • Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro: Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. SETTA2016. DOI: 10.1007/978-3-319-47677-3_15
  • Michael Nieke, Jacopo Mauro and and Christoph Seidl and Ingrid Chieh Yu. User Profiles for Context-Aware Reconfiguration in Software Product Lines. ISoLA 2016. DOI: 10.1007/978-3-319-47169-3_44
  • Giuliano Casale, Cristina Chesta, Peter Deussen, Elisabetta Di Nitto, Panagiotis Gouvas, Sotiris Koussouris, Vlado Stankovski, Andreas Symeonidis, Vlassis Vlassiou, Anastasios Zafeiropoulos, Zhiming Zhao. Current and Future Challenges of Software Engineering for Services and Applications. Cloud Forward 2016
  • Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro:
    Secure Multiparty Sessions with Topics. PLACES 2016: 1-12. DOI: 10.4204/EPTCS.211.1 Open access.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
    Parallel Monitors for Self-adaptive Sessions. PLACES 2016: 25-3.
    DOI: 10.4204/EPTCS.211.3 Open access.
  • Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida: Denotational and Operational Preciseness of Subtyping: A Roadmap – Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods 2016: 155-172.
    DOI: 10.1007/978-3-319-30734-3_12
  • David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer: Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. ISoLA 2016, DOI: 10.1007/978-3-319-47169-3_43
  • Stefan Stanciulescu, Daniela Rabiser, Christoph Seidl: A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems. ISoLA 2016, DOI: 10.1007/978-3-319-47169-3_41
  • Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Parallelizing Constraint Solvers for Hard RCPSP Instances.  LION 2016