Alessandro Lapadula

17 papers A 1B 1C 4Misc 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2012 J jnl
A logical verification methodology for service-oriented computing.
ACM Trans. Softw. Eng. Methodol.
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2012 J jnl
Using formal methods to develop WS-BPEL applications.
Sci. Comput. Program.
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2011 J jnl
A WSDL-based type system for asynchronous WS-BPEL processes.
Formal Methods Syst. Des.
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2011 — ch.
Analysing Robot Movement Using the Sensoria Methods.
Results of the SENSORIA Project
Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano
2010 Misc conf
A tool for rapid development of WS-BPEL applications.
SAC
Luca Cesari, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2009 — conf
From Architectural to Behavioural Specification of Services.
FESCA@ETAPS
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 C conf
A Formal Account of WS-BPEL.
COORDINATION
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 B conf
A Model Checking Approach for Verifying COWS Specifications.
FASE
Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
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ó
2008 — conf
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
WWV
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2008 — conf
Specifying and Analysing SOC Applications with COWS.
Concurrency, Graphs and Models
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 A conf
A Calculus for Orchestration of Web Services.
ESOP
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 C conf
C-clock-WS: A Timed Service-Oriented Calculus.
ICTAC
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 — conf
Regulating Data Exchange in Service Oriented Applications.
FSEN
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2007 — conf
Service Discovery and Negotiation With COWS.
WWV
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2006 C conf
A WSDL-Based Type System for WS-BPEL.
COORDINATION
Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
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