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

Best Paper at NOMS 2020

A paper by Breno received the Best Paper Award at the IEEE/IFIP Network Operations and Management Symposium (NOMS 2020), a well-known International event in the computer networks area.

The paper, entitled P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software, originated from a collaboration between LASER and the Computer Networks research group of the Federal University of Rio Grande do Sul (UFRGS).

Continue reading Best Paper at NOMS 2020

LASER at PRDC 2019

The 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019) was happening last week in the evocative city of Kyoto, Japan. The LASER group participated with the paper Towards a Structured Specification of Coding Conventions, presented by Leonardo in the “Software II” session.

The paper is part of the work carried out by Elder Rodrigues Jr. during his Master’s project, which focuses on simplifying the management and verification of coding conventions, using model-driven engineering techniques.

Continue reading LASER at PRDC 2019

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

Keynote by Breno at MSSiS-CBSoft 2019

Breno is keynote speaker at the Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS), one of the workshops of the 10th edition of The Brazilian Conference on Software: Theory and Practice (CBSoft 2019).

In his talk, he will discuss the role of simulation in software engineering research, and compile the existing processes and guidelines into a comprehensive life cycle.

LASER at COMPSAC 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.

Continue reading LASER at COMPSAC 2019

Best Paper at WTF 2019

A paper co-authored by LASER researchers received the Best Paper Award at the XX Brazilian Workshop on Testing and Fault Tolerance (Workshop de Testes e Tolerância a Falhas, WTF 2019), co-located with SBRC 2019, the annual Brazilian Symposium on Computer Networks and Distributed Systems, in the beautiful city of Gramado, RS.

The paper, entitled Towards trustworthy cloud service selection: monitoring and assessing data privacy addressed the problem of how to make users trust cloud services, that is, how to make the latter more trustworthy. In particular, we worked on a method to monitor and evaluate the privacy provided by a cloud application.

The paper is part of the ATMOSPHERE project and the result of a collaboration with the SEIS group of the Faculty of Technology (FT) of UNICAMP in Limeira.

LASER at CIBSE 2019

The LASER team presented two papers at CIBSE 2019, the XXII Ibero-American Conference on Software Engineering, in Havana, Cuba.

On Wednesday, Caique presented the paper Towards a healthier collaboration at the business-development interface, in which the problem of achieving a better collaboration between the business and the development staff within a software project is investigated.

On Thursday, Breno presented the paper The RoCS Framework to Support the Development of Autonomous Robots, in which we investigated the need for software architectures and development frameworks in the robotics domain, in a joint work with the Laboratory of Robotics and Cognitive Systems (LaRoCS). We are also happy to mention that this paper was best paper candidate for the Software Engineering Track (SET), and it finally placed 3rd.

[matomo_opt_out]