Publications  

M. C. Carrión, G. Díaz and B. Caminero, Performance Issues of Deterministic and Adaptative Ghost-Packet Routers, Proceedings of the 2001 International Conference on Parallel Processing, 3—7 September, IEEE Computer Society Press

M. C. Carrión, G. Díaz y B. Caminero, A low—cost Router Design for k—ary n—cube Networks, Technical Report de la UCLM, 2002, ref “DIAB—02—02—30”

G. Díaz , F. Cuartero y K. Larsen, P_UPPAL a tool for capturing the probabilistic behaviour of UPPAAL models, Technical Report de la UCLM, 2002, ref “DIAB—02—01—33”

G. Díaz , F. Cuartero y D. Cazorla, P_UPPAL una herramienta de modelado, validación y verificación de Sistemas Concurrentes Probabilísticos, submitted to XI Jornadas de Concurrencia 2003

G.Díaz, D. Cazorla, F. Pelayo, F. Cuartero y V. Valero, Verifiying and Capturing Probabilistic Behaviour of Real-time Systems, proceedings of the UK Performance Engineering
Workshop, UKPEW 2003