Negotiation Among Web Services Using LOTOS/CADP. - Gwen Salaün; Andrea Ferrara; Antonella Chirichiello (ECOWS, 2004)

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. - Antonella Chirichiello; Gwen Salaün (Web Intelligence, 2005)

Encoding process algebraic descriptions of web services into BPEL. - Antonella Chirichiello; Gwen Salaün (Web Intell. Agent Syst., 2007)

Cyber Threat Intelligence for Supporting the ATM Security Management. - Antonella Chirichiello; Claudio Porretti; Antonio Berardi (ITASEC, 2017)