INES – National Institute of Science and Technology for Software Engineering

Technical visit of Prof. Leila Silva from UFS to UFPE

Prof. Leila Silva from UFS is going to visit UFPE from 08/06/2015 to 10/06/2015 to colaborate with Prof. Augusto Sampaio in the context of a project in Education in Computer Sceince.

INES researchers at CSBC 2015

Researchers from the project “BaSiC: A Service Bus for Smart Cities” will attend to CSBC 2015: Kiev Santos da Gama (project coordinator, CIn-UFPE), Marcelo Iury Sousa Oliveira (PhD student, CIn-UFPE), Emanoel Carlos Gomes Ferraz Silva (MsC student, CIn-UFPE), Herbertt Barros Mangueira Diniz (MsC student, CIn-UFPE), Thomas Cristanis Cabral Nogueira (MsC student, CIn-UFPE) and Daniel Barbosa Maranhão (undergraduate student, CIn-UFPE).

The event will be held in Recife-PE, from 20-July-2015 to 23-July-2015.

ForAll-UFRN-INES participation at the 9th International Conference on Tests & Proofs (TAP 2015)

UFRN Research at ICAC2015

Everton Cavalcante, PhD student at UFRN, will attend the 12th IEEE International Conference on Autonomic Computing (ICAC 15), to present the paper “Revisiting Goal-Oriented Models for Self-Aware Systems-of-Systems”

This activity is part of the project “ArqIoT – Um Ambiente para Desenvolvimento Orientado por Arquitetura de Aplicações em Internet das Coisas”

INES at DOCTORAL SYMPOSIUM OF FORMAL METHODS 2015

José Dihego, PhD student at CIn/UFPE, will attend the DOCTORAL SYMPOSIUM OF FORMAL METHODS 2015, part of the 20TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, to present the paper entitled: “Inheritance and refinement of trustworthy component-based systems”. The conference will be held in Oslo, Norway from 22nd June to 26th June 2015.

This activity is part of the project “Reliability and Safety in Critical Software”. More details about the publication: DIHEGO, J.. Inheritance and refinement of trustworthy component-based systems. In: Doctoral Symposium of Formal Methods, 2015, Oslo, Norway. More about the conference:

http://fm2015.ifi.uio.no/accepted-papers/

INES at ELA-ES 2015

INES will be present at the 2nd Latin-American School on Software Engineering (ELA-ES 2015), to be held in Porto Alegre (Brazil), 30 June – 03 July 2015. Research members from the “Concern-Driven Measurement of Software Modularity” project had the following position paper accepted on this conference:

Title: Avaliação Experimental da Relação de Coesão e Acoplamento com o Esforço de Compreensão de Software.

Authors: Elienai Batista (UFBA) and Cláudio Sant’Anna (UFBA).

Elienai and Cláudio will attend the conference.

INES at IEEE Cloud Conf.

INES/UFRN researcher co-organizes international software competition

Prof David Déharbe, from the ForAll/INES research group, and affiliated to UFRN, co-organizes the 2015 edition of SMT-COMP, the competition for Satisfiability Modulo Theory Solvers, together with Tjark Weber (Uppsala University, Sweden) and Sylvain Conchon (Paris-Sud University, France).

The competition will take place during the annual SMT Workshop, affiliated to CAV 2015 (27th International Conference on Computer Aided Verification), in San Francisco (USA), from July 18th to July 19th. The results of the competition will be presented both at the workshop and at the main conference.

See more: SMT-COMP 2015 – SMT Workshop 2015 – CAV’2015.

ForAll UFRN Renews Office 365 Licenses

The Formal Methods and Languages Laboratory, research laboratory at UFRN associated to INES, acquired new office 365 license.