Publikationen (18) Publikationen, an denen Forscher/innen teilgenommen haben

2018

  1. A case study on the use of machine learning techniques for supporting technology watch

    Data and Knowledge Engineering, Vol. 117, pp. 239-251

  2. A hypervisor architecture for low-power real-time embedded systems

    Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018

  3. A methodology for model-based verification of safety contracts and performance requirements

    Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Vol. 232, Núm. 3, pp. 227-247

  4. Design of nanostructured siloxane-gelatin coatings: Immobilization strategies and dissolution properties

    Journal of Non-Crystalline Solids, Vol. 481, pp. 368-374

  5. Employing Multi-Objective Search to Enhance Reactive Test Case Generation and Prioritization for Testing Industrial Cyber-Physical Systems

    IEEE Transactions on Industrial Informatics, Vol. 14, Núm. 3, pp. 1055-1066

  6. Employing multi-objective search to enhance reactive test generation and prioritization for testing industrial cyber-physical systems

    GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion

  7. Entorno de validación configurable para software embebido refactorizado y su aplicación en ascensores

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018

  8. Generating test systems in simulink models for testing product lines with ASTERYSCO

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018

  9. Implementation of a Reference Architecture for Cyber Physical Systems to support Condition Based Maintenance

    2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018

  10. La importancia de la relación empresa-universidad en la formación del alumno

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

  11. Model-Based Personalized Visualization System for Monitoring Evolving Industrial Cyber-Physical System

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC

  12. Multi-objective black-box test case selection for cost-effectively testing simulation models

    GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference

  13. Null is not always empty: Monitoring the null space for field-level anomaly detection in industrial IoT environments

    2018 Global Internet of Things Summit, GIoTS 2018

  14. Over-the-air operation of mobile and multicast linear precoding for a multi-spot-beam mobile satellite service

    Ka and Broadband Communications Conference

  15. Providing proactiveness: Data analysis techniques portfolios

    The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 145-238

  16. Spectrum-based fault localization in software product lines

    Information and Software Technology, Vol. 100, pp. 18-31

  17. Success stories on real pilots

    The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 311-496

  18. The MANTIS reference architecture

    The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance (River Publishers), pp. 37-92