Publicaciones (20) Publicaciones en las que ha participado algún/a investigador/a

2020

  1. A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020

  2. ABLA: An Algorithm for Repairing Structure-Based Locators Through Attribute Annotations

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

  3. Advantages of Arrowhead Framework for the Machine Tooling Industry

    IECON Proceedings (Industrial Electronics Conference)

  4. Bayesian Optimization Approaches for Massively Multi-modal Problems

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

  5. CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker

    Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020

  6. Contrastive explanations for a deep learning model on time-series data

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

  7. Critical Analysis of Coefficient of Friction Derivation Methods for Fretting under Gross Slip Regime

    Tribology International, Vol. 143

  8. DABGEO: A reusable and usable global energy ontology for the energy domain

    Journal of Web Semantics, Vol. 61-62

  9. Data-driven energy resource planning for Smart Cities

    GIoTS 2020 - Global Internet of Things Summit, Proceedings

  10. Evolving Gaussian Process Kernels for Translation Editing Effort Estimation

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

  11. FlexRQC: Model for a flexible robot-driven quality control station

    Procedia Manufacturing

  12. Interpreting remaining useful life estimations combining explainable artificial intelligence and domain knowledge in industrial machinery

    IEEE International Conference on Fuzzy Systems

  13. MODDALS methodology for designing layered ontology structures

    Applied Ontology, Vol. 15, Núm. 2, pp. 185-217

  14. Qos-aware metamorphic testing: An elevation case study

    Proceedings - International Symposium on Software Reliability Engineering, ISSRE

  15. Seeding strategies for multi-objective test case selection: An application on simulation-based testing

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

  16. TRILATERAL: A Model-Based Approach for Industrial CPS – Monitoring and Control

    Communications in Computer and Information Science

  17. Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins

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

  18. Towards a Taxonomy for Eliciting Design-Operation Continuum Requirements of Cyber-Physical Systems

    Proceedings of the IEEE International Conference on Requirements Engineering

  19. Towards an Asset Administration Shell scenario: A use case for interoperability and standardization in Industry 4.0

    Proceedings of IEEE/IFIP Network Operations and Management Symposium 2020: Management in the Age of Softwarization and Artificial Intelligence, NOMS 2020

  20. UP2DATE: Safe and secure over-The-Air software updates on high-performance mixed-criticality systems

    Proceedings - Euromicro Conference on Digital System Design, DSD 2020