Seguir
LUIS  LLANA
Título
Citado por
Citado por
Año
Acceptance Trees for Probabilistic Processes.
M Núñez, D de Frutos-Escrig, LFL Díaz
CONCUR 95, 249-263, 1995
591995
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
312014
Input-Output Conformance Simulation (iocos) for Model Based Testing
C Gregorio-Rodríguez, L Llana, R Martínez-Torres
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013
272013
Multiobjective optimization subject to uncertainty: Application to irrigation strategy management
O Crespo, JE Bergez, F Garcia
Computers and Electronics in Agriculture 74 (1), 145-154, 2010
242010
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
192012
MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems
PC Cañizares, A Núñez, J de Lara, L Llana
Journal of Systems and Software 163, 110522, 2020
172020
A timed LOTOS extension
J Quemada, C Miguel, D Frutos, L Llana
Theories and Experiences for Real-Time System Development, 239-263, 1994
171994
A formal framework for software product lines
C Andrés, C Camacho, L Llana
Information and Software Technology 55 (11), 1925-1947, 2013
162013
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
132014
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
122015
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
112016
Effectiveness for input output conformance simulation iocos
C Gregorio-Rodríguez, L Llana, R Martínez-Torres
Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014
112014
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
102019
Formally comparing user and implementer model-based testing methods
C Andrés, L Llana, I Rodriguez
2008 IEEE International Conference on Software Testing Verification and …, 2008
102008
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
92009
Estructuras de datos y algoritmos: con énfasis en programación orientada a objetos
AJ Sisa, JV Muñoz
Pearson Educación de Colombia, 2002
92002
A calculus supporting contract reasoning and monitoring
ME Cambronero, L Llana, GJ Pace
IEEE Access 5, 6735-6745, 2017
82017
Observing intermediate structures in a parallel lazy functional language
A de la Encina, L Llana, F Rubio, M Hidalgo-Herrero
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
82007
Testing semantics for urgent timed algebras
L Llana, D de Frutos, M Núñez
3rd AMAST Workshop on Real-Time Systems, 33-46, 1996
81996
IOCO as a simulation
L Llana, R Martínez-Torres
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
62014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20