Miguel Garcia

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
An XR Environment for AI Education: Design and First Implementation.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2024

2023
Machine Learning Downscaling of SoilMERGE in the United States Southern Great Plains.
Remote. Sens., November, 2023

2022
Deep Learning for Victims Detection from Virtual and Real Search and Rescue Environments.
Proceedings of the ROBOT 2022: Fifth Iberian Robotics Conference, 2022

2021
Design, Construction, and Control for an Underwater Vehicle Type Sepiida.
Robotica, 2021

2020
A Cellular-Modem-Hosted Low-Cost Single-Shot Dual-Mode Assisted-GNSS Receiver for the Internet of Things.
Proceedings of the IEEE/ION Position, Location and Navigation Symposium, 2020

Ramble: Opportunistic Crowdsourcing of User-Generated Data using Mobile Edge Clouds.
Proceedings of the Fifth International Conference on Fog and Mobile Edge Computing, 2020

2019
Autonomous Navigation for Unmanned Underwater Vehicles: Real-Time Experiments Using Computer Vision.
IEEE Robotics Autom. Lett., 2019

Lazarus: Automatic Management of Diversity in BFT Systems.
Proceedings of the 20th International Middleware Conference, 2019

2018
SieveQ: A Layered BFT Protection System for Critical Services.
IEEE Trans. Dependable Secur. Comput., 2018

On the Challenges of Building a BFT SCADA.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2014
Analysis of operating system diversity for intrusion tolerance.
Softw. Pract. Exp., 2014

2013
An intrusion-tolerant firewall design for protecting SIEM systems.
Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2011
OS diversity for intrusion tolerance: Myth or reality?
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010
Extending Scala with Database Query Capability.
J. Object Technol., 2010

2009
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java.
Proceedings of the Object Databases, Second International Conference, 2009

2008
Efficient Integrity Checking for Essential MOF + OCL in Software Repositories.
J. Object Technol., 2008

Bidirectional Synchronization of Multiple Views of Software Models.
Proceedings of the Workshop on Domain-Specific Modeling Languages, 2008

2007
Rules for type-checking of parametric polymorphism in EMF generics.
Proceedings of the Software Engineering 2007, 2007

2006
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL.
Proceedings of the Models in Software Engineering, 2006

Description of a Modeling, Simulation, Animation, and Real-Time Control (MoSART) Environment for a Broad Class of Dynamical Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006


  Loading...