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