Search the dblp DataBase

Publications of Author

1. Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
   Testing Semantics for a Probabilistic-Timed Process Algebra. [Citation Graph (0, 0)][DBLP]
   ARTS, 1997, pp:353-367 [Conf]
   
2. Luis Fernando Llana Díaz, David de Frutos-Escrig
   Denotational Semantics for Timed Testing. [Citation Graph (0, 0)][DBLP]
   ARTS, 1997, pp:368-382 [Conf]
   
3. Luis Fernando Llana Díaz, David de Frutos-Escrig
   Relating May and Must Testing Semantics for Discrete Timed Process Algebras. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1999, pp:74-86 [Conf]
   
4. Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz
   Acceptance Trees for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1995, pp:249-263 [Conf]
   
5. Luis Fernando Llana Díaz, Manuel Núñez
   Testing Semantics for Unbounded Nondeterminism. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1997, pp:538-545 [Conf]
   
6. David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
   Friendly Testing as a Conformance Relation. [Citation Graph (0, 0)][DBLP]
   FORTE, 1997, pp:283-298 [Conf]
   
7. Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
   Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:467-483 [Conf]
   
8. Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
   Customized Testing for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   TestCom, 2006, pp:87-102 [Conf]
   
9. 
   A Hierarchy of Equivalences for Probabilistic Processes. [Citation Graph (, )][DBLP]
   
   
10. 
    EXercita: automatic web publishing of programming exercises. [Citation Graph (, )][DBLP]