Model checking the security of multi-protocol systems. - Maurizio Panti; Luca Spalazzi; Simone Tacconi; Francesco Pagliarecci (CTS, 2005)

An Agent-Based Supply-Chain Management. - Maurizio Panti; Francesco Pagliarecci; Luca Spalazzi (SEBD, 2005)

IRSS: Incident Response Support System. - Gianluca Capuzzi; Luca Spalazzi; Francesco Pagliarecci (CTS, 2006)

Formal Definition of an Agent-Object Programming Language. - Francesco Pagliarecci; Luca Spalazzi; Gianluca Capuzzi (CTS, 2006)

Semantics of Alan. - Francesco Pagliarecci (STAIRS, 2006)

From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan. - Francesco Pagliarecci; Loris Penserini; Luca Spalazzi (OTM Workshops (1), 2007)

Web Service Discovery at Process-level Based on Semantic Annotation. - Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2007)

Formal specification of agent-object oriented programs. - Francesco Pagliarecci; Luca Spalazzi; Mark-Oliver Stehr; Carolyn L. Talcott (CTS, 2008)

Semantic Annotation for Web Service Processes. - Ivan Di Pietro; Francesco Pagliarecci; Marco Pistore; Luca Spalazzi; Paolo Traverso (SEBD, 2008)

JEAP - JAVA environment for Agent platform. - Francesco Pagliarecci; Luca Spalazzi; Fabrizio Spinelli (IADIS AC (1), 2009)

An anomaly-based system for parental control. - C. Cioffi; Francesco Pagliarecci; Luca Spalazzi (HPCS, 2009)

Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study. - Ivan Di Pietro; Annapaola Marconi; Francesco Pagliarecci; Marco Pistore; Luca Spalazzi (SEBD, 2009)

An IPS for Web Applications. - Angelo Biscotti; Gianluca Capuzzi; Egidio Cardinale; Francesco Pagliarecci; Luca Spalazzi (J. Comput., 2009)

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)

Semantic Annotation for Web Service Processes in Pervasive Computing. - Ivan Di Pietro; Francesco Pagliarecci; Luca Spalazzi (Pervasive Computing, Innovations in Intelligent Multimedia and Applications, 2010)

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

From Service Identification to Service Selection: an Interleaved Perspective. - Devis Bianchini; Francesco Pagliarecci; Luca Spalazzi (SEBD, 2011)

Application of SWSAL in Semantic Annotation of RESTful Web Services. - Francesco Pagliarecci; Luca Spalazzi; Gilberto Taccari (INVIT, 2012)

Model Checking Semantically Annotated Services. - Ivan Di Pietro; Francesco Pagliarecci; Luca Spalazzi (IEEE Trans. Software Eng., 2012)

Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL. - Francesco Pagliarecci; Luca Spalazzi; Gilberto Taccari (Description Logics, 2013)

Model checking grid security. - Francesco Pagliarecci; Luca Spalazzi; Francesco Spegni (Future Gener. Comput. Syst., 2013)