The 5th Tecnical Meeting of the ATMOSPHERE project was held on July 17th-19th in Belem (PA). This was the last physical meeting before the final review of the project, to happen later this year.
The meeting was held together with Cloudscape 2019 and WCN 2019, two workshops organized by the project at the XXXIX Congress of the Brazilian Society of Computing (CBSC 2019).
Lucas Leal, currently PhD student at LASER, just came back from Milwaukee, Wisconsin, USA, where he presented a paper at the IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC 2019).
The paper, titled The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations, is the result of a collaboration with the University of Firenze, Italy, where he will also enroll for a double degree (duplo-diploma) PhD course.
On last Friday we received the visit of Dr. András Vörös from the Budapest University of Technology and Economics, who gave a talk on his research activities. The talk addressed various aspect of the modeling and verification of embedded systems, using model-driven techniques.
András and the Fault-Tolerant Systems Research Group are part of the recently started ADVANCE project, in which the LASER team is also involved. As part of his work on the project, András is spending one month in Brazil, working with researchers of INPE in São José dos Campos (SP) and in Natal (RN).
