???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Eduardo Resende Brandão Marques

Nomes de citação

  • Marques, Eduardo

Identificadores de autor

Ciência ID
B818-6476-317D
ORCID iD
0000-0002-6980-6868
Formação
Grau Classificação
2006 - 2011
Concluído
 Ciência de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Runtime Programming" (TESE/DISSERTAÇÃO)
 distinção
1997 - 1998
Concluído
 MSc in Advanced Computing (Mestrado)
Imperial College London, Reino Unido
"A study on the optimisation of Java RMI programs" (TESE/DISSERTAÇÃO)
 award with distinction
1993 - 1997
Concluído
 Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 17
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - 2018 Investigador Contratado (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2018 - Atual Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2018 Professor Auxiliar Convidado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2012 - 2016 Professor Auxiliar Convidado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
Projetos

Bolsa

Designação Financiadores
2016 - 2018 TEC4GROWTH - Pervasive Intelligence, Enhancers and Proofs of Concept with Industrial Impact
NORTE-01-0145-FEDER-000020
Bolseiro de Cientista Convidado
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal
Concluído

Projeto

Designação Financiadores
2020/07 - Atual Augmanity
POCI-01-0247-FEDER-046103
Investigador
Universidade do Porto Faculdade de Ciências, Portugal
 Fundo Europeu de Desenvolvimento Regional (FEDER)
Em curso
2019 - Atual SafeCities
POCI-01-0247-FEDER-041435
Investigador
Universidade do Porto Faculdade de Ciências, Portugal
 Fundo Europeu de Desenvolvimento Regional (FEDER)
Em curso
2014/04/21 - 2018/07/31 Hyrax: Crowd-Sourcing de Dispositivos Móveis para o Desenvolvimento de Edge-Clouds
CMUP-ERI/FIA/0048/2013
Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Telecomunicações, Portugal

Associação para a Inovação e Desenvolvimento da FCT, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2012/01/01 - 2014/06/30 Sistemas de Tipos Avançados para Programação Multicore
PTDC/EIA-CCO/122547/2010
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2010/06/14 - 2014/06/13 Modelização e Controlo de Sistemas de Veículos em Rede para Operações Autónomas Persistentes
PTDC/EEA-CRO/104901/2008
Universidade do Porto Centro de Investigação em Sistemas e Tecnologias, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Joaquim Silva; Marques, Eduardo; Luís Lopes. "Jay: Adaptive Computation Offloading for Hybrid Cloud Environments". Trabalho apresentado em The Fifth International Conference on Fog and Mobile Edge Computing (FMEC 2020), 2020.
  2. Miguel Garcia; Joaquim Silva; Marques, Eduardo; Luís Lopes. "Ramble: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds". Trabalho apresentado em The Fifth International Conference on Fog and Mobile Edge Computing (FMEC 2020), 2020.
  3. Silva, J; Marques, ERB; Lopes, LMB; Silva, F. "JAY: Adaptive Computation Offloading for Hybrid Cloud Environments". 2020.
    10.1109/fmec49853.2020.9144950
  4. Garcia, M; Rodrigues, J; Silva, J; Marques, ERB; Lopes, LMB. "RAMBLE: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds". 2020.
    10.1109/fmec49853.2020.9144881
  5. Rodrigues, J; Marques, ERB; Silva, J; Lopes, LMB; Silva, FMA. "Video Dissemination in Untethered Edge-Clouds: A Case Study". 2018.
    10.1007/978-3-319-93767-0_10
  6. Lima, K; Marques, ERB; Pinto, J; Sousa, JB. "Programming Networked Vehicle Systems using Dolphin - Field Tests at REP'17". 2018.
    10.1109/oceanskobe.2018.8559474
  7. Lima, K; Marques, ERB; Pinto, J; Sousa, JB. "Dolphin: a task orchestration language for autonomous vehicle networks". 2018.
    10.1109/iros.2018.8594059
  8. Silva, J; Silva, D; Marques, ERB; Lopes, LMB; Silva, FMA. "P3-Mobile: Parallel Computing for Mobile Edge-Clouds". 2017.
    10.1145/3069383.3069388
  9. Rodrigues, J; Marques, ERB; Lopes, LMB; Silva, FMA. "Towards a middleware for mobile edge-cloud applications". 2017.
    10.1145/3152360.3152361
  10. Marques, Eduardo. "Streaming Sensor Data from Dynamically Reprogrammable Tasks Running on Mobile Devices". 2017.
    10.1145/3137133.3137139
  11. Marques, ERB; Ribeiro, M; Pinto, J; Sousa, JB; Martins, F. "Towards programmable coordination of unmanned vehicle networks". 2015.
    10.1016/j.ifacoi.2015.06.042
  12. E. R. B. Marques; M. Ribeiro; J. Pinto; J. Sousa; F. Martins. "Towards programmable coordination of unmanned vehicle networks". 2015.
    10.1016/j.ifacol.2015.06.042
  13. H. A. L\'{o. "Protocol-Based Verification of Message-Passing Parallel Programs". 2015.
    10.1145/2814270.2814302
  14. E.R.B. Marques; M. Ribeiro; J. Pinto; J. Sousa; F. Martins. "NVL: a coordination language for unmanned vehicle networks". 2015.
    10.1145/2695664.2696029
  15. Marques, Eduardo. "Cooperari: a tool for cooperative testing of multithreaded Java applications". 2014.
    10.1145/2647508.2647523
  16. Jose Pinto; Paulo S. Dias; Ricardo Martins; Joao Fortuna; Eduardo Marques; Joao Sousa. "The LSTS toolchain for networked vehicle systems". 2013.
    10.1109/OCEANS-Bergen.2013.6608148
  17. E.R.B. Marques. "Fine-grained patches for Java software upgrades". 2013.
  18. Marques, ERB. "Fine-grained Patches for Java Software Upgrades". 2013.
  19. E.R.B. Marques; F. Martins; V.T. Vasconcelos; N. Ng; N. Martins. "Towards deductive verification of MPI programs against session types". 2013.
    10.4204/EPTCS.137.9
  20. Pinto, J.; Calado, P.; Braga, J.; Dias, P.; Martins, R.; Marques, E.; Sousa, J.B.. "Implementation of a control architecture for networked vehicle systems". 2012.
    10.3182/20120410-3-pt-4028.00018
  21. Kohei Honda; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; Vasco T. Vasconcelos; Nobuko Yoshida. "Verification of MPI programs using session types". Trabalho apresentado em EuroMPI 2012: Recent Advances in the Message Passing Interface, 2012.
    Publicado • 10.1007/978-3-642-33518-1_37
  22. Christoph M. Kirsch; Luis Lopes; Eduardo R.B. Marques; Ana Sokolova. "Runtime Programming through Model-Preserving, Scalable Runtime Patches". 2011.
    10.1109/ACSD.2011.28
  23. Christoph M. Kirsch; Luís Lopes; Eduardo R. B. Marques; Ana Sokolova. "Runtime Programming through Model-Preserving, Scalable Runtime Patches". Trabalho apresentado em FACS 2010: Formal Aspects of Component Software, 2010.
    10.1007/978-3-642-27269-1_18
  24. Ricardo Martins; Paulo Sousa Dias; Eduardo R. B. Marques; Jose Pinto; Joao B. Sousa; Fernando L. Pereira. "IMC: A communication protocol for networked vehicles and sensors". 2009.
    10.1109/OCEANSE.2009.5278245
  25. Tinka, A; Diemer, S; Madureira, L; Marques, EB; de Sousa, JB; Martins, R; Pinto, J; et al. "Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments". 2009.
    10.1109/acc.2009.5160166
  26. A. Tinka; S. Diemer; L. Madureira; E. Marques; J. Sousa; R. Martins; J. Pinto; et al. "Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments". 2009.
    10.1109/ACC.2009.5160166
  27. T.A. Henzinger; C.M. Kirsch; E.R.B. Marques; A. Sokolova. "Distributed, Modular HTL". 2009.
    10.1109/RTSS.2009.9
  28. H. Ferreira; R. Martins; E. Marques; J. Pinto; A. Martins; J. Almeida; J. Sousa; E. P. Silva. "SWORDFISH: an Autonomous Surface Vehicle for Network Centric Operations". 2007.
    10.1109/oceanse.2007.4302467
  29. Marques, ERB; Pinto, J; Kragelund, S; Dias, PS; Madureira, L; Sousa, A; Correia, M; et al. "AUV control and communication using underwater acoustic networks". 2007.
    10.1109/oceanse.2007.4302469
  30. E.R.B. Marques; J. Pinto; S. Kragelund; P.S. Dias; L. Madureira;; A. Sousa; M. Correia; H. Ferreira; R. Gon\c{c. "AUV Control and Communication using Underwater Acoustic Networks". 2007.
    10.1109/OCEANSE.2007.4302469
  31. E.R.B. Marques; G.M. Gon\c{c. "Seaware: A Publish/Subscribe Communications Middleware for Networked Vehicle Systems". 2006.
  32. Marques, E.R.B.; Gonçalves, G.M.; Sousa, J.B.. "The use of real-time publish-subscribe middleware in networked vehicle systems". 2006.
Artigo em revista
  1. Joaquim Silva; Eduardo R. B. Marques; Luís M. B. Lopes; Fernando M. A. Silva. "Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds". Software: Practice and Experience (2023): https://doi.org/10.1002/spe.3231.
    10.1002/spe.3231
  2. Lopes, L; Marques, E; Mamede, T; Filgueiras, A; Marques, M; Coutinho, M. "Identificação Taxonómica em Biologia usando Inteligência Artificial". Revista de Ciência Elementar (2022):
    10.24927/rce2022.050
  3. Silva, J; Marques, ERB; Lopes, LMB; Silva, F. "Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds". JOURNAL OF CLOUD COMPUTING-ADVANCES SYSTEMS AND APPLICATIONS (2021):
    10.1186/s13677-021-00251-9
  4. Silva, N; Marques, ERB; Lopes, LMB. "Flux". ACM Transactions on Sensor Networks (2018):
    10.1145/3200202
Livro
  1. Gay, S; Ravara, A. Behavioural types: From theory to tools english. 2017.
    10.13052/rp-9788793519817
Relatório
  1. Eduardo R. B. Marques; Francisco Martins and; Vasco Thudichum Vasconcelos; C\'esar Santos; Nicholas Ng; Nobuko Yoshida. 2014. Protocol-Based Verification of MPI Programs.
    10455/6901
  2. V.T. Vasconcelos; F. Martins; E.R.B. Marques and; H.A. L\'opez; C. Santos; N. Yoshida. 2014. Type-Based Verification of Message-Passing Parallel Programs.
    10455/6902