Kongressbeiträge (19) Publikationen, an denen Forscher/innen teilgenommen haben

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