LASER at ISSRE 2020

We are happy to mention that this year LASER had a paper accepted at the 31st International Symposium on Software Reliability Engineering (ISSRE 2020), one of the most important conferences on software reliability.

The conference was held completely in remote format, with a huge organization effort by the people from Coimbra that resulted in pleasant experience. The presentation followed a “flipped conference” model: attendees watched pre-recorded presentations before the conference and then had some time to ask questions to authors during the live event.

Continue reading LASER at ISSRE 2020

LADC 2019 and ADVANCE Meeting in Natal

November has been an intense month in Natal, RN, as it hosted different events related to the computer systems community.

On days November 19th-21st, Natal hosted the 9th Latin-American Symposium on Dependable Computing (LADC 2019), the major event on systems dependability in the Central and South America regions. This year, LADC was co-located with the Brazilian Symposium on Computing Systems Engineering (SBESC). LADC 2019 saw a strong participation of researchers from LASER, starting from the Program Committee, chaired by Leonardo together with Luciana Arantes from Sorbonne University.

Continue reading LADC 2019 and ADVANCE Meeting in Natal

Visit of Regina Moraes

In October we received the visit of Prof. Regina Moraes, who spent a month with us working on the ADVANCE project. Regina worked for a long time at the Faculty of Technology of UNICAMP, in Limeira, but she is currently a Visiting Professor at the University of Coimbra, Portugal.

Her expertise revolves around different aspects of dependability and fault tolerance, under a software engineering perspective. Currently, she is working on privacy aspects in large-scale cloud infrastructures, also due to the activities she is carrying out in the ATMOSPHERE project.

Visit of Dr. Andrea Ceccarelli

In July we received the visit of Dr. Andrea Ceccarelli, from the University of Florence, Italy. Andrea was visiting UNICAMP for three weeks, as part of the ADVANCE project. His main research interests are the design, monitoring and experimental evaluation of critical and secure systems and systems of systems.

As part of his visit, Andrea held a seminar entitled On anomaly-based intrusion detection: from algorithms evaluation to algorithms selection, in which he discussed ongoing work on evaluating and selecting anomaly detection algorithms in the security domain.

Continue reading Visit of Dr. Andrea Ceccarelli

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

ADVANCE Kick-Off Meeting

The “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) research project has started this year with the participation of researchers from LASER, working on the challenges of future cyber-physical systems.

ADVANCE is an Horizon 2020 project, funded by the European Union under the Research and Innovation Staff Exchange (RISE) scheme, in which research is performed by exchange of researchers between the partners and transfer of knowledge activities.

The Kick-Off meeting of the project and first Transfer of Knowledge workshop were held in Florence, Italy, in the beginning of February 2019.

The ADVANCE Team in Florence
Continue reading ADVANCE Kick-Off Meeting