Luis Llana

Luis Fernando Llana Díaz

	2012
c21		Alaeddin M. H. Alawawdeh, César Andrés, Luis Llana: CLAT: Collaborative Learning Adaptive Tutor. SEKE 2012: 747-752
c20		Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo: Conformance Verification of Normative Specifications using C-O Diagrams. FLACOS 2012: 1-10
e1		César Andrés, Luis Llana (Eds.): Proceedings 2nd Workshop on Formal Methods in the Development of Software. EPTCS 86, 2012
	2011
c19		César Andrés, Luis Llana, Manuel Núñez: Self-adaptive fuzzy-timed systems. IEEE Congress on Evolutionary Computation 2011: 115-122
c18		César Andrés, Luis Llana: Compression Strategies for Passive Testing. ICST Workshops 2011: 644-653
	2010
c17		F. Javier Crespo, Alberto de la Encina, Luis Llana: Fuzzy-Timed Automata. FMOODS/FORTE 2010: 140-154
c16		Rafael García, Luis Llana, Constantino Malagón, Jesús Pancorbo: Event Prediction in Network Monitoring Systems: Performing Sequential Pattern Mining in Osmius Monitoring Tool. ICDM 2010: 632-642
	2009
j5		Luis Fernando Llana Díaz, Manuel Núñez: Testing Semantics for RTPA. Fundam. Inform. 90(3): 305-335 (2009)
j4		César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez: Formally transforming user-model testing problems into implementer-model testing problems and viceversa. J. Log. Algebr. Program. 78(6): 425-453 (2009)
j3		Alberto de la Encina, Luis Llana, Fernando Rubio: A Debugging System Based on Natural Semantics. J. UCS 15(14): 2836-2880 (2009)
	2008
c15		Manuel Núñez, Luis Fernando Llana Díaz: A Hierarchy of Equivalences for Probabilistic Processes. FORTE 2008: 267-282
c14		César Andrés, Luis Llana, Ismael Rodríguez: Formally comparing user and implementer model-based testing methods. ICST Workshops 2008: 1-10
	2007
c13		Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero: Observing intermediate structures in a parallel lazy functional language. PPDP 2007: 109-120
	2006
c12		Alberto de la Encina, Luis Llana, Fernando Rubio: Introducing Debugging Capabilities to Natural Semantics. Ershov Memorial Conference 2006: 195-208
c11		Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. FORTE 2006: 467-483
c10		Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez: Customized Testing for Probabilistic Systems. TestCom 2006: 87-102
	2005
c9		Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley: Transforming Information in RDF to Rewriting Logic. FMOODS 2005: 227-242
c8		Alberto de la Encina, Luis Llana, Fernando Rubio: Formalizing the Debugging Process in Haskell. ICTAC 2005: 211-226
	2002
j2		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: A system to generate electronic books on programming exercises. The Electronic Library 20(4): 314-321 (2002)
	2001
p1		Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide: EXercita. A System for Archiving and Publishing Programming Exercises. Computers and Education. Towards an Interconnected Society 2001: 187-197
c7		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: EXercita: automatic web publishing of programming exercises. ITiCSE 2001: 161-164
	1999
c6		Luis Fernando Llana Díaz, David de Frutos-Escrig: Relating May and Must Testing Semantics for Discrete Timed Process Algebras. ASIAN 1999: 74-86
	1998
j1		David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: An invitation to friendly testing. J. Comput. Sci. Technol. 13(6): 531-545 (1998)
	1997
c5		Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza: Testing Semantics for a Probabilistic-Timed Process Algebra. ARTS 1997: 353-367
c4		Luis Fernando Llana Díaz, David de Frutos-Escrig: Denotational Semantics for Timed Testing. ARTS 1997: 368-382
c3		Luis Fernando Llana Díaz, Manuel Núñez: Testing Semantics for Unbounded Nondeterminism. Euro-Par 1997: 538-545
c2		David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: Friendly Testing as a Conformance Relation. FORTE 1997: 283-298
	1995
c1		Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz: Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 22:51:16 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page