Follow
Eduardo R. B. Marques
Eduardo R. B. Marques
DCC / FCUP & CRACS / INESC-TEC
Verified email at dcc.fc.up.pt - Homepage
Title
Cited by
Cited by
Year
The LSTS Toolchain for Networked Vehicle Systems
J Pinto, PS Dias, R Martins, J Fortuna, ERB Marques, J Sousa
IEEE/MTS Oceans'13, 2013
1872013
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
1362009
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
812012
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
752007
Protocol-Based Verification of Message-Passing Parallel Programs
HA Lopez, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ...
OOPSLA'15, 2015
672015
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
672007
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
432006
Seaware: a publish/subscribe communications middleware for networked vehicle systems
ERB Marques, GM Gonçalves, JB Sousa
IFAC MCMC'06, 2006
422006
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
352017
Distributed, modular HTL
TA Henzinger, CM Kirsch, ERB Marques, A Sokolova
RTSS'09, 171-180, 2009
272009
Verification of MPI programs using session types
K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida
EuroMPI'12, 2012
262012
Towards deductive verification of MPI programs against session types
ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins
PLACES'13, 2013
242013
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
222018
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
202009
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
142017
Semantics-preserving and incremental runtime patching of real-time programs
CM Kirsch, L Lopes, ERB Marques
APRES'08, 2008
142008
Energy-Aware Adaptive Offloading of Soft Real-Time Jobs in Mobile Edge Clouds
J Silva, ERB Marques, LMB Lopes, F Silva
Journal of Cloud Computing 10, 2021
132021
NVL: a coordination language for unmanned vehicle networks
ERB Marques, M Ribeiro, J Pinto, JB Sousa, F Martins
ACM Symposium on Applied Computing (SAC'15), 2015
132015
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
132007
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
112018
The system can't perform the operation now. Try again later.
Articles 1–20