The Federal Univerity of Alagoas (UFAL) receives in these days the visit of four researchers from the University of Coimbra (UC): Prof. Marilia Curado and Prof. Edmundo Monteiro, which are in their first secondments at UFAL and the returning Prof. Marco Vieira and Prof. Nuno Antunes.
At the same time, UFAL is also receiving researchers of the project CARECO, which is a Brazilian project funded by PROCAD/CAPES, namely three PhD students from PUC-Rio: Diego Cedrim, which works with code smells and the quality of refactored code, Leonardo da Silva Sousa, which works with code smells and design problems, Roberto Oliveira, which works with collaborative identification of code smells.
A multi-disciplinary cross-project workshop was organized, consisting of a full day of presentations and rich discussions about past and present research activities and potential future collaborations. A diverse set of topics was discussed, including Internet of Things, software engineering and security.
The workshop also included contributions from other researchers, as is the case of Leonardo Oliveira, which works on mutation testing and is a PhD student from UFPE, and Prof. Andre Aquino (smart cities) and Prof. Fábio Coutinho (persistence in cloud environments) (IC-UFAL), and Mario Hozano and Alexandre Barbosa (automatic evaluation of code) (UFAL-Arapiraca). The workshop attracted an average audience above 30 participants.
Wellington Moura, from UNICAMP, just arrived in February to Coimbra to spend a 2-month secondment, while Prof. Eliane Martins is concluding a 2 months secondment with the UC. Earlier in Feburary, Mario Hozano returned to UFAL, after concluding his secondment in Coimbra.
Wellington is a MSc student at the Institute of Computing (IC-UNICAMP), under the supervision of Prof. Eliane and Prof. Nuno Laranjeiro (UC). Wellington’s MSc topic is focused on the robustness assessment in containers environments. The secondment period will be key for the development of the MSc works and it is planned the design and development of a robustness testing tool for the Docker interface. The overlap with Eliane’s secondment was key for the definition of the secondment activities.
Eliane returns to UC, after last year’s January secondment. This secondment was an opportunity to continue with past collaborations, namely the ongoing projects with participation of UNICAMP and UC (EUBra-BIGSEA and SORTS). Eliane presented the work she has been developing with her students in Using Behaviour Models for Robustness Testing.
Mario is a PhD student at UFAL, under supervision of Prof. Baldoino Fonseca, and his research focuses on techniques able to deal with the subjective definition of code smells by different developing teams. Mario arrived in December for a secondment in which he worked with Nuno Antunes (UC) on the experimental component of his work, focusing on the evaluation his techniques and comparison with machine learning techniques. The time in Coimbra was also important to discuss the topic with the local researchers. In November, he presented the talk “Smells are sensitive to developers! On the efficiency of (un)guided customized detection” to the local researchers and students (bottom photo).
The 7th edition of the Latin-American Symposium on Dependable Computing (LADC 2016) was held in Cali, Colombia during October 19-21, organized by the University of Cauca (UNICAUCA) and hosted the University of San Buenaventura. The DEVASSES researchers are regular contributors of the conference and once again provided a strong participation, including participation in the organization of the conference, workshops and submission of papers.
The Workshop on Dependability in Evolving Systems (WDES 2016), took place in October 20 also in the beautiful campus of the Universidad de San Buonaventura. The workshop was organized by the DEVASSES researchers Leonardo Montecchi, Baldoino Neto, Cecilia Rubira and also Ivan Mura from Los Andes University, Colombia. The project represents a way to promote the discussion on the challenges of ensuring dependability in evolving systems.
The workshop program featured 6 paper organized in three sessions: satellite systems, security and privacy, and power systems. The program was opened by a keynote on “Evolving Systems of Systems: the AMADEOS approach” by Prof. Andrea Bondavalli, which discussed the challenges regarding dependability and evolution that were addressed in the AMADEOS project, and the devised solutions.
The University of Coimbra (UC) is currently receiving four researchers from the University of Campinas (IC-UNICAMP). Alexandre Braga and Leydi Erazo are in their first secondments in the project and will be seconded for, respectively, 1 and 2 months.
Prof. Edmundo Madeira and Carlos Senna are visiting the UC in the context of other transcontinental projects: EUBra-BIGSEA and SORTS.
Edmundo is a Professor at the IC and coordinator of the Computer Networks Laboratory. Carlos is a Post-Doc researcher of the same laboratory. Alexandre is a PhD student at the Lab. of Security and Cryptography Applied (LASCA) of IC, advised by Prof. Ricardo Dahab. Finally, Leydi is a MSc student advised by Prof. Eliane Martins.
The presence of these researchers is providing the opportunity for “cross-projects” presentations, discussion and cooperation. Several presentations have been organized, to present and discuss the works of the involved researchers and also the advances of the mentioned projects, as follows:
- Edmundo Madeira, “Estimation of the Available Bandwidth in Inter-Cloud Links for Task Scheduling in Hybrid Clouds”
- Alexandre Braga, “Mining Cryptography Misuse in Online Forums”
- Carlos Senna, “Distributed Management of Applications in Fog Environments”
- Nuno Laranjeiro, “Interoperable Services: Research at the University of Coimbra”
- Karima Velasquez, “Mechanisms for Latency Reduction in Fog Environments”
- David Abreu, “Improving the Resilience in the Internet of Things”
During this week, Leydi will also present her work, entitled “Use Cases to State Machine Models for Software Product-Line Testing”, in the regular meetings of the local research group.
During their DEVASSES secondments, both Alexandre and Leydi will also carry on research work together the UC team. Alexandre is currently developing a benchmarking technique that will allow evaluating and comparing static analysis tools that can detect issues in applications that use cryptography. Leydi is currently applying a use-case modelling approach that allows the automatic extraction of a state machine models for a products derived of a software product line.