Travelled to:1 × Cyprus
1 × Estonia
1 × Spain
Collaborated with:F.Cuartero G.Díaz D.Cebrián M.Cambronero H.Macià F.L.Pelayo
Talks about:verif (2) architectur (1) subscrib (1) protocol (1) handshak (1) publish (1) context (1) automat (1) system (1) servic (1)
Person: Valentín Valero Ruiz
DBLP: Ruiz:Valent=iacute=n_Valero
Contributed to:
2015
20072004Wrote 3 papers:
- SAC-2015-DiazCMR #architecture #model checking #verification #web #web service
- Model-checking verification of publish-subscribe architectures in web service contexts (GD, MEC, HM, VVR), pp. 1688–1695.
- TestCom-FATES-2007-CebrianRC #automation #testing
- Automation of Avionic Systems Testing (DC, VVR, FC), pp. 28–40.
- SAC-2004-DiazCRP #automation #protocol #verification
- Automatic verification of the TLS handshake protocol (GD, FC, VVR, FLP), pp. 789–794.