Miguel Garcia

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 13

Top Topics

Underwater Vehicles

Storage Systems

Top Venues

IEEE Robotics Autom. Lett.

Future Gener. Comput. Syst.

Publications

Yiyin Gu, Miguel Garcia, Yiqun Zhang, Alejandra J. Magana, Bedrich Benes, Voicu Popescu
An XR Environment for AI Education: Design and First Implementation. VR Workshops (2024)
Kenneth J. Tobin, Aaron Sanchez, Daniela Esparza, Miguel Garcia, Deepak Ganta, Marvin E. Bennett
Machine Learning Downscaling of SoilMERGE in the United States Southern Great Plains. Remote. Sens. 15 (21) (2023)
Francisco Ortin, José Quiroga, Oscar Rodriguez-Prieto, Miguel Garcia
Evaluation of the Use of Different Parser Generators in a Compiler Construction Course. WorldCIST (3) (2022)
Christyan Cruz Ulloa, Miguel Garcia, Jaime del Cerro, Antonio Barrientos
Deep Learning for Victims Detection from Virtual and Real Search and Rescue Environments. ROBOT (2) (2022)
Miguel Garcia, Pedro Castillo, Eduardo Campos, Rogelio Lozano
Design, Construction, and Control for an Underwater Vehicle Type Sepiida. Robotica 39 (5) (2021)
Matthias Korb, Qiuting Huang, Philipp Stockel, Götz C. Kappen, Benjamin Weber, Miguel Garcia
A Cellular-Modem-Hosted Low-Cost Single-Shot Dual-Mode Assisted-GNSS Receiver for the Internet of Things. PLANS (2020)
Francisco Ortin, Oscar Rodriguez-Prieto, Nicolas Pascual, Miguel Garcia
Heterogeneous tree structure classification to label Java programmers according to their expertise level. Future Gener. Comput. Syst. 105 (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)
Adrian Manzanilla, Sergio Reyes, Miguel Garcia, Diego A. Mercado, Rogelio Lozano
Autonomous Navigation for Unmanned Underwater Vehicles: Real-Time Experiments Using Computer Vision. IEEE Robotics Autom. Lett. 4 (2) (2019)
Miguel Garcia, Alysson Bessani, Nuno Neves
Lazarus: Automatic Management of Diversity in BFT Systems. Middleware (2019)
Miguel Garcia, Nuno Neves, Alysson Bessani
SieveQ: A Layered BFT Protection System for Critical Services. IEEE Trans. Dependable Secur. Comput. 15 (3) (2018)
André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves
On the Challenges of Building a BFT SCADA. DSN (2018)
Íñigo de la Parra, Javier Marcos, Miguel Garcia, Luis Marroyo
Dynamic ramp-rate control to smooth short-term power fluctuations in large photovoltaic plants using battery storage systems. IECON (2016)
Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro
Analysis of operating system diversity for intrusion tolerance. Softw. Pract. Exp. 44 (6) (2014)
Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani
An intrusion-tolerant firewall design for protecting SIEM systems. DSN Workshops (2013)
Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro
OS diversity for intrusion tolerance: Myth or reality? DSN (2011)
Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp
Extending Scala with Database Query Capability. J. Object Technol. 9 (4) (2010)
Miguel Garcia
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java. ICOODB (2009)
Miguel Garcia
Efficient Integrity Checking for Essential MOF + OCL in Software Repositories. J. Object Technol. 7 (6) (2008)
Miguel Garcia
Bidirectional Synchronization of Multiple Views of Software Models. DSML (2008)
Miguel Garcia
Rules for type-checking of parametric polymorphism in EMF generics. Software Engineering (Workshops) (2007)
Miguel Garcia
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL. MoDELS (Workshops) (2006)
Armando A. Rodriguez, Oguzhan Çifdalöz, Mariano Phielipp, Jeffrey J. Dickeson, Paul M. Koziol, David Miles, Miguel Garcia, Robert McCullen, Jerald Willis, Jose Benavides
Description of a Modeling, Simulation, Animation, and Real-Time Control (MoSART) Environment for a Broad Class of Dynamical Systems. CDC (2006)