Departamento de Informática (UM)

13414

Rafael Braga Gomes Costa

Ass. Convidado

E-mail
Ext.: +604430

E7-2.13

Qualificações: 2020 - Mestrado integrado em Engenharia Informática (U.Minho)

Página pessoal:

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

• João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira: Verification of railway network models with EVEREST. MoDELS 2022: 345-355
• Rafael Braga da Costa, José Creissac Campos: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. INTERACT (2) 2023: 504-513

Projetos

• BeFlexible (Boosting Engagement to Increase Flexibility), EU H2020 project

Docência

Regências: Nenhuma correntemente atribuída

Aulas:

• Desenvolvimento de Sistemas de Software [J305N2]: turnos PL 3 e PL 4
• Interface Pessoa-Máquina [J306N1]: turnos PL 4 e PL 5

Serviço

S/I