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
    Explore Interest Topics
    Details

    Details

    001
    Publications
    View all 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.

    CloseRead AbstractRead Full Publication

    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

    Read Full Publication

    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

    Read Full Publication

    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.

    CloseRead Abstract