dblp.uni-trier.dewww.uni-trier.de

Alessandro Lapadula

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
11EEFederico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electr. Notes Theor. Comput. Sci. 235: 71-105 (2009)
2008
10EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Formal Account of WS-BPEL. COORDINATION 2008: 199-215
9EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Specifying and Analysing SOC Applications with COWS. Concurrency, Graphs and Models 2008: 701-720
8EEAlessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi: A Model Checking Approach for Verifying COWS Specifications. FASE 2008: 230-245
7EEMartin 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: 170-190
6EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Service Discovery and Negotiation With COWS. Electr. Notes Theor. Comput. Sci. 200(3): 133-154 (2008)
2007
5EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A Calculus for Orchestration of Web Services. ESOP 2007: 33-47
4EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: Regulating Data Exchange in Service Oriented Applications. FSEN 2007: 223-239
3EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: C-clock-WS: A Timed Service-Oriented Calculus. ICTAC 2007: 275-290
2006
2EEAlessandro Lapadula, Rosario Pugliese, Francesco Tiezzi: A WSDL-Based Type System for WS-BPEL. COORDINATION 2006: 145-163
2002
1EELuis 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: 1-33

Coauthor Index

1Lucia Acciai [7]
2Luis Filipe Andrade [1]
3Paolo Baldan [1]
4Federico Banti [7] [11]
5Hubert Baumeister [1]
6Roberto Bruni [1]
7Allan Clark [7]
8Andrea Corradini [1]
9Alessandro Fantechi [7] [8]
10José Luiz Fiadeiro [1]
11Fabio Gadducci [1]
12Stephen Gilmore (Stephen T. Gilmore) [7]
13Stefania Gnesi [1] [7] [8]
14László Gönczy [7]
15Piotr Hoffman [1]
16Matthias M. Hölzl [7]
17Nora Koch [1] [7]
18Piotr Kosiuczenko [1]
19Diego Latella [1]
20Antónia Lopes [1]
21Michele Loreti [1]
22Mieke Massink [1]
23Philip Mayer [7]
24Franco Mazzanti [1] [7] [8]
25Ugo Montanari [1]
26Rocco De Nicola [1]
27Cristóvão Oliveira [1]
28Rosario Pugliese [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
29Andreas Schroeder [7]
30Andrzej Tarlecki [1]
31Francesco Tiezzi [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
32Mirco Tribastone [7]
33Dániel Varró [7]
34Michel Wermelinger [1]
35Martin Wirsing [1] [7]
36Artur Zawlocki [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)