Departamento
Sistemas Informáticos y Computación
Publicaciones (26) Publicaciones en las que ha participado algún/a investigador/a
2018
-
A language-independent technique for assessing tweet success: An experience report
IEEE Access, Vol. 6, pp. 62384-62395
-
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
-
A novel adaptation approach for collaborative ubiquitous applications
International Journal of Autonomous and Adaptive Communications Systems, Vol. 11, Núm. 4, pp. 293-314
-
A systematic approach for performance assessment using process mining: An industrial experience report
Empirical Software Engineering, Vol. 23, Núm. 6, pp. 3394-3441
-
A tool for domain-independent model mutation
Science of Computer Programming, Vol. 163, pp. 85-92
-
A tool supported methodology to passively test asynchronous systems with multiple users
Information and Software Technology, Vol. 104, pp. 162-178
-
A tool-supported framework for work planning on construction sites based on constraint programming
Automation in Construction, Vol. 86, pp. 190-198
-
An axiomatic semantics for iocos_ conformance relation
Journal of Logical and Algebraic Methods in Programming, Vol. 100, pp. 152-184
-
Bounded Reordering in the Distributed Test Architecture
IEEE Transactions on Reliability, Vol. 67, Núm. 2, pp. 522-537
-
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
-
Computable aggregations
Information Sciences, Vol. 460-461, pp. 439-449
-
Declarative debugging of concurrent Erlang programs
Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41
-
Enhancing set constraint solvers with bound consistency
Expert Systems with Applications, Vol. 92, pp. 485-494
-
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
-
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
-
Kripke semantics for higher-order type theory applied to constraint logic programming languages
Theoretical Computer Science, Vol. 712, pp. 1-37
-
Mutomvo: Mutation testing framework for simulated cloud and HPC environments
Journal of Systems and Software, Vol. 143, pp. 187-207
-
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
-
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
-
Parallel cost analysis
ACM Transactions on Computational Logic, Vol. 19, Núm. 4