| Acceptance trees for probabilistic processes M Núñez, D de Frutos, L Llana International Conference on Concurrency Theory, 249-263, 1995 | 61 | 1995 |
| Metamorphic testing of oracle quantum programs R Abreu, JP Fernandes, L Llana, G Tavares Proceedings of the 3rd International Workshop on Quantum Software …, 2022 | 42 | 2022 |
| A General Testability Theory: Classes, properties, complexity, and testing reductions I Rodriguez, L Llana, P Rabanal IEEE Transactions on software engineering 40 (9), 862-894, 2014 | 37 | 2014 |
| MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems PC Canizares, A Núnez, J De Lara, L Llana Journal of Systems and Software 163, 110522, 2020 | 30 | 2020 |
| Input-output conformance simulation (iocos) for model based testing C Gregorio-Rodríguez, L Llana, R Martínez-Torres International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 28 | 2013 |
| FLOP, a free laboratory of programming L Llana, E Martin-Martin, C Pareja-Flores Proceedings of the 12th Koli Calling International Conference on Computing …, 2012 | 21 | 2012 |
| A formal framework for software product lines C Andrés, C Camacho, L Llana Information and Software Technology 55 (11), 1925-1947, 2013 | 20 | 2013 |
| Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study JL Brita-Paja, C Gregorio, L Llana, C Pareja, A Riesco Interactive Learning Environments 27 (1), 15-32, 2019 | 17 | 2019 |
| A timed LOTOS extension J Quemada, C Miguel, D Frutos, L Llana Theories and Experiences for Real-Time System Development, 239-263, 1994 | 17 | 1994 |
| Chaos as a Software Product Line—a platform for improving open hybrid‐cloud systems resiliency C Camacho, PC Cañizares, L Llana, A Núñez Software: Practice and Experience 52 (7), 1581-1614, 2022 | 16 | 2022 |
| FLOP: A User-Friendly System for Automated Program Assessment. L Llana, E Martin-Martin, C Pareja-Flores, JÁ Velázquez-Iturbide J. Univers. Comput. Sci. 20 (9), 1304-1326, 2014 | 15 | 2014 |
| Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies ME Cambronero, MA Martínez, L Llana, RJ Rodríguez, A Russo PeerJ Computer Science 10, e1898, 2024 | 13 | 2024 |
| Metamorphic Testing of Oracle Quantum Programs. In 2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). 16–23 R Abreu, JP Fernandes, L Llana, G Tavares IEEE, 2022 | 12 | 2022 |
| Cost-related interface for software product lines C Camacho, L Llana, A Nunez Journal of Logical and Algebraic Methods in Programming 85 (1), 227-244, 2016 | 12 | 2016 |
| Mobile applications for people with Parkinson's disease: a systematic search in app stores and content review S Estévez Martín, E Cambronero Piqueras, Y García Ruiz, LF Llana Díaz Know-Center, 2019 | 11 | 2019 |
| Extending mCRL2 with ready simulation and iocos input-output conformance simulation C Gregorio-Rodríguez, L Llana, R Martínez-Torres Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1781-1788, 2015 | 11 | 2015 |
| Effectiveness for input output conformance simulation iocos C Gregorio-Rodríguez, L Llana, R Martínez-Torres International Conference on Formal Techniques for Distributed Objects …, 2014 | 11 | 2014 |
| Runtime verification of contracts with themulus A Aranda García, ME Cambronero, C Colombo, L Llana, GJ Pace International Conference on Software Engineering and Formal Methods, 231-246, 2020 | 10 | 2020 |
| A calculus supporting contract reasoning and monitoring ME Cambronero, L Llana, GJ Pace IEEE Access 5, 6735-6745, 2017 | 10 | 2017 |
| Formally transforming user-model testing problems into implementer-model testing problems and viceversa C Andrés, L Llana, I Rodríguez The Journal of Logic and Algebraic Programming 78 (6), 425-453, 2009 | 9 | 2009 |
