Publications (91) Publications auxquelles un chercheur a participé

2014

  1. A configurable test architecture for the automatic validation of variability-intensive cyber-physical systems

    VALID 2014 - 6th International Conference on Advances in System Testing and Validation Lifecycle

  2. A model-based testing methodology for the systematic validation of highly configurable cyber-physical systems

    VALID 2014 - 6th International Conference on Advances in System Testing and Validation Lifecycle

  3. A novel approach to diagnosing motor skills

    IEEE Transactions on Learning Technologies, Vol. 7, Núm. 4, pp. 304-318

  4. A survey on static analysis and model checking

    Advances in Intelligent Systems and Computing

  5. Adjustable ECR ion source control system: Ion Source Hydrogen Positive project

    2014 19th IEEE-NPSS Real Time Conference, RT 2014 - Conference Records

  6. An Anti-windup Scheme for PB Based FEL

    Communications in Computer and Information Science

  7. An empirical study on word sense disambiguation for adult content filtering

    Advances in Intelligent Systems and Computing

  8. Analysis of massive integration of renewable power plants under new regulatory frameworks

    3rd International Conference on Renewable Energy Research and Applications, ICRERA 2014

  9. Analysis of massive integration of renewable power plants under new regulatory frameworks

    2014 INTERNATIONAL CONFERENCE ON RENEWABLE ENERGY RESEARCH AND APPLICATION (ICRERA)

  10. Analytical model to calculate radial forces in permanent-magnet synchronous machines

    Proceedings - 2014 International Conference on Electrical Machines, ICEM 2014

  11. Anomalous user comment detection in social news websites

    Advances in Intelligent Systems and Computing

  12. Anomaly detection using string analysis for android malware detection

    Advances in Intelligent Systems and Computing

  13. Análisis numérico de modelos de predicción de eficiencia de engranajes cilíndricos rectos

    XX Congreso Nacional de Ingeniería Mecánica

  14. Análisis visual del comportamiento de aplicaciones para Android

    RECSI XIII: actas de la XIII Reunión Española sobre Criptología y Seguridad de la Información. Alicante, 2-5 de septiembre de 2014

  15. Berun-azido baterien elektrolitoaren ezaugarritzea

    II Materialen Zientzia eta Teknologia Kongresua

  16. Bio-Inspired Model for Locomotion Assistance

    7th International Workshop on Human-Friendly Robotics (HFR2014)

  17. Bio-inspired Model for Walking Assistance

    International Workshop on Wearable Robotics (WeRob 2014)

  18. Brain Style Control scheme: Simultaneous Forward and Inverse Model identification and Controller design

    2014 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE)

  19. Brain style control scheme: Simultaneous forward and inverse model identification and controller design

    IEEE International Conference on Fuzzy Systems

  20. CROSS LAYER ENERGY-EFFICIENCY OPTIMIZATION FOR COGNITIVE RADIO TRANSCEIVERS

    2014 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP)