ladc






PROGRAM



14:00 - 14:15

Welcome


14:15 - 15:15

Opening Talk

My first ten-years with software-adaptive software [pdf]
See the abstract here


Prof. Luciano Baresi (see short bio)
Department of Electronics and Information at Politecnico di Milano, Italy


15:15 - 16:15

Technical Session I
Session Chair: Genaina Rodrigues (University of Brasilia, Brazil)

Identifying Modelling Dimensions of a Self-Adaptive Framework for
Fault-Tolerant SOAs - An Experience Report  [pdf]
Amanda S. Nascimento (University of Campinas)
Fernando Castor (Federal University of Pernambuco)
Cecília Rubira (University of Campinas)

Knowledge-Based Self-Adaptation [pdf]
Emil Vassev (Irish Software Engineering Research Center, University of Limerick, Ireland)
Mike Hinchey (Irish Software Engineering Research Center, University of Limerick, Ireland)


16:15 - 16:30

Coffe-Break


16:30 - 17:30

Technical Session II
Session Chair: Flávia Delicato (Federal University of Rio de Janeiro, Brazil)

Dynamic Management of Integration Testing for Self-Adaptive Systems [pdf]
Carlos da Silva (Federal University of Rio Grande do Norte, Brazil)
Rogério de Lemos (University of Kent, United Kingdom)

Towards Compositional Approach for Parametric Model Checking in Software
Product Lines  [pdf]
Vinicius Uriel Nunes (University of Brasilia, Brazil)
Danilo Mendonça (University of Brasilia, Brazil)
Genaina Rodrigues (University of Brasilia, Brazil)
Vander Alves (University of Brasilia, Brazil)


17:30 - 19:00


Discussion Panel & Group Discussion

Dependability in Self-adaptive Systems: how to justify trust in the face of unknown unknowns?

Panel Chair: Rogério de Lemos (University of Kent, United Kingdom) [slides]

Panelists:

Javier Cámara (Universidade de Coimbra, Portugal) [slides]

Mohamed Kaaniche (LAAS-CNRS, France) [slides]

Renato Cerqueira (PUC-Rio, Brazil) [slides]