Luis Fernando Llana Díaz

16 papers B 2C 3Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
A Spark Parallel Betweenness Centrality Computation and its Application to Community Detection Problems.
J. Univers. Comput. Sci.
Daniel Gomez Gonzalez, Luis Fernando Llana Díaz, Cristóbal Pareja
2009 J jnl
Formally transforming user-model testing problems into implementer-model testing problems and viceversa.
J. Log. Algebraic Methods Program.
César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez
2009 J jnl
Testing Semantics for RTPA.
Fundam. Informaticae
Luis Fernando Llana Díaz, Manuel Núñez
2008 C conf
A Hierarchy of Equivalences for Probabilistic Processes.
FORTE
Manuel Núñez, Luis Fernando Llana Díaz
2006 — conf
Customized Testing for Probabilistic Systems.
TestCom
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
2006 C conf
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.
FORTE
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
2002 J jnl
A system to generate electronic books on programming exercises.
Electron. Libr.
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
2001 — ch.
EXercita. A System for Archiving and Publishing Programming Exercises.
Computers and Education. Towards an Interconnected Society
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, R. Martínez, Pedro Palao-Gostanza, Cristóbal Pareja-Flores, J. Ángel Velázquez-Iturbide
2001 B conf
EXercita: automatic web publishing of programming exercises.
ITiCSE
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
1999 — conf
Relating May and Must Testing Semantics for Discrete Timed Process Algebras.
ASIAN
Luis Fernando Llana Díaz, David de Frutos-Escrig
1998 J jnl
An invitation to friendly testing.
J. Comput. Sci. Technol.
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
1997 — conf
Denotational Semantics for Timed Testing.
ARTS
Luis Fernando Llana Díaz, David de Frutos-Escrig
1997 C conf
Friendly Testing as a Conformance Relation.
FORTE
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez
1997 — conf
Testing Semantics for Unbounded Nondeterminism.
Euro-Par
Luis Fernando Llana Díaz, Manuel Núñez
1997 — conf
Testing Semantics for a Probabilistic-Timed Process Algebra.
ARTS
Carlos Gregorio-Rodríguez, Luis Fernando Llana Díaz, Manuel Núñez, Pedro Palao-Gostanza
1995 B conf
Acceptance Trees for Probabilistic Processes.
CONCUR
Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz