Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Alcino Cunha
Coordenador de Centro
Alcino Cunha é Professor Associado no Departamento de Informático da Universidade do Minho e membro (e atualmente co-coordenador) do Laboratório de Software Confiável, um centro de investigação do laboratório associado INESC TEC. A sua investigação tem por ambição tornar o desenvolvimento formal de software mais acessível para todos os engenheiros de software, tendo sido um dos proponentes da nova versão 6 do acessível método formal Alloy, que adicionou suporte para especificações comportamentais e lógica temporal. Também tem interesse no tópico da qualidade de software robótico, em particular no desenvolvimento de ferramentas de análise formal para software desenvolvido com o popular framework ROS. Publicou mais de 70 artigos, incluindo vários artigos em revistas e conferências relevantes na área da engenharia de software e da robótica, tais como TSE, FSE, ASE, IROS, ou FM.
Projetos
Publicações
Alloy Goes Fuzzy
Silva, P;Cunha, A;Macedo, N;Oliveira, JN;
2024
RIGOROUS STATE-BASED METHODS, ABZ 2024
Validating multiple variants of an automotive light system with Alloy 6
Cunha, A;Macedo, N;Liu, C;
2024
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
Assessing the impact of hints in learning formal specification
Cunha, A;Macedo, N;Campos, JC;Margolis, I;Sousa, E;
2024
2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024
Task Model Design and Analysis with Alloy
Cunha, A;Macedo, N;Kang, E;
2023
RIGOROUS STATE-BASED METHODS, ABZ 2023
Teses Supervisionadas
Deep Learning to predict brain cancer grade through MRI analysis
Pedro Miguel Novais do Vale
M - 2023
UP-FEUP
