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 the IEEE 43rd Annual Computer Software and Applications Conference (
The paper, titled
, is the result of a collaboration with the University of Firenze, Italy, where he will also enroll for a double degree ( The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations duplo-diploma) PhD course.
Continue reading LASER at COMPSAC 2019
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).