Items where Author is "Lapadula, Alessandro"

Article

Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Logical Verification Methodology for Service-Oriented Computing. ACM Transactions on Software Engineering and Methodology, 21 (3). 16:01-16:46. ISSN 1049-331X (2012)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Using formal methods to develop WS-BPEL applications. Science of Computer Programming, 77 (3). pp. 189-213. ISSN 0167-6423 (2012)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design, 38 (2). pp. 119-157. ISSN 0925-9856 (2011)

Bocchi, Laura and Fiadeiro, Jose Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco From architectural to behavioural specification of services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661 (2009)

Banti, Federico and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specification and analysis of SOC systems using COWS: a finance case study. Electronic Notes in Theoretical Computer Science, 235. pp. 71-105. ISSN 1571-0661 (2009)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Service discovery and negotiation with COWS. Electronic Notes in Theoretical Computer Science, 200 (3). pp. 133-154. ISSN 1571-0661 (2008)

Book Section

Cesari, Luca and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A tool for rapid development of WS-BPEL applications. In: Proceedings of the 2010 ACM Symposium on Applied Computing. SAC '10 . ACM, pp. 2438-2442. ISBN 978-1-60558-639-7 (2010)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Formal Account of WS-BPEL. In: Coordination Models and Languages (COORDINATION 2008). Lecture Notes in Computer Science, 5052 . Springer, pp. 199-215. ISBN 978-3-540-68264-6 (2008)

Fantechi, Alessandro and Gnesi, Stefania and Lapadula, Alessandro and Mazzanti, Franco and Pugliese, Rosario and Tiezzi, Francesco A Model Checking Approach for Verifying COWS Specifications. In: FASE. Lecture Notes in Computer Science, 4961 . Springer, pp. 230-245. ISBN 978-3-540-78742-6 (2008)

Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Specifying and Analysing SOC Applications with COWS. In: Concurrency, Graphs and Models. Lecture Notes in Computer Science, 5065 . Springer, pp. 701-720. ISBN 978-3-540-68676-7 (2008)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco COWS: A Timed Service-Oriented Calculus. In: Theoretical Aspects of Computing – ICTAC 2007. Lecture Notes in Computer Science, 4711 . Springer, pp. 275-290. ISBN 978-3-540-75290-5 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A Calculus for Orchestration of Web Services. In: Programming Languages and Systems (ESOP 2007). Lecture Notes in Computer Science, 4421 . Springer, pp. 33-47. ISBN 978-3-540-71314-2 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco Regulating Data Exchange in Service Oriented Applications. In: International Symposium on Fundamentals of Software Engineering (FSEN 2007). Lecture Notes in Computer Science, 4767 . Springer, pp. 223-239. ISBN 978-3-540-75697-2 (2007)

Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco A WSDL-Based Type System for WS-BPEL. In: COORDINATION. Lecture Notes in Computer Science, 4038 . Springer, pp. 145-163. ISBN 3-540-34694-5 (2006)

Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)