Travelled to:1 × Cyprus
1 × Korea
1 × Spain
1 × USA
Collaborated with:M.Cambronero V.V.Ruiz J.J.Pardo V.Valero F.Cuartero H.Macià F.L.Pelayo K.G.Larsen
Talks about:protocol (2) servic (2) verif (2) model (2) web (2) probabilist (1) architectur (1) subscrib (1) handshak (1) behavior (1)
Person: Gregorio Díaz
DBLP: D=iacute=az:Gregorio
Contributed to:
2015200720052004Wrote 4 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.
- SAC-2007-CambroneroPDV #modelling #using #web #web service
- Using RT-UML for modelling web services (MEC, JJP, GD, VV), pp. 643–648.
- SAC-2005-DiazLPCV #approach #behaviour #e-commerce #probability #protocol #realtime #set #validation
- An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol (GD, KGL, JJP, FC, VV), pp. 815–820.
- SAC-2004-DiazCRP #automation #protocol #verification
- Automatic verification of the TLS handshake protocol (GD, FC, VVR, FLP), pp. 789–794.