Eduardo R. B. Marques

Dep. Ciência de Computadores @ FCUP
CRACS / INESC-TEC
Email: edrdo __at__ dcc.fc.up.pt
Room: 1.72 :: Tel. (+351) 220 402 972

Home | Publications | Projects | Software | Supervision | Teaching | Personal

Publications

[Google Scholar | ORCID | Authenticus]

Streaming Sensor Data from Dynamically Reprogrammable Tasks Running on Mobile Devices @ BuildSys'17
[PDF (preprint), BibTeX]
with Nuno Silva and Luís Lopes

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

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 Andrés 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

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

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

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

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

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