Eduardo R. B. Marques
Eduardo R. B. Marques
Verified email at - Homepage
Cited by
Cited by
The LSTS Toolchain for Networked Vehicle Systems
J Pinto, PS Dias, R Martins, J Fortuna, ERB Marques, J Sousa
IEEE/MTS Oceans'13, 2013
IMC: A communication protocol for networked vehicles and sensors
R Martins, PS Dias, ERB Marques, J Pinto, JB Sousa, FL Pereira
Oceans Europe'09, 1-6, 2009
Implementation of a control architecture for networked vehicle systems
J Pinto, P Calado, J Braga, P Dias, R Martins, E Marques, J Sousa
IFAC NGCUV'12, 2012
Swordfish: an autonomous surface vehicle for network centric operations
H Ferreira, R Martins, E Marques, J Pinto, A Martins, J Almeida, J Sousa, ...
Oceans Europe'07, 1-6, 2007
AUV control and communication using underwater acoustic networks
ERB Marques, J Pinto, S Kragelund, PS Dias, L Madureira, A Sousa, ...
Oceans Europe'07, 1-6, 2007
Protocol-Based Verification of Message-Passing Parallel Programs
HA Lopez, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ...
OOPSLA'15, 2015
Neptus–a framework to support a mission life cycle
J Pinto, PS Dias, GM Gonçalves, R Gonçalves, E Marques, J Sousa, ...
IFAC MCMC'06 9, 2006, 2006
Seaware: a publish/subscribe communications middleware for networked vehicle systems
ERB Marques, GM Gonçalves, JB Sousa
IFAC MCMC'06, 2006
Towards a Middleware for Mobile Edge-Cloud Applications
J Rodrigues, ERB Marques, L Lopes, F Silva
2nd Workshop on Middleware for Edge Clouds & Cloudlets, 2017
Verification of MPI programs using session types
K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida
EuroMPI'12, 2012
Towards deductive verification of MPI programs against session types
ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins
PLACES'13, 2013
Distributed, modular HTL
TA Henzinger, CM Kirsch, ERB Marques, A Sokolova
RTSS'09, 171-180, 2009
Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments
A Tinka, S Diemer, L Madureira, ERB Marques, JB De Sousa, R Martins, ...
American Control Conference (ACC'09), 3603-3610, 2009
Semantics-preserving and incremental runtime patching of real-time programs
CM Kirsch, L Lopes, ERB Marques
APRES'08, 2008
Dolphin: a task orchestration language for autonomous vehicle networks
K Lima, ERB Marques, J Pinto, JB Sousa
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
P3-Mobile: Parallel Computing for Mobile Edge-Clouds
J Silva, D Silva, ERB Marques, L Lopes, F Silva
CrossCloud'17: The 4th Workshop on CrossCloud Infrastructures & Platforms …, 2017
Marine Operations with the SWORDFISH Autonomous Surface Vehicle
H Ferreira, R Martins, E Marques, J Pinto, A Martins, JM Almeida, ...
IEEE Robótica 2007-7th Conference on Mobile Robots and Competitions, 2007
The use of real-time publish-subscribe middleware in networked vehicle systems
ERB Marques, GM Gonçalves, JB Sousa
IFAC MVS'06, 2006
Video Dissemination in Untethered Edge-Clouds: a Case Study
J Rodrigues, ERB Marques, J Silva, L Lopes, F Silva
Proc. Intl. Conf. on Distributed Applications and Interoperable Systems …, 2018
Towards Programmable Coordination of Unmanned Vehicle Networks
ERB Marques, M Ribeiro, J Pinto, JB Sousa, F Martins
IFAC NGCUV'15, 2015
The system can't perform the operation now. Try again later.
Articles 1–20