José Sánchez

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 5

Top Topics

Logical Reasoning

Nonlinear Model Predictive Control

Modular Architecture

Top Venues

Publications

José Sánchez, Noé Aldana, Mihai Lungu, Gerardo Flores
Nonlinear model predictive control of a satellite attitude dynamics in SO(3). ICSTCC (2023)
José Sánchez
MT for L10n: How we build and evaluate MT systems at eBay. AMTA (2) (2018)
Luis de la Torre, Tiago Faustino Andrade, Pedro Sousa, José Sánchez, Maria Teresa Restivo
Assisted Creation and Deployment of Javascript Remote Experiments. Int. J. Online Eng. 12 (9) (2016)
José Sánchez, Gary T. Leavens
Reasoning tradeoffs in languages with enhanced modularity features. MODULARITY (2016)
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
Modular Reasoning in the Presence of Event Subtyping. LNCS Trans. Modul. Compos. 1 (2016)
José Sánchez, Imen Grida Ben Yahia, Noël Crespi
POSTER: Self-Healing Mechanisms for Software-Defined Networks. CoRR (2015)
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
Modular reasoning in the presence of event subtyping. MODULARITY (2015)
José Sánchez, Gary T. Leavens
Static verification of ptolemyrely programs using openJML. FOAL (2014)
Xiaodan Pang, Marta Beltrán, José Sánchez, Eloy Pellicer, J. J. Vegas Olmos, Roberto Llorente, Idelfonso Tafur Monroy
Centralized Optical-Frequency-Comb-Based RF Carrier Generator for DWDM Fiber-Wireless Access Systems. JOCN 6 (1) (2014)
José Sánchez, Gary T. Leavens
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification. SC@STAF (2013)
Elena Aguilar, Antonio Torralba, Ramón González Carvajal, Joaquín Cabezas, José Sánchez, José Manuel Salmerón
A monitoring system for identification and validation of the energetic model of a building using Wireless Sensor Networks. IECON (2012)