Publications (69) Publications auxquelles un chercheur a participé

2017

  1. A CAN restbus HiL elevator simulator based on code reuse and device para-virtualization

    Proceedings - 2017 IEEE 20th International Symposium on Real-Time Distributed Computing, ISORC 2017

  2. A configurable validation environment for refactored embedded software: An application to the vertical transport domain

    Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017

  3. A cost-benefit approach for the evaluation of prognostics-updated maintenance strategies in complex dynamic systems

    Risk, Reliability and Safety: Innovating Theory and Practice - Proceedings of the 26th European Safety and Reliability Conference, ESREL 2016

  4. A model-based extension to HiP-HOPS for dynamic fault propagation studies

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

  5. A study of the personalization of spam content using Facebook public information

    Logic Journal of the IGPL, Vol. 25, Núm. 1, pp. 30-41

  6. A survey on the inventory-routing problem with stochastic lead times and demands

    Journal of Applied Logic, Vol. 24, pp. 15-24

  7. A unified semantic ontology for energy management applications

    CEUR Workshop Proceedings

  8. Action research for improving system engineering teaching in embedded systems master

    Proceedings - 43rd Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2017

  9. Adapting the Web for People with Upper Body Motor Impairments Using Touch Screen Tablets

    Interacting with Computers, Vol. 29, Núm. 6, pp. 794-812

  10. Addressing web locator fragility: A case for browser extensions

    Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017

  11. An intelligent decision support system for assessing the default risk in small and medium-sized enterprises

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

  12. An oscillator-based smooth real-time estimate of gait phase for wearable robotics

    Autonomous Robots, Vol. 41, Núm. 3, pp. 759-774

  13. Analysis of the end-tidal CO2 as shock outcome predictor in out-of-hospital cardiac arrest

    Resuscitation, Vol. 118, pp. e7

  14. Anharmonicity and the isotope effect in superconducting lithium at high pressures: A first-principles approach

    Physical Review B, Vol. 96, Núm. 18

  15. Assessment of the diagnoses of automated external defibrillators operated by basic life support personnel

    Resuscitation, Vol. 118, pp. e1

  16. Automatic generation of test system instances for configurable cyber-physical systems

    Software Quality Journal, Vol. 25, Núm. 3, pp. 1041-1083

  17. Brain white matter lesion segmentation with 2D/3D CNN

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

  18. Challenges for clinicians in ECG based retrospective resuscitation rhythm annotation

    Resuscitation, Vol. 118, pp. e48-e49

  19. Coordinación en PBL integrando múltiples asignaturas: una experiencia práctica

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Núm. 2

  20. Determining appropriate data analytics for transformer health monitoring

    10th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2017