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

Publications

[Google Scholar | ORCID | Authenticus]

2021

Energy-Aware Adaptive Offloading of Soft Real-Time Jobs in Mobile Edge Clouds @ Journal of Cloud Computing
[PDF, BibTeX, DOI: 10.1186/s13677-021-00251-9]
with Joaquim Silva, Luís Lopes, and Fernando Silva

2020

Jay: Adaptive Computation Offloading for Hybrid Cloud Environments @ FMEC'20
[PDF, BibTeX, DOI: 10.1109/FMEC49853.2020.9144950]
with Joaquim Silva, Luís Lopes, and Fernando Silva

Ramble: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds @ FMEC'20
[PDF, BibTeX, DOI: 10.1109/FMEC49853.2020.9144881]
with Miguel Garcia, João Rodrigues, Joaquim Silva, and Luís Lopes

2018

Flux: a platform for dynamically reconfigurable mobile crowd-sensing @ ACM Transactions on Sensor Networks (TOSN)
[PDF, BibTeX, DOI: 10.1145/3200202]
with Nuno Silva and Luís Lopes

Video Dissemination in Untethered Edge-Clouds: a Case Study @ DAIS'18
[PDF, BibTeX, DOI: 10.1007/978-3-319-93767-0_10]
with João Rodrigues, Joaquim Silva, Luís Lopes and Fernando Silva

Dolphin: a task orchestration language for autonomous vehicle networks @ IROS'18
[PDF, Companion video (extended version), Dolphin website, BibTeX, DOI: 10.1109/IROS.2018.8594059]
with Keila Lima, José Pinto, and João B. Sousa

Programming Networked Vehicle Systems using Dolphin -- Field Tests at REP'17 @ IEEE/MTS Oceans'18
[
PDF, Dolphin website, REP'17 website, BibTeX, DOI: 10.1109/OCEANSKOBE.2018.8559474]
with Keila Lima, José Pinto, and João B. Sousa

Ramble: opportunistic content dissemination for infrastructure-deprived environments @ INForum'18 (extended abstract/poster)
[PDF, BibTeX]
with Miguel Garcia, João Rodrigues, and Luís Lopes

Simulation of mobile edge-cloud applications using Mininet-WiFi @ INForum'18 (extended abstract/poster)
[PDF, BibTeX]
with Tiago Castanheira, Joaquim Silva, and Luís Lopes

2017

Streaming Sensor Data from Dynamically Reprogrammable Tasks Running on Mobile Devices @ BuildSys'17
[PDF, BibTeX, DOI: 10.1145/3137133.3137139]
with Nuno Silva and Luís Lopes

Deductive Verification of MPI Protocols @ Behavioural Types: from Theory to Tools (book chapter)
[PDF, BibTeX, DOI: 10.13052/rp-9788793519817]
with Vasco Vasconcelos, Francisco Martins, Nobuko Yoshida, and Nicholas Ng

Towards a Middleware for Mobile Edge-Cloud Applications @ MECC'17
with João Rodrigues, Luís Lopes, and Fernando Silva
[
PDF, BibTeX, DOI: 10.1145/3152360.3152361]

P3-Mobile: Parallel Computing for Mobile Edge-Clouds @ CrossCloud'17
[PDF, BibTeX, DOI: 10.1145/3069383.3069388]
with Joaquim Silva, Daniel Silva, Luís Lopes, and Fernando Silva

2015

Protocol-Based Verification of Message-Passing Parallel Programs @ OOPSLA'15
[PDF, BibTeX, DOI: 10.1145/2858965.2814302]
with Hugo A. Lopez, Francisco Martins, Nicholas Ng, César Santos, Vasco Vasconcelos, and Nobuko Yoshida

NVL: a coordination language for unmanned vehicle networks @ SAC'15 - IRMAS track
[PDF, BibTeX, Poster: A4 | A1, DOI: 10.1145/2695664.2696029]
with Manuel Ribeiro, José Pinto, João B. Sousa, Francisco Martins.

Towards Programmable Coordination of Unmanned Vehicle Networks @ NGCUV'15
[PDF, BibTeX, DOI: 10.1016/j.ifacol.2015.06.042]
with Manuel Ribeiro, José Pinto, João B. Sousa, Francisco Martins.

2014

Cooperari: a tool for cooperative testing of multithreaded Java applications @ PPPJ'14
[PDF, Talk slides,Cooperari homepage, BibTeX, DOI: 10.1145/2647508.2647523]
with Francisco Martins and Miguel Simões

Protocol-based verification of MPI programs @ Tech. report DI/FCUL 05, 2014
[PDF, BibTeX, DOI: 10455/6901]
with Francisco Martins, Vasco T. Vasconcelos, César Santos, Nicholas Ng, and Nobuko Yoshida

Type-based verification of message-passing parallel programs @ Tech. report DI/FCUL 04, 2014
[PDF, BibTeX, DOI: 10455/6902]
with Vasco T. Vasconcelos, Francisco Martins, Hugo A. López, César Santos, and Nobuko Yoshida

2013

Towards deductive verification of MPI programs against session types @ PLACES'13
[PDF, BibTeX, annotated MPI headers and examples, DOI: 10.4204/EPTCS.137.9]
with Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng and Nuno Martins.

The LSTS Toolchain for Networked Vehicle Systems @ MTS/IEEE Oceans'13 + GitHub
[PDF, BibTeX, DOI: 10.1109/OCEANS-Bergen.2013.6608148]
with José Pinto, Paulo Dias, Ricardo Martins et al. from LSTS

Fine-grained patches for Java software upgrades @ HotSWUp'13
[PDF, BibTeX, aspa homepage]

Especificação e Verificação de Protocolos para Programas MPI @ INForum'13 (portuguese)
[PDF, BibTeX]
with Nuno Dias Martins, César Santos, Francisco Martins and Vasco T. Vasconcelos

2012

Verification of MPI programs using session types @ EuroMPI'12 (short abstract/poster)
[PDF, poster, BibTeX, DOI: 10.1007/978-3-642-33518-1_37]
with Kohei Honda, Francisco Martins, Nicholas Ng, Vasco T. Vasconcelos, and Nobuko Yoshida

Implementation of a control architecture for networked vehicle systems @ NGCUV'12
[PDF, BibTeX, DOI: 10.3182/20120410-3-PT-4028.00018]
with José Pinto, Pedro Calado et al. from LSTS

2011

Runtime Programming through Model-Preserving, Scalable Runtime Patches @ ACSD'11
[PDF, BibTeX, DOI: 10.1109/ACSD.2011.28]
with Christoph Kirsch, Luís Lopes, and Ana Sokolova

A test bed for rapid fight testing of UAV control algorithms @ RED-UAS'11
[PDF, BibTeX]
with Tiago Oliveira, Gonçalo Cruz, and Pedro Encarnação

Tools for UAV operations @ RED-UAS'11
[PDF, BibTeX]
with Paulo Dias, Ricardo Martins, Ricardo Bencatel and João Sousa

2010

Runtime Programming through Model-Preserving, Scalable Runtime Patches @ FACS 2010 (Doctoral track, short abstract)
[PDF, BibTeX]
with Christoph Kirsch, Luís Lopes, and Ana Sokolova

Towards a sustained presence in the ocean: sensor systems on networked vehicles @ Jornadas Eng. Hidrográfica
[PDF, BibTeX]
with R. Bencatel and others

The SeaCon Autonomous Underwater Vehicle System @ Jornadas Eng. Hidrográfica
[PDF, BibTeX]
with João Sousa and others

2009

Distributed, Modular HTL @ RTSS'09
[PDF, BibTeX, DOI: 10.1109/RTSS.2009.9]
with Tom Henzinger, Christoph Kirsch, and Ana Sokolova

Viability-based computation of spatially constrained minimum time trajectories foran autonomous underwater vehicle: implementation and experiments @ ACC'09.
[PDF, BibTeX, DOI: 10.1109/ACC.2009.5160166, news article @ CNET.com]
with Andrew Tinka, João Sousa and other people from UC Berkeley and LSTS

IMC: A Communication Protocol for Networked Vehicles and Sensors @ Oceans Europe'09
[PDF, BibTeX, DOI: 10.1109/OCEANSE.2009.5278245]
with Ricardo Martins, Paulo Dias, José Pinto, Jão Sousa, and Fernando Lobo Pereira from LSTS

2008

Semantics-Preserving and Incremental Runtime Patching of Real-Time Programs @ APRES'08
[PDF, BibTeX]
with Christoph Kirsch and Luís Lopes

2007

AUV Control and Communication using Underwater Acoustic Networks @ Oceans Europe'07
[PDF, BibTeX, DOI: 10.1109/OCEANSE.2007.4302469]
with José Pinto, Sean Kragelund and other people from LSTS and the US Naval Postgraduate School

Swordfish: an Autonomous Surface Vehicle for Network Centric Operations @ Oceans Europe'07
[PDF, BibTeX, DOI: 10.1109/OCEANSE.2007.4302467]
with Hugo Ferreira, Ricardo Martins et al. from LSTS and LSA

2006

The use of real-time publish-subscribe middleware in networked vehicle systems @ MVS'06
[PDF, BibTeX, DOI: 10.3182/20061002-2-BR-4906.00019]
with João Sousa and Gil Gonçalves from LSTS

Seaware: A Publish/Subscribe Communications Middleware for Networked Vehicle Systems @ MCMC'06
[PDF, BibTeX]
with João Sousa and Gil Gonçalves from LSTS

Neptus: a framework to support a mission life cycle @ MCMC'06
[PDF, BibTeX, Neptus homepage]
with José Pinto, Paulo Dias, Rui Gonçalves et al. from LSTS

Older

A study on the optimisation of Java RMI Programs
MSc Thesis, Imperial College London

Object Oriented Programming: Data Preparation and Visualization of FEM Models @ Encontro Nacional de Mecânica Computacional
[PDF]
with Álvaro Azevedo, João Barros e Pedro Branco