Collaborated with:∅
Talks about:maud (3) protocol (2) model (2) techniqu (1) properti (1) network (1) analysi (1) strong (1) specif (1) sensor (1)
Person: Dilia E. Rodríguez
DBLP: Rodr=iacute=guez:Dilia_E=
Contributed to:
2009200720022000Wrote 4 papers:
- WRLA-2008-Rodriguez09
- Combining Techniques to Reduce State Space and Prove Strong Properties (DER), pp. 267–280.
- WRLA-2006-Rodriguez07 #maude #modelling #network #on the
- On Modelling Sensor Networks in Maude (DER), pp. 199–213.
- WRLA-2002-Rodriguez #maude #protocol
- A Secret-Sharing Protocol Modelled in Maude (DER), pp. 223–239.
- WRLA-2000-Rodriguez #analysis #case study #maude #protocol #specification
- Case Studies in the Specification and Analysis of Protocols in Maude (DER), pp. 257–273.