Eduardo R. B. Marques

Professor Auxiliar, Dep. Ciência de Computadores, FCUP
Researcher, CRACS / INESC-TEC
Email: edrdo __at__ dcc.fc.up.pt
Room: 1.72 :: Tel. (+351) 220 402 972

Home | Publications | Projects | Students | Software | Teaching | Personal

Student supervision

PhD students

MSc students

2019/20

  • Célio Rodrigues, Property-based testing of ERC-20 smart contracts, MSI.
  • Fábio Freitas, Application Security in Continous Delivery, co-advised with Pedro Borges from LOQR, MSI.
  • Miguel Marques, A Portuguese Flora identification tool using deep learning, co-advised with Luís Lopes, MIERSI.

2018/19

  • Ricardo Santos, Plataforma de Monitorização da Biodiversidade no Concelho de V. N. Gaia [PDF], co-advised with Luís Lopes, MIERSI.

2017/18

  • Miguel Garcia, Content sharing system in infrastructure deprived environments using edge clouds [PDF], co-advised with Luís Lopes, MIERSI - check our paper at FMEC'20
  • Tiago Castanheira, Simulation of mobile edge cloud applications using Mininet-WiFi [PDF], co-advised with Luís Lopes, MIERSI.
  • Pedro Seruca, CommManager: comunicação adaptativa em redes de veículos autónomos, co-advised with José Pinto, MIERSI.
  • Rui Silva, Barrel Shooter: um jogo ``peer-to-peer'' para ``mobile edge clouds'', co-advised with Fernando Silva, MIERSI.

2016/17

  • Nuno Silva, Flux: A platform for mobile data sensing using personal devices [PDF], co-advised with Luís Lopes, MIERSI - check our papers at ACM TOSN'18 and ACM BuildSys'17.
  • Keila Lima, Dolphin: A Domain-Specific Language for Autonomous Vehicle Networks [PDF], co-advised with José Pinto from LSTS/FEUP, MIERSI - check our IROS'18 and Oceans'18 papers.
  • José Oliveira, Analysis of consistency properties for Key-Value Stores on Mobile Edge Clouds, MIERSI.

2014/15

  • Hugo Duarte, Plataforma de Execução de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-advised with Francisco Martins
  • Raquel Carmona, Plataforma de Especificação de Testes de Aceitação via Interface do Utilizador, MSc Thesis, DI/FCUL, 2015, co-advised with Francisco Martins

2013/14

  • Manuel Ribeiro, NVL: uma linguagem de coordenação para redes de veículos autónomos [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Francisco Martins and in collaboration with LSTS - check our papers at SAC'15 and NGCUV'15
  • Miguel Simões, Cooperative testing of multithreaded Java applications [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Francisco Martins - check our paper at PPPJ'14
  • Filipe Lemos, Synthesis of correct-by-construction MPI programs [PDF], MSc Thesis, DI/FCUL, 2014, co-advised with Vasco T. Vasconcelos

2012/13

  • Nuno Martins, Formal verification of parallel C+MPI programs, MSc Thesis, DI/FCUL 2013, co-advised with Vasco T. Vasconcelos

Other

  • Isac Novo, Property-based testing of ERC-721 Ethereum smart contracts [PDF], LCC Project course, 2021.
  • Tomás Mamede, On using Deep Learning for Automatic Taxonomic Identification of Butterflies [PDF], LCC Project course, 2020, co-advised with Luís Lopes
  • Nuno Neto, MAVLink plugin for the Dolphin language [PDF], LCC Project course, 2020.
  • Bárbara Ferreira, Changes and trends in remotely-sensed Ecosystem Functional Attributes: A pilot assessment with the Google Earth Engine platform [PDF], co-advised with João Gonçalves and João Honrado, BBC post-graduate course project, 2018.
  • Miguel Silva, HyraxMsg: uma aplicação de "messaging" para "mobile edge clouds" [PDF], a messaging app for mobile edge-clouds, using the Hyrax middleware, IIC course, 2017.