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

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

  2. 9th International Workshop on Software Engineering for E-learning (ISELEAR'18)

    ACM International Conference Proceeding Series

  3. A comparative study of methods for collective prediction determination using interval estimates

    ACM International Conference Proceeding Series

  4. A decision approach for energy distribution management in smart cities

    Proceedings of the ACM Symposium on Applied Computing

  5. A language-independent technique for assessing tweet success: An experience report

    IEEE Access, Vol. 6, pp. 62384-62395

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

  7. A novel adaptation approach for collaborative ubiquitous applications

    International Journal of Autonomous and Adaptive Communications Systems, Vol. 11, Núm. 4, pp. 293-314

  8. A systematic approach for performance assessment using process mining: An industrial experience report

    Empirical Software Engineering, Vol. 23, Núm. 6, pp. 3394-3441

  9. A tool for domain-independent model mutation

    Science of Computer Programming, Vol. 163, pp. 85-92

  10. A tool for the digital edition of interactive fiction using stretchtext.

    Information Visualisation - Biomedical Visualization, Visualisation on Built and Rural Environments and Geometric Modelling and Imaging, IV 2018

  11. A tool supported methodology to passively test asynchronous systems with multiple users

    Information and Software Technology, Vol. 104, pp. 162-178

  12. A tool-supported framework for work planning on construction sites based on constraint programming

    Automation in Construction, Vol. 86, pp. 190-198

  13. AUNTY: A tool to automatically analyze data using fuzzy automata

    Proceedings - 3rd International Conference on Computational Intelligence and Applications, ICCIA 2018

  14. Adaptive and reconfigurable systems and architectures (AROSA 2018): Summary report

    Proceedings - 2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018

  15. An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data

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

  16. An axiomatic semantics for iocos_ conformance relation

    Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184

  17. An efficient characterization of petri net solvable binary words

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

  18. Associative unification and symbolic reasoning modulo associativity in maude

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

  19. Averist: Algorithmic verifier for stability of linear hybrid systems

    HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

  20. Bounded Reordering in the Distributed Test Architecture

    IEEE Transactions on Reliability, Vol. 67, Núm. 2, pp. 522-537