Search the dblp DataBase

Publications of Author

1. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
   A WSDL-Based Type System for WS-BPEL. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2006, pp:145-163 [Conf]
   
2. Luis 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. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:1-33 [Conf]
   
3. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
   A Calculus for Orchestration of Web Services. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:33-47 [Conf]
   
4. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
   C-clock-WS: A Timed Service-Oriented Calculus. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:275-290 [Conf]
   
5. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
   Regulating Data Exchange in Service Oriented Applications. [Citation Graph (0, 0)][DBLP]
   FSEN, 2007, pp:223-239 [Conf]
   
6. 
   Specifying and Analysing SOC Applications with COWS. [Citation Graph (, )][DBLP]
   
   
7. 
   A Formal Account of WS-BPEL. [Citation Graph (, )][DBLP]
   
   
8. 
   A Model Checking Approach for Verifying COWS Specifications. [Citation Graph (, )][DBLP]
   
   
9. 
   SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]
   
   
10. 
    A tool for rapid development of WS-BPEL applications. [Citation Graph (, )][DBLP]
    
    
11. 
    Service Discovery and Negotiation With COWS. [Citation Graph (, )][DBLP]
    
    
12. 
    Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. [Citation Graph (, )][DBLP]
    
    
13. 
    From Architectural to Behavioural Specification of Services. [Citation Graph (, )][DBLP]