Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Nuno Moreira Macedo
Investigador Sénior
Sou professor auxiliar no Departamento de Engenharia Informática (DEI) da Faculdade de Engenharia da Universidade do Porto (FEUP), Portugal, e investigador sénior no HASLab, a unidade do INESC TEC focada do desenvolvimento de software confiável, onde desenvolvo, ensino e aplico técnicas formais à engenharia de software.
A minha investigação foca-se na concepção de software confiável, particularmente na aplicação de técnicas formais "lightweight" à concepção de software baseadas em "model check" e "model finding". Faço parte da equipa que mantém o Alloy 6 e o seu Analyzer, uma ferramenta para analisar modelos de software. Adaptei também esse tipo de técnicas ao domínio da robótica para promover o desenvolvimento de software robótico confiável, assim como é projetos de transferência de conhecimento e de consultadoria.
As minhas atividades letivas focam-se no ensino de linguagens de programação e de métodos formais na engenharia de software. Nesse contexto, mantenho também o Alloy4Fun, uma plataforma para apoiar o ensino de Alloy.
Publicações
Adding Records to Alloy
Brunel, J;Chemouil, D;Cunha, A;Macedo, N;
2023
RIGOROUS STATE-BASED METHODS, ABZ 2023
Rosy: An elegant language to teach the pure reactive nature of robot programming
Pacheco, H;Macedo, N;
2021
International Journal of Robotic Computing
ROSY: An elegant language to teach the pure reactive nature of robot programming
Pacheco, H;Macedo, N;
2020
Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020
Formal Verification of ROS-based Robotic Applications using Timed-Automata
Halder, R;Proenca, J;Macedo, N;Santos, A;
2017
2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
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
Aplicação de Técnicas de Análise Formal a Software Robótico
Gonçalo Nuno Esteves Duarte
M - 2019
UM-EEUM
Analysis of Message Passing Software Using Electrum
Bruno Renato Fernandes Carvalho
M - 2020
UM-EEUM
