Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

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

  • Currently researcher at CRACS/INESC-TEC, Prof. Auxiliar Convidado 25% FCUP
  • 2012-2016: Prof. Auxiliar Convidado c/dedicação exclusiva, FCUL 
  • 2006-2011: PhD student in Computer Science, FCUP
  • 1998-2005: Software engineer/programmer for consulting companies (Portugal and Brazil)
  • 1998: MSc in Advanced Computing, Imperial College London
  • 1997: BSc in Computer Science (pre-Bologne), FCUP

Interest
Topics
Details

Details

001
Publications

2018

Video Dissemination in Untethered Edge-Clouds: A Case Study

Authors
Rodrigues, J; Marques, ERB; Silva, J; Lopes, LMB; Silva, FMA;

Publication
Distributed Applications and Interoperable Systems - Lecture Notes in Computer Science

Abstract

2017

P3-Mobile: Parallel Computing for Mobile Edge-Clouds

Authors
Silva, J; Silva, D; Marques, ERB; Lopes, LMB; Silva, FMA;

Publication
Proceedings of the 4th Workshop on CrossCloud Infrastructures & Platforms, CrossCloud@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017

Abstract
We address the problem of whether networks of mobile devices such as smart-phones or tablets can be used to perform opportunistic, best-effort, parallel computations. We designed and implemented P3-Mobile, a parallel programming system for edge-clouds of Android devices to test the feasibility of this idea. P3-Mobile comes with a programming model that supports parallel computations over peer-to-peer overlays mapped onto mobile networks. The system performs automatic load-balancing by using the overlay to discover work. We present preliminary performance results for a parallel benchmark, using up to 16 devices, and discuss their implications towards future work. Copyright © 2017 ACM.

2017

Towards a middleware for mobile edge-cloud applications

Authors
Rodrigues, J; Marques, ERB; Lopes, LMB; Silva, FMA;

Publication
Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets - MECC '17

Abstract

2017

Streaming sensor data from dynamically reprogrammable tasks running on mobile devices

Authors
Silva, N; Marques, ERB; Lopes, LMB;

Publication
Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys 2017, Delft, The Netherlands, November 08-09, 2017

Abstract

2015

Towards programmable coordination of unmanned vehicle networks

Authors
Marques, ERB; Ribeiro, M; Pinto, J; Sousa, JB; Martins, F;

Publication
IFAC Proceedings Volumes (IFAC-PapersOnline)

Abstract
The use of unmanned vehicle networks for diverse applications is becoming widespread. It is generally hard to program unmanned vehicle networks as a "whole", however. The coordination of multiple vehicles requires careful planning through intricate human intervention, and a high degree of informality is implied in what concerns the specification of a "network program" for an application scenario. In this context, we have been developing a programming language for expressing global specifications of coordinated behavior in unmanned vehicle networks, the Networked Vehicles' Language (NVL). In this paper we illustrate the use of the language for a thermal pollution plume tracking scenario employing unmanned underwater vehicles.