Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Luis Llana
Luis Fernando Llana Díaz
2010 – today
- 2013
[j6]César Andrés, Carlos Camacho, Luis Llana: A formal framework for software product lines. Information & Software Technology 55(11): 1925-1947 (2013)- [c23]
- [c22]Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres: Input-Output Conformance Simulation (iocos) for Model Based Testing. FMOODS/FORTE 2013: 114-129
- 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]
- 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
2000 – 2009
- 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
- [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
- [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
1990 – 1999
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team