Alessandro Lapadula

According to our database, Alessandro Lapadula authored at least 17 papers between 2002 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

A logical verification methodology for service-oriented computing.

Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi

ACM Trans. Softw. Eng. Methodol., 2012

Using formal methods to develop WS-BPEL applications.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Sci. Comput. Program., 2012

2011

A WSDL-based type system for asynchronous WS-BPEL processes.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Formal Methods Syst. Des., 2011

Analysing Robot Movement Using the Sensoria Methods.

Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

A tool for rapid development of WS-BPEL applications.

Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

From Architectural to Behavioural Specification of Services.

Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

2008

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.

Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 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, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró

Proceedings of the Leveraging Applications of Formal Methods, 2008

A Model Checking Approach for Verifying COWS Specifications.

Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Fundamental Approaches to Software Engineering, 2008

A Formal Account of WS-BPEL.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Specifying and Analysing SOC Applications with COWS.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Concurrency, 2008

2007

Service Discovery and Negotiation With COWS.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007

C-clock-WS: A Timed Service-Oriented Calculus.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Theoretical Aspects of Computing, 2007

Regulating Data Exchange in Service Oriented Applications.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

A Calculus for Orchestration of Web Services.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Programming Languages and Systems, 2007

2006

A WSDL-Based Type System for WS-BPEL.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2002

AGILE: Software Architecture for Mobility.

Luís 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

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002