Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Alcino Cunha
Investigador Coordenador
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.
Publicações
Task Model Design and Analysis with Alloy
Cunha, A;Macedo, N;Kang, E;
2023
RIGOROUS STATE-BASED METHODS, ABZ 2023
Verifying Temporal Relational Models with Pardinus
Macedo, N;Brunel, J;Chemouil, D;Cunha, A;
2023
RIGOROUS STATE-BASED METHODS, ABZ 2023
Point-free program calculation
Cunha, A;
2005
Delta Lenses over Inductive Types
Pacheco, H;Cunha, A;Hu, Z;
2012
ECEASST
Teses Orientadas
Safety Verification for ROS Applications
André Filipe Faria dos Santos
D - 2019
UM-EEUM
Lightweight Trustworthy High-level Software Design
Chong Liu
D - 2019
UM-EEUM
Towards model checking Electrum Specifications with LTSmin
Bruno Miguel Sousa Cancelinha
M - 2019
UM-EEUM
Safety Verification for ROS Applications
André Filipe Faria dos Santos
D - 2020
UM-EEUM
