Acceptance Trees for Probabilistic Processes. - Manuel Núñez 001; David de Frutos-Escrig; Luis Fernando Llana Díaz (CONCUR, 1995)

Testing Semantics for a Probabilistic-Timed Process Algebra. - Carlos Gregorio-Rodríguez; Luis Fernando Llana Díaz; Manuel Núñez 001; Pedro Palao-Gostanza (ARTS, 1997)

Denotational Semantics for Timed Testing. - Luis Fernando Llana Díaz; David de Frutos-Escrig (ARTS, 1997)

Testing Semantics for Unbounded Nondeterminism. - Luis Fernando Llana Díaz; Manuel Núñez 001 (Euro-Par, 1997)

Friendly Testing as a Conformance Relation. - David de Frutos-Escrig; Luis Fernando Llana Díaz; Manuel Núñez 001 (FORTE, 1997)

An invitation to friendly testing. - David de Frutos-Escrig; Luis Fernando Llana Díaz; Manuel Núñez 001 (J. Comput. Sci. Technol., 1998)

Relating May and Must Testing Semantics for Discrete Timed Process Algebras. - Luis Fernando Llana Díaz; David de Frutos-Escrig (ASIAN, 1999)

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 (Computers and Education. Towards an Interconnected Society, 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 001; J. Ángel Velázquez-Iturbide (ITiCSE, 2001)

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 001; J. Ángel Velázquez-Iturbide; Pedro Palao-Gostanza (Electron. Libr., 2002)

Transforming Information in RDF to Rewriting Logic. - Alberto Verdejo; Narciso Martí-Oliet; Tomás Robles 001; Joaquín Salvachúa; Luis Llana; Margarita Bradley (FMOODS, 2005)

Formalizing the Debugging Process in Haskell. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (ICTAC, 2005)

Introducing Debugging Capabilities to Natural Semantics. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (Ershov Memorial Conference, 2006)

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. - Luis Fernando Llana Díaz; Manuel Núñez 001; Ismael Rodríguez 001 (FORTE, 2006)

Customized Testing for Probabilistic Systems. - Luis Fernando Llana Díaz; Manuel Núñez 001; Ismael Rodríguez 001 (TestCom, 2006)

Observing intermediate structures in a parallel lazy functional language. - Alberto de la Encina; Luis Llana; Fernando Rubio 001; Mercedes Hidalgo-Herrero (PPDP, 2007)

A Hierarchy of Equivalences for Probabilistic Processes. - Manuel Núñez 001; Luis Fernando Llana Díaz (FORTE, 2008)

Formally comparing user and implementer model-based testing methods. - César Andrés; Luis Llana; Ismael Rodríguez 001 (ICST Workshops, 2008)

Testing Semantics for RTPA. - Luis Fernando Llana Díaz; Manuel Núñez 001 (Fundam. Informaticae, 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 001 (J. Log. Algebraic Methods Program., 2009)

A Debugging System Based on Natural Semantics. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (J. Univers. Comput. Sci., 2009)

Fuzzy-Timed Automata. - F. Javier Crespo; Alberto de la Encina; Luis Llana (FMOODS/FORTE, 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 (ICDM, 2010)

Self-adaptive fuzzy-timed systems. - César Andrés; Luis Llana; Manuel Núñez 001 (IEEE Congress on Evolutionary Computation, 2011)

Compression Strategies for Passive Testing. - César Andrés; Luis Llana (ICST Workshops, 2011)

FLOP, a free laboratory of programming. - Luis Llana; Enrique Martin-Martin; Cristóbal Pareja-Flores (Koli Calling, 2012)

CLAT: Collaborative Learning Adaptive Tutor. - Alaeddin M. H. Alawawdeh; César Andrés; Luis Llana (SEKE, 2012)

Conformance Verification of Normative Specifications using C-O Diagrams - Gregorio Díaz 001; Luis Llana; Valentín Valero Ruiz; José Antonio Mateo (FLACOS, 2012)

Contract Compliance Monitoring of Web Services. - Gregorio Díaz 001; Luis Llana (ESOCC, 2013)

Input-Output Conformance Simulation (iocos) for Model Based Testing. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (FMOODS/FORTE, 2013)

IOCO as a Simulation. - Luis Llana; Rafael Martínez-Torres (SEFM Workshops, 2013)

A formal framework for software product lines. - César Andrés; Carlos Camacho; Luis Llana (Inf. Softw. Technol., 2013)

Effectiveness for Input Output Conformance Simulation iocos̱. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (FORTE, 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)

A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions. - Ismael Rodríguez 001; Luis Llana; Pablo Rabanal (IEEE Trans. Software Eng., 2014)

Extending mCRL2 with ready simulation and iocos input-output conformance simulation. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (SAC, 2015)

The Simulation Relation for Formal E-Contracts. - Luis Llana; María-Emilia Cambronero; Gregorio Díaz 001 (SOFSEM, 2016)

Cost-related interface for software product lines. - Carlos Camacho; Luis Llana; Alberto Núñez (J. Log. Algebraic Methods Program., 2016)

A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. - Juan Boubeta-Puig; Azahara Camacho; Luis Llana; Manuel Núñez 001 (IWANN (2), 2017)

Timed Contract Compliance Under Event Timing Uncertainty. - María-Emilia Cambronero; Luis Llana; Gordon J. Pace (JURIX, 2017)

A Calculus Supporting Contract Reasoning and Monitoring. - María-Emilia Cambronero; Luis Llana; Gordon J. Pace (IEEE Access, 2017)

Analysis of temporal complex events in sensor networks. - Juan Boubeta-Puig; Mario Bravetti; Luis Llana; Mercedes G. Merayo (J. Inf. Telecommun., 2017)

An axiomatic semantics for iocos_ conformance relation. - Carlos Gregorio-Rodríguez; Luis Llana; Rafael Martínez-Torres (J. Log. Algebraic Methods Program., 2018)

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 001 (Interact. Learn. Environ., 2019)

Probabilistic software product lines. - Carlos Camacho; Luis Llana; Alberto Núñez; Mario Bravetti (J. Log. Algebraic Methods Program., 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)

Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing. - Alfredo Ibias; Luis Llana (CEC, 2020)

Themulus: A Timed Contract-calculus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (MODELSWARD, 2020)

Runtime Verification of Contracts with Themulus. - Alberto Aranda García; María-Emilia Cambronero; Christian Colombo 001; Luis Llana; Gordon J. Pace (SEFM, 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)

Using Ant Colony Optimisation to Select Features Having Associated Costs. - Alfredo Ibias; Luis Llana; Manuel Núñez 001 (ICTSS, 2021)

Metamorphic Testing of Oracle Quantum Programs. - Rui Abreu 001; João Paulo Fernandes; Luis Llana; Guilherme Tavares (Q-SE@ICSE, 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)

A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems. - Daniel Gomez Gonzalez 001; Luis Fernando Llana Díaz; Cristóbal Pareja (J. Univers. Comput. Sci., 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)

Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies. - María-Emilia Cambronero; Miguel A. Martínez 003; Luis Llana; Ricardo J. Rodríguez; Alejandro Russo (PeerJ Comput. Sci., 2024)