Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Eduardo Brandão Marques
Investigador Sénior
Education: PhD in Computer Science, Faculdade de Ciências da Universidade do Porto, 2011.
Research interests: concurrency, software verification and testing, unmanned vehicle networks
Selected publications:
Short bio
Projetos
T4CDTKC
Este projeto tem como objetivo delinear um programa formativo inovador orientado ao desenvolvimento de competências em torno das temáticas inerentes à indústria i4.0. Neste âmbito, é definida a estrutura do programa, a produção dos conteúdos temáticos a serem explorados tendo por base a metodologia pedagógica adoptada. É explorada uma metodologia de ensino-aprendizagem centrada numa plataforma online tendo como elemento central uma coleção de vídeos complementados por um conjunto de ‘handouts’ que organizam o conjunto de mensagens chave e ‘take-ways’ associados a cada módulo.
Cortaderia
Publicações
Verification of MPI Programs Using Session Types
Honda, K;Marques, ERB;Martins, F;Ng, N;Vasconcelos, VT;Yoshida, N;
2012
Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Implementation of a control architecture for networked vehicle systems
Pinto, J;Calado, P;Braga, J;Dias, P;Martins, R;Marques, E;Sousa, JB;
2012
IFAC Proceedings Volumes (IFAC-PapersOnline)
Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments
Tinka, A;Diemer, S;Madureira, L;Marques, EB;de Sousa, JB;Martins, R;Pinto, J;da Silva, JE;Sousa, A;Saint Pierre, P;Bayen, AM;
2009
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9
Distributed, Modular HTL
Henzinger, TA;Kirsch, CM;Marques, ERB;Sokolova, A;
2009
2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
Teses Supervisionadas
A definir
Maria Fernanda Silva Gonçalves
D - 2024
UP-FLUP
