CAVALLARO, LUCA
CAVALLARO, LUCA
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
A Tile-based Approach for Self-assembling Service Compositions
2010-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Furia, CARLO ALBERTO; Pradella, Matteo
An approach to adapt service requests to actual service interfaces
2008-01-01 Cavallaro, Luca; DI NITTO, Elisabetta
An Automatic Approach to Enable Replacement of Conversational Services
2009-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Pradella, Matteo
Slicing AspectJ Woven Code
2005-01-01 Balzarotti, Davide; A., Castaldo D'Ursi; Cavallaro, Luca; Monga, Mattia
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability
2010-01-01 Bersani, MARCELLO MARIA; Cavallaro, Luca; Frigeri, Achille; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Synthesizing adapters for conversational web-services from their WSDL interface
2010-01-01 Cavallaro, Luca; DI NITTO, Elisabetta; Pelliccione, P.; Pradella, Matteo; Tivoli, M.