Luis Llana

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