Publicacións (89) Publicacións nas que participase algún/ha investigador/a

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 survey on static analysis and model checking

    Advances in Intelligent Systems and Computing

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

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

  5. An Anti-windup Scheme for PB Based FEL

    Communications in Computer and Information Science

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

    Advances in Intelligent Systems and Computing

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

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

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

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

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

    Proceedings - 2014 International Conference on Electrical Machines, ICEM 2014

  10. Anomalous user comment detection in social news websites

    Advances in Intelligent Systems and Computing

  11. Anomaly detection using string analysis for android malware detection

    Advances in Intelligent Systems and Computing

  12. 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

  13. Berun-azido baterien elektrolitoaren ezaugarritzea

    II Materialen Zientzia eta Teknologia Kongresua

  14. Bio-Inspired Model for Locomotion Assistance

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

  15. Bio-inspired Model for Walking Assistance

    International Workshop on Wearable Robotics (WeRob 2014)

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

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

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

    IEEE International Conference on Fuzzy Systems

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

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

  19. Classification of SSH anomalous connections

    Advances in Intelligent Systems and Computing

  20. Context-aware staged configuration of process variants@runtime

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)