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. Enabling Co-Simulation of Smart Energy Control Systems for Buildings and Districts

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

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

   IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

8. GSN support of mixed-criticality systems certification

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

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

   WCCM 2017 - 1st World Congress on Condition Monitoring 2017

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

11. Modeling systems variability with Delta Rhapsody

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

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

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

    ACM International Conference Proceeding Series

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

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

    ACM International Conference Proceeding Series

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

    2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings

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

    ACM International Conference Proceeding Series

18. The Way Cyber Physical Systems Will Revolutionise Maintenance

    30th Conference on Condition Monitoring and Diagnostic Engineering Management (COMADEM). Lancashire. 10-13 July. Conference Handbook and Abstracts

19. Towards mutation testing of configurable simulink models: A product line engineering perspective

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