Eduardo R. B. Marques
Eduardo R. B. Marques
DCC / FCUP & CRACS / INESC-TEC
E-mail megerősítve itt: dcc.fc.up.pt - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
The LSTS Toolchain for Networked Vehicle Systems
J Pinto, PS Dias, R Martins, J Fortuna, ERB Marques, J Sousa
IEEE/MTS Oceans'13, 2013
1132013
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
1082009
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
612012
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
562007
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
512007
Protocol-Based Verification of Message-Passing Parallel Programs
HA Lopez, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ...
OOPSLA'15, 2015
422015
Seaware: a publish/subscribe communications middleware for networked vehicle systems
ERB Marques, GM Gonçalves, JB Sousa
IFAC MCMC'06, 2006
402006
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
392006
Verification of MPI programs using session types
K Honda, ERB Marques, F Martins, N Ng, VT Vasconcelos, N Yoshida
EuroMPI'12, 2012
272012
Towards deductive verification of MPI programs against session types
ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins
PLACES'13, 2013
252013
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
242017
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
Distributed, modular HTL
TA Henzinger, CM Kirsch, ERB Marques, A Sokolova
RTSS'09, 171-180, 2009
182009
Semantics-preserving and incremental runtime patching of real-time programs
CM Kirsch, L Lopes, ERB Marques
APRES'08, 2008
102008
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
92017
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
92007
The use of real-time publish-subscribe middleware in networked vehicle systems
ERB Marques, GM Gonçalves, JB Sousa
IFAC MVS'06, 2006
82006
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
72018
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
62015
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
52018
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20