AGILE: Software Architecture for Mobility. - Luís Andrade 001; Paolo Baldan; Hubert Baumeister; Roberto Bruni 001; Andrea Corradini 001; Rocco De Nicola; José Luiz Fiadeiro; Fabio Gadducci; Stefania Gnesi; Piotr Hoffman; Nora Koch; Piotr Kosiuczenko; et al. (WADT, 2002)

A WSDL-Based Type System for WS-BPEL. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (COORDINATION, 2006)

A Calculus for Orchestration of Web Services. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (ESOP, 2007)

Regulating Data Exchange in Service Oriented Applications. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (FSEN, 2007)

C-clock-WS: A Timed Service-Oriented Calculus. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (ICTAC, 2007)

Service Discovery and Negotiation With COWS. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (WWV, 2007)

Specifying and Analysing SOC Applications with COWS. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (Concurrency, Graphs and Models, 2008)

A Formal Account of WS-BPEL. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (COORDINATION, 2008)

A Model Checking Approach for Verifying COWS Specifications. - Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi 001 (FASE, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - Martin Wirsing; Matthias M. Hölzl; Lucia Acciai; Federico Banti; Allan Clark; Alessandro Fantechi; Stephen Gilmore; Stefania Gnesi; László Gönczy; Nora Koch; Alessandro Lapadula; Philip Mayer; et al. (ISoLA, 2008)

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. - Federico Banti; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (WWV, 2008)

From Architectural to Behavioural Specification of Services. - Laura Bocchi; José Luiz Fiadeiro; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (FESCA@ETAPS, 2009)

A tool for rapid development of WS-BPEL applications. - Luca Cesari; Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (SAC, 2010)

Analysing Robot Movement Using the Sensoria Methods. - Maurice H. ter Beek; Alessandro Lapadula; Michele Loreti; Claudio Palasciano (Results of the SENSORIA Project, 2011)

A WSDL-based type system for asynchronous WS-BPEL processes. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (Formal Methods Syst. Des., 2011)

Using formal methods to develop WS-BPEL applications. - Alessandro Lapadula; Rosario Pugliese; Francesco Tiezzi 001 (Sci. Comput. Program., 2012)

A logical verification methodology for service-oriented computing. - Alessandro Fantechi; Stefania Gnesi; Alessandro Lapadula; Franco Mazzanti; Rosario Pugliese; Francesco Tiezzi 001 (ACM Trans. Softw. Eng. Methodol., 2012)