Alessandro Lapadula
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2006–2010
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SAC | A tool for rapid development of WS-BPEL applications. | Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2008 | Coordination | A Formal Account of WS-BPEL. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2008 | FASE | A Model Checking Approach for Verifying COWS Specifications. | Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2007 | ESOP | A Calculus for Orchestration of Web Services. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2007 | ICTAC | C-clock-WS: A Timed Service-Oriented Calculus. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2006 | Coordination | A WSDL-Based Type System for WS-BPEL. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |