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

2018

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

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

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

  3. A novel adaptation approach for collaborative ubiquitous applications

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

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

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

  5. A tool for domain-independent model mutation

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

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

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

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

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

  8. An axiomatic semantics for iocos_ conformance relation

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

  9. Bounded Reordering in the Distributed Test Architecture

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

  10. Changes of spin axis and rate of the asteroid (99942) Apophis during the 2029 close encounter with Earth: A constrained model

    Astronomy and Astrophysics, Vol. 617

  11. Computable aggregations

    Information Sciences, Vol. 460-461, pp. 439-449

  12. Declarative debugging of concurrent Erlang programs

    Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41

  13. Enhancing set constraint solvers with bound consistency

    Expert Systems with Applications, Vol. 92, pp. 485-494

  14. Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage

    Journal of Information and Telecommunication, Vol. 2, Núm. 1, pp. 2-18

  15. IT governance in higher education institutions: A systematic literature review

    International Journal of Human Capital and Information Technology Professionals, Vol. 9, Núm. 2, pp. 52-67

  16. Kripke semantics for higher-order type theory applied to constraint logic programming languages

    Theoretical Computer Science, Vol. 712, pp. 1-37

  17. Mutomvo: Mutation testing framework for simulated cloud and HPC environments

    Journal of Systems and Software, Vol. 143, pp. 187-207

  18. NaturTtSML: Un esquema de anotación para la mejora de la naturalidad en los sistemas de síntesis de voz

    E-Aesla, Núm. 4, pp. 375-390

  19. On-the-fly model checking for extended action-based probabilistic operators

    International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 5, pp. 563-587

  20. Parallel cost analysis

    ACM Transactions on Computational Logic, Vol. 19, Núm. 4