1EPS Sistemas de Informacion-ISI

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 unified semantic ontology for energy management applications

   CEUR Workshop Proceedings

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

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

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

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

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

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

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

8. Enabling Co-Simulation of Smart Energy Control Systems for Buildings and Districts

   2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA)

9. Enabling Co-simulation of smart energy control systems for buildings and districts

   IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

10. GSN support of mixed-criticality systems certification

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

11. Implementation of a null space anomaly detection method on rolling element bearings

    WCCM 2017 - 1st World Congress on Condition Monitoring 2017

12. Increasing dependability in safety critical CPSs using reflective statecharts

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

13. Introduction

    Proceedings of the 2017 IEEE International Workshop of Electronics, Control, Measurement, Signals and their Application to Mechatronics, ECMSM 2017

14. Modeling systems variability with Delta Rhapsody

    Actas de las 22nd Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2017

15. Multiplex: A co-simulation architecture for elevators validation

    Proceedings of the 2017 IEEE International Workshop of Electronics, Control, Measurement, Signals and their Application to Mechatronics, ECMSM 2017

16. Product line engineering of monitoring functionality in industrial cyber-physical systems: A domain analysis

    ACM International Conference Proceeding Series

17. REnnovates: Flexibilidad en distritos energía cero

    Estrategia para la construcción inteligente y sostenible: 8º Congreso Europeo sobre Eficiencia Energética y Sostenibilidad en Arquitectura y Urbanismo – 1er Congreso Internacional de Construcción Avanzada: Donostia/San Sebastián, 5-7 Julio 2017

18. Search-based product line fault detection allocating test cases iteratively

    ACM International Conference Proceeding Series

19. Search-based test case generation for Cyber-Physical Systems

    2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings

20. Test optimisation for highly-configurable cyber-physical systems

    ACM International Conference Proceeding Series