Eduardo R. B. Marques

The LSTS toolchain for networked vehicle systems

José Pinto, Paulo Sousa Dias, Ricardo Martins et al. · 2013 · 137 citations

Vehicle Communication, Engineering, Underwater System +17

IMC: A communication protocol for networked vehicles and sensors

Ricardo Martins, Paulo Sousa Dias, Eduardo R. B. Marques et al. · 2009 · 75 citations

Vehicle Communication, Internet Of Vehicle, Underwater Networks +14

SWORDFISH: an Autonomous Surface Vehicle for Network Centric Operations

Hugo Ferreira, Ricardo Martins, Eduardo R. B. Marques et al. · OCEANS 2007 - Europe · 2007 · 65 citations

Autonomous Network, Engineering, Underwater System +21

AUV Control and Communication using Underwater Acoustic Networks

Eduardo R. B. Marques, José Pinto, Sean Kragelund et al. · OCEANS 2007 - Europe · 2007 · 51 citations

Control Framework, Underwater Networks, Engineering +15

Protocol-based verification of message-passing parallel programs

Hugo A. López, Eduardo R. B. Marques, Francisco Martins et al. · 2015 · 48 citations

Present Partypes, Program Checking, Engineering +18