Search the dblp DataBase

Publications of Author

1. Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
   Trio2Promela: A Model Checker for Temporal Metric Specifications. [Citation Graph (0, 0)][DBLP]
   ICSE Companion, 2007, pp:61-62 [Conf]
   
2. Domenico Bianculli, Radu Jurca, Walter Binder, Carlo Ghezzi, Boi Faltings
   Automated Dynamic Maintenance of Composite Services Based on Service Reputation. [Citation Graph (0, 0)][DBLP]
   ICSOC, 2007, pp:449-455 [Conf]
   
3. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
   A Timed Extension of WSCoL. [Citation Graph (0, 0)][DBLP]
   ICWS, 2007, pp:663-670 [Conf]
   
4. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
   Model Checking Temporal Metric Specifications with Trio2Promela. [Citation Graph (0, 0)][DBLP]
   FSEN, 2007, pp:388-395 [Conf]
   
5. 
   Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. [Citation Graph (, )][DBLP]
   
   
6. 
   ReMan: A pro-active reputation management infrastructure for composite Web services. [Citation Graph (, )][DBLP]
   
   
7. 
   SOABench: performance evaluation of service-oriented middleware made easy. [Citation Graph (, )][DBLP]
   
   
8. 
   Transparent Reputation Management for Composite Web Services. [Citation Graph (, )][DBLP]
   
   
9. 
   SAVVY-WS at a glance: Supporting verifiable dynamic service compositions. [Citation Graph (, )][DBLP]
   
   
10. 
    Monitoring conversational web services. [Citation Graph (, )][DBLP]
    
    
11. 
    Automated performance assessment for service-oriented middleware: a case study on BPEL engines. [Citation Graph (, )][DBLP]
    
    
12. 
    A Model Checking Approach to Verify BPEL4WS Workflows. [Citation Graph (, )][DBLP]
    
    
13. 
    A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. [Citation Graph (, )][DBLP]