Semantic model checking security requirements for web services. - Lorenzo Boaro; Emanuele Glorio; Francesco Pagliarecci; Luca Spalazzi (HPCS, 2010)

Semantic Model Checking Security Requirements for Web Services (Extended Abstract). - Lorenzo Boaro; Emanuele Glorio; Francesco Pagliarecci; Luca Spalazzi (SEBD, 2010)

Business process design framework for B2B collaboration. - Lorenzo Boaro; Emanuele Glorio; Francesco Pagliarecci; Luca Spalazzi (CTS, 2011)