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 (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.

Continue reading LASER at COMPSAC 2019

Talk by Dr. András Vörös

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).