Publicaciones (54) Publicaciones de LUIS FERNANDO LLANA DÍAZ

2023

  1. Heuristics for Quantum Computing Dealing with 3-SAT

    Mathematics, Vol. 11, Núm. 8

2022

  1. Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency

    Software - Practice and Experience, Vol. 52, Núm. 7, pp. 1581-1614

  2. Metamorphic testing of oracle quantum programs

    Proceedings - 3rd International Workshop on Quantum Software Engineering, Q-SE 2022

  3. Using Ant Colony Optimisation to Select Features Having Associated Costs

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

2020

  1. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

  2. Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing

    2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings

  3. MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

    Journal of Systems and Software, Vol. 163

  4. Runtime Verification of Contracts with Themulus

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

  5. Themulus: A Timed Contract-calculus

    International Conference on Model-Driven Engineering and Software Development

  6. Themulus: A timed contract-calculus

    MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

2019

  1. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study

    Interactive Learning Environments, Vol. 27, Núm. 1, pp. 15-32

  2. Mobile applications for people with Parkinson’s disease: A systematic search in app stores and content review

    Journal of Universal Computer Science, Vol. 25, Núm. 7, pp. 740-763

  3. Probabilistic software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 54-78

2018

  1. An axiomatic semantics for iocos_ conformance relation

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

2017

  1. A Calculus Supporting Contract Reasoning and Monitoring

    IEEE Access, Vol. 5, pp. 6735-6745

  2. A formal framework to specify and test systems with fuzzy-time information

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

  3. Analysis of temporal complex events in sensor networks

    Journal of Information and Telecommunication, Vol. 1, Núm. 3, pp. 273-289

  4. Timed contract compliance under event timing uncertainty

    Frontiers in Artificial Intelligence and Applications

2016

  1. Cost-related interface for software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 85, Núm. 1, pp. 227-244

  2. The simulation relation for formal E-Contracts

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