Eduardo R. B. Marques

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 17

Top Topics

Systematic Review

Top Venues

J. Cloud Comput.

Publications

António Filgueiras, Eduardo R. B. Marques, Luís M. B. Lopes, Miguel Marques, Hugo Silva
Floralens: a Deep Learning Model for the Portuguese Native Flora. CoRR (2024)
Francisco Martins, A. César C. França, Pedro Paixão, Diogo V. Martinho, Pedro F. Campos, Tatiana B. Gouveia, Helder Lopes, Andreas Ihle, Eduardo R. B. Marques, Élvio Rúbio Gouveia
Emerging Technologies to Promote Fans Interaction in Football Events: A Systematic Review. Adv. Hum. Comput. Interact. 2023 (2023)
Joaquim Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva
Jay: A software framework for prototyping and evaluating offloading applications in hybrid edge clouds. Softw. Pract. Exp. 53 (10) (2023)
Joaquim Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva
Energy-Aware Adaptive Offloading of Soft Real-Time Jobs in Mobile Edge Clouds. CoRR (2021)
Ricardo M. R. Adão, Eduardo R. B. Marques, Alicia V. Carpentier, Humberto Michinel, Jana B. Nieder
Cityscape LoRa Signal Propagation Predicted and Tested Using Real-World Building-Data Based O-FDTD Simulations and Experimental Characterization. Sensors 21 (8) (2021)
Joaquim Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando Silva
Energy-aware adaptive offloading of soft real-time jobs in mobile edge clouds. J. Cloud Comput. 10 (1) (2021)
Joaquim M. A. Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva
Jay: Adaptive Computation Offloading for Hybrid Cloud Environments. FMEC (2020)
Miguel Garcia, João Rodrigues, Joaquim Silva, Eduardo R. B. Marques, Luís M. B. Lopes
Ramble: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds. FMEC (2020)
Keila Lima, Eduardo R. B. Marques, José Pinto, João B. Sousa
Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks. IROS (2018)
Nuno Silva, Eduardo R. B. Marques, Luís M. B. Lopes
Flux: A Platform for Dynamically Reconfigurable Mobile Crowd-Sensing. ACM Trans. Sens. Networks 14 (3-4) (2018)
João Rodrigues, Eduardo R. B. Marques, Joaquim Silva, Luís M. B. Lopes, Fernando M. A. Silva
Video Dissemination in Untethered Edge-Clouds: A Case Study. DAIS (2018)
Keila Lima, Eduardo R. B. Marques, José Pinto, João B. Sousa
Dolphin: a task orchestration language for autonomous vehicle networks. CoRR (2018)
Joaquim Silva, Daniel Silva, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva
P3-Mobile: Parallel Computing for Mobile Edge-Clouds. CCB@EuroSys (2017)
Nuno Silva, Eduardo R. B. Marques, Luís M. B. Lopes
Streaming sensor data from dynamically reprogrammable tasks running on mobile devices. BuildSys@SenSys (2017)
João Rodrigues, Eduardo R. B. Marques, Luís M. B. Lopes, Fernando M. A. Silva
Towards a middleware for mobile edge-cloud applications. MECC@Middleware (2017)
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Protocol-based verification of message-passing parallel programs. OOPSLA (2015)
Eduardo R. B. Marques, Manuel A. Ribeiro, José Pinto, João B. Sousa, Francisco Martins
NVL: a coordination language for unmanned vehicle networks. SAC (2015)
Eduardo R. B. Marques, Francisco Martins, Miguel Simões
Cooperari: a tool for cooperative testing of multithreaded Java programs. PPPJ (2014)
Eduardo R. B. Marques
Fine-grained Patches for Java Software Upgrades. CoRR (2014)
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins
Towards deductive verification of MPI programs against session types. PLACES (2013)
Eduardo R. B. Marques
Fine-grained Patches for Java Software Upgrades. HotSWUp (2013)
Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Verification of MPI Programs Using Session Types. EuroMPI (2012)
Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD (2011)
Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova
Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS (2010)
Andrew Tinka, S. Diemer, L. Madureira, Eduardo R. B. Marques, João Borges de Sousa, Ricardo Martins, José Pinto, Jorge Estrela da Silva, André Sousa, Patrick Saint-Pierre, Alexandre M. Bayen
Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: Implementation and experiments. ACC (2009)
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova
Distributed, Modular HTL. RTSS (2009)