Alessandro Lapadula

Publication Activity (10 Years)

Years Active: 2002-2012
Publications (10 Years): 0

Top Topics

Provably Correct

Top Venues

ACM Trans. Softw. Eng. Methodol.

Sci. Comput. Program.

Publications

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77 (3) (2012)
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21 (3) (2012)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods Syst. Des. 38 (2) (2011)
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A tool for rapid development of WS-BPEL applications. SAC (2010)
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
From Architectural to Behavioural Specification of Services. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electron. Notes Theor. Comput. Sci. 235 (2009)
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
A Model Checking Approach for Verifying COWS Specifications. FASE (2008)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models (2008)
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, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA (2008)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A Formal Account of WS-BPEL. COORDINATION (2008)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Service Discovery and Negotiation With COWS. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A Calculus for Orchestration of Web Services. ESOP (2007)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
C-clock-WS: A Timed Service-Oriented Calculus. ICTAC (2007)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Regulating Data Exchange in Service Oriented Applications. FSEN (2007)
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
A WSDL-Based Type System for WS-BPEL. COORDINATION (2006)
Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
AGILE: Software Architecture for Mobility. WADT (2002)