| 2020 | CEC | Feature Selection using Evolutionary Computation Techniques for Software Product Line Testing. | Alfredo Ibias, Luis Llana |
| 2020 | MODELSWARD | Themulus: A Timed Contract-calculus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2020 | SEFM | Runtime Verification of Contracts with Themulus. | Alberto Aranda Garca, Mara-Emilia Cambronero, Christian Colombo, Luis Llana, Gordon J. Pace |
| 2017 | IWANN | A Formal Framework to Specify and Test Systems with Fuzzy-Time Information. | Juan Boubeta-Puig, Azahara Camacho, Luis Llana, Manuel Nez |
| 2017 | JURIX | Timed Contract Compliance Under Event Timing Uncertainty. | Mara-Emilia Cambronero, Luis Llana, Gordon J. Pace |
| 2016 | SOFSEM | The Simulation Relation for Formal E-Contracts. | Luis Llana, Mara-Emilia Cambronero, Gregorio Daz |
| 2015 | SAC | Extending mCRL2 with ready simulation and iocos input-output conformance simulation. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2014 | FORTE | Effectiveness for Input Output Conformance Simulation iocos̱. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2013 | FORTE | Input-Output Conformance Simulation (iocos) for Model Based Testing. | Carlos Gregorio-Rodrguez, Luis Llana, Rafael Martnez-Torres |
| 2013 | SEFM | IOCO as a Simulation. | Luis Llana, Rafael Martnez-Torres |
| 2012 | SEKE | CLAT: Collaborative Learning Adaptive Tutor. | Alaeddin M. H. Alawawdeh, Csar Andrs, Luis Llana |
| 2011 | CEC | Self-adaptive fuzzy-timed systems. | Csar Andrs, Luis Llana, Manuel Nez |
| 2011 | ICST | Compression Strategies for Passive Testing. | Csar Andrs, Luis Llana |
| 2010 | FORTE | Fuzzy-Timed Automata. | F. Javier Crespo, Alberto de la Encina, Luis Llana |
| 2008 | ICST | Formally comparing user and implementer model-based testing methods. | Csar Andrs, Luis Llana, Ismael Rodrguez |
| 2007 | PPDP | Observing intermediate structures in a parallel lazy functional language. | Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero |
| 2005 | ICTAC | Formalizing the Debugging Process in Haskell. | Alberto de la Encina, Luis Llana, Fernando Rubio |