 | 2009 |
|---|
| 14 |       | Luis Fernando Llana Díaz,
Manuel Núñez:
Testing Semantics for RTPA.
Fundam. Inform. 90(3): 305-335 (2009) |
| 13 | | 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) |
| 2008 |
|---|
| 12 | | Manuel Núñez,
Luis Fernando Llana Díaz:
A Hierarchy of Equivalences for Probabilistic Processes.
FORTE 2008: 267-282 |
| 2006 |
|---|
| 11 | | 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 |
| 10 | | Luis Fernando Llana Díaz,
Manuel Núñez,
Ismael Rodríguez:
Customized Testing for Probabilistic Systems.
TestCom 2006: 87-102 |
| 2002 |
|---|
| 9 | | Carlos Gregorio-Rodríguez,
Luis Fernando Llana Díaz,
Cristóbal Pareja-Flores,
R. 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 |
|---|
| 8 | | Carlos Gregorio-Rodríguez,
Luis Fernando Llana Díaz,
Pedro Palao-Gostanza,
Cristóbal Pareja-Flores,
R. Martínez-Unanue,
J. Ángel Velázquez-Iturbide:
EXercita: automatic web publishing of programming exercises.
ITiCSE 2001: 161-164 |
| 7 |  | 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 |
| 1999 |
|---|
| 6 | | Luis Fernando Llana Díaz,
David de Frutos-Escrig:
Relating May and Must Testing Semantics for Discrete Timed Process Algebras.
ASIAN 1999: 74-86 |
| 1997 |
|---|
| 5 | | 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 |
| 4 | | Luis Fernando Llana Díaz,
David de Frutos-Escrig:
Denotational Semantics for Timed Testing.
ARTS 1997: 368-382 |
| 3 | | Luis Fernando Llana Díaz,
Manuel Núñez:
Testing Semantics for Unbounded Nondeterminism.
Euro-Par 1997: 538-545 |
| 2 | | David de Frutos-Escrig,
Luis Fernando Llana Díaz,
Manuel Núñez:
Friendly Testing as a Conformance Relation.
FORTE 1997: 283-298 |
| 1995 |
|---|
| 1 | | Manuel Núñez,
David de Frutos-Escrig,
Luis Fernando Llana Díaz:
Acceptance Trees for Probabilistic Processes.
CONCUR 1995: 249-263 |
