Luis Llana

According to our database, Luis Llana authored at least 56 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies.

María-Emilia Cambronero, Miguel A. Martínez, Luis Llana, Ricardo J. Rodríguez, Alejandro Russo

PeerJ Comput. Sci., 2024

2022

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

Carlos Camacho, Pablo C. Cañizares, Luis Llana, Alberto Núñez

Softw. Pract. Exp., 2022

A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems.

Daniel Gomez Gonzalez, Luis Fernando Llana Díaz, Cristóbal Pareja

J. Univers. Comput. Sci., 2022

Quantum invariants for the graph isomorphism problem.

Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini

CoRR, 2022

Metamorphic Testing of Oracle Quantum Programs.

Rui Abreu, João Paulo Fernandes, Luis Llana, Guilherme Tavares

Proceedings of the 3rd IEEE/ACM International Workshop on Quantum Software Engineering, 2022

2021

Using Ant Colony Optimisation to Select Features Having Associated Costs.

Alfredo Ibias, Luis Llana, Manuel Núñez

Proceedings of the Testing Software and Systems, 2021

2020

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

Pablo C. Cañizares, Alberto Núñez, Juan de Lara, Luis Llana

J. Syst. Softw., 2020

Runtime Verification of Contracts with Themulus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Themulus: A Timed Contract-calculus.

Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace

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

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

Alfredo Ibias, Luis Llana

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review.

Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, Luis Llana

J. Univers. Comput. Sci., 2019

Probabilistic software product lines.

Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti

J. Log. Algebraic Methods Program., 2019

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

Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, Adrián Riesco

Interact. Learn. Environ., 2019

2018

An axiomatic semantics for iocos_ conformance relation.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

J. Log. Algebraic Methods Program., 2018

2017

Analysis of temporal complex events in sensor networks.

Juan Boubeta-Puig, Mario Bravetti, Luis Llana, Mercedes G. Merayo

J. Inf. Telecommun., 2017

A Calculus Supporting Contract Reasoning and Monitoring.

María-Emilia Cambronero, Luis Llana, Gordon J. Pace

IEEE Access, 2017

Timed Contract Compliance Under Event Timing Uncertainty.

María-Emilia Cambronero, Luis Llana, Gordon J. Pace

Proceedings of the Legal Knowledge and Information Systems, 2017

A Formal Framework to Specify and Test Systems with Fuzzy-Time Information.

Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel Núñez

Proceedings of the Advances in Computational Intelligence, 2017

2016

Cost-related interface for software product lines.

Carlos Camacho, Luis Llana, Alberto Núñez

J. Log. Algebraic Methods Program., 2016

The Simulation Relation for Formal E-Contracts.

Luis Llana, María-Emilia Cambronero, Gregorio Díaz

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

2015

Extending mCRL2 with ready simulation and iocos input-output conformance simulation.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions.

Ismael Rodríguez, Luis Llana, Pablo Rabanal

IEEE Trans. Software Eng., 2014

FLOP: A User-Friendly System for Automated Program Assessment.

Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide

J. Univers. Comput. Sci., 2014

Effectiveness for Input Output Conformance Simulation iocos̱.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

A formal framework for software product lines.

César Andrés, Carlos Camacho, Luis Llana

Inf. Softw. Technol., 2013

IOCO as a Simulation.

Luis Llana, Rafael Martínez-Torres

Proceedings of the Software Engineering and Formal Methods, 2013

Input-Output Conformance Simulation (iocos) for Model Based Testing.

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres

Proceedings of the Formal Techniques for Distributed Systems, 2013

Contract Compliance Monitoring of Web Services.

Gregorio Díaz, Luis Llana

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012

Conformance Verification of Normative Specifications using C-O Diagrams

Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

CLAT: Collaborative Learning Adaptive Tutor.

Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

FLOP, a free laboratory of programming.

Luis Llana, Enrique Martin-Martin, Cristóbal Pareja-Flores

Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012

2011

Compression Strategies for Passive Testing.

César Andrés, Luis Llana

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Self-adaptive fuzzy-timed systems.

César Andrés, Luis Llana, Manuel Núñez

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010

Event Prediction in Network Monitoring Systems: Performing Sequential Pattern Mining in Osmius Monitoring Tool.

Rafael García, Luis Llana, Constantino Malagón, Jesús Pancorbo

Proceedings of the Advances in Data Mining. Applications and Theoretical Aspects, 2010

Fuzzy-Timed Automata.

F. Javier Crespo, Alberto de la Encina, Luis Llana

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

A Debugging System Based on Natural Semantics.

Alberto de la Encina, Luis Llana, Fernando Rubio

J. Univers. Comput. Sci., 2009

Formally transforming user-model testing problems into implementer-model testing problems and viceversa.

César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez

J. Log. Algebraic Methods Program., 2009

Testing Semantics for RTPA.

Luis Fernando Llana Díaz, Manuel Núñez

Fundam. Informaticae, 2009

2008

Formally comparing user and implementer model-based testing methods.

César Andrés, Luis Llana, Ismael Rodríguez

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

A Hierarchy of Equivalences for Probabilistic Processes.

Manuel Núñez, Luis Fernando Llana Díaz

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Observing intermediate structures in a parallel lazy functional language.

Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Customized Testing for Probabilistic Systems.

Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez

Proceedings of the Testing of Communicating Systems, 2006

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.

Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Introducing Debugging Capabilities to Natural Semantics.

Alberto de la Encina, Luis Llana, Fernando Rubio

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Formalizing the Debugging Process in Haskell.

Alberto de la Encina, Luis Llana, Fernando Rubio

Proceedings of the Theoretical Aspects of Computing, 2005

Transforming Information in RDF to Rewriting Logic.

Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2002

A system to generate electronic books on programming exercises.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide, Pedro Palao-Gostanza

Electron. Libr., 2002

2001

EXercita: automatic web publishing of programming exercises.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, Raquel Martínez-Unanue, J. Ángel Velázquez-Iturbide

Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

EXercita. A System for Archiving and Publishing Programming Exercises.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide

Proceedings of the Computers and Education. Towards an Interconnected Society, 2001

1999

Relating May and Must Testing Semantics for Discrete Timed Process Algebras.

Luis Fernando Llana Díaz, David de Frutos-Escrig

Proceedings of the Advances in Computing Science, 1999

1998

An invitation to friendly testing.

David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez

J. Comput. Sci. Technol., 1998

1997

Friendly Testing as a Conformance Relation.

David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Testing Semantics for Unbounded Nondeterminism.

Luis Fernando Llana Díaz, Manuel Núñez

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Denotational Semantics for Timed Testing.

Luis Fernando Llana Díaz, David de Frutos-Escrig

Proceedings of the Transformation-Based Reactive Systems Development, 1997

Testing Semantics for a Probabilistic-Timed Process Algebra.

Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1995

Acceptance Trees for Probabilistic Processes.

Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz

Proceedings of the CONCUR '95: Concurrency Theory, 1995