Publications

[Google Scholar | Scopus | Web of Science | ORCID | Authenticus]

Journal articles

Floralens: a Deep Learning Model for the Portuguese Native Flora (draft under review)
[PDF]
with António Filgueiras, Luís Lopes, Miguel Marques and Hugo Silva, 2024

Jay - a Software Framework for Prototyping and Evaluating Offloading Applications in Hybrid Edge Clouds @ Software: Practice and Experience, 2023
[PDF, BibTeX, DOI: 10.1002/spe.3231]
with Joaquim Silva, Luís Lopes, and Fernando Silva

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

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

Book chapters

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

International conference and workshop proceedings

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

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

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

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

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

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.

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

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]

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

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

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

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

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

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

Marine Operations with the SWORDFISH Autonomous Surface Vehicle @ IEEE Robótica'07
[PDF, BibTeX]
with Hugo Ferreira, Ricardo Martins et al. from LSTS and LSA

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

Portuguese conferences and workshops

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

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

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

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

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

Scientific outreach articles (by invitation)

Identificação Taxonómica em Biologia Usando Inteligência Artificial @ Revista de Ciência Elementar, 2022
[PDF, BibTeX, DOI: 10.24927/rce2022.050]
with Luís Lopes, Tomás Mamede, António Filgueiras, Miguel Marques, and Manuel Coutinho

A Inteligência Artificial ao Serviço dos Entusiastas da Natureza @ Borboletim, 2022
[PDF, BibTeX]
with Luís Lopes

Technical reports (incomplete list)

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

Thesis

Runtime Programming
PhD Thesis, Doutoramento em Ciência de Computadores, Faculdade de Ciências da Universidade do Porto, 2011, supervied by Luís Lopes and Christoph Kirsch

A study on the optimisation of Java RMI Programs
MSc Thesis, Department of Computing, Imperial College London, 1997, supervised by Paul Kelly