Luis Llana

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 19

Top Topics

Ant Colony Optimisation

Spatial Representation And Reasoning

Top Venues

J. Log. Algebraic Methods Program.

J. Univers. Comput. Sci.

Interact. Learn. Environ.

Publications

María-Emilia Cambronero, Miguel A. Martínez, Luis Llana, Ricardo J. Rodríguez, Alejandro Russo
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies. PeerJ Comput. Sci. 10 (2024)
Rui Abreu, João Paulo Fernandes, Luis Llana, Guilherme Tavares
Metamorphic Testing of Oracle Quantum Programs. Q-SE@ICSE (2022)
Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini
Quantum invariants for the graph isomorphism problem. CoRR (2022)
Carlos Camacho, Pablo C. Cañizares, Luis Llana, Alberto Núñez
Chaos as a Software Product Line - A platform for improving open hybrid-cloud systems resiliency. Softw. Pract. Exp. 52 (7) (2022)
Alfredo Ibias, Luis Llana, Manuel Núñez
Using Ant Colony Optimisation to Select Features Having Associated Costs. ICTSS (2021)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Runtime Verification of Contracts with Themulus. SEFM (2020)
Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace
Themulus: A Timed Contract-calculus. MODELSWARD (2020)
Pablo C. Cañizares, Alberto Núñez, Juan de Lara, Luis Llana
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. J. Syst. Softw. 163 (2020)
Alfredo Ibias, Luis Llana
Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing. CEC (2020)
Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, Luis Llana
Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review. J. Univers. Comput. Sci. 25 (7) (2019)
Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti
Probabilistic software product lines. J. Log. Algebraic Methods Program. 107 (2019)
Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, Adrián Riesco
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. Interact. Learn. Environ. 27 (1) (2019)
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
An axiomatic semantics for iocos_ conformance relation. J. Log. Algebraic Methods Program. 100 (2018)
Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel Núñez
A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. IWANN (2) (2017)
Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes G. Merayo
Analysis of temporal complex events in sensor networks. J. Inf. Telecommun. 1 (3) (2017)
María-Emilia Cambronero, Luis Llana, Gordon J. Pace
A Calculus Supporting Contract Reasoning and Monitoring. IEEE Access 5 (2017)
María-Emilia Cambronero, Luis Llana, Gordon J. Pace
Timed Contract Compliance Under Event Timing Uncertainty. JURIX (2017)
Luis Llana, María-Emilia Cambronero, Gregorio Díaz
The Simulation Relation for Formal E-Contracts. SOFSEM (2016)
Carlos Camacho, Luis Llana, Alberto Núñez
Cost-related interface for software product lines. J. Log. Algebraic Methods Program. 85 (1) (2016)
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
Extending mCRL2 with ready simulation and iocos input-output conformance simulation. SAC (2015)
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
Effectiveness for Input Output Conformance Simulation iocos̱. FORTE (2014)
Ismael Rodríguez, Luis Llana, Pablo Rabanal
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. IEEE Trans. Software Eng. 40 (9) (2014)
Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide
FLOP: A User-Friendly System for Automated Program Assessment. J. Univers. Comput. Sci. 20 (9) (2014)
Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
Input-Output Conformance Simulation (iocos) for Model Based Testing. FMOODS/FORTE (2013)
Gregorio Díaz, Luis Llana
Contract Compliance Monitoring of Web Services. ESOCC (2013)
César Andrés, Carlos Camacho, Luis Llana
A formal framework for software product lines. Inf. Softw. Technol. 55 (11) (2013)
Luis Llana, Rafael Martínez-Torres
IOCO as a Simulation. SEFM Workshops (2013)
Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana
CLAT: Collaborative Learning Adaptive Tutor. SEKE (2012)
Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo
Conformance Verification of Normative Specifications using C-O Diagrams FLACOS (2012)
Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores
FLOP, a free laboratory of programming. Koli Calling (2012)
César Andrés, Luis Llana
Compression Strategies for Passive Testing. ICST Workshops (2011)
César Andrés, Luis Llana, Manuel Núñez
Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation (2011)
Rafael García, Luis Llana, Constantino Malagón, Jesús Pancorbo
Event Prediction in Network Monitoring Systems: Performing Sequential Pattern Mining in Osmius Monitoring Tool. ICDM (2010)
F. Javier Crespo, Alberto de la Encina, Luis Llana
Fuzzy-Timed Automata. FMOODS/FORTE (2010)
Alberto de la Encina, Luis Llana, Fernando Rubio
A Debugging System Based on Natural Semantics. J. Univers. Comput. Sci. 15 (14) (2009)
César Andrés, Luis Llana, Ismael Rodríguez
Formally comparing user and implementer model-based testing methods. ICST Workshops (2008)
Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero
Observing intermediate structures in a parallel lazy functional language. PPDP (2007)
Alberto de la Encina, Luis Llana, Fernando Rubio
Introducing Debugging Capabilities to Natural Semantics. Ershov Memorial Conference (2006)
Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley
Transforming Information in RDF to Rewriting Logic. FMOODS (2005)
Alberto de la Encina, Luis Llana, Fernando Rubio
Formalizing the Debugging Process in Haskell. ICTAC (2005)