BibSonomy :: author  ::

bookmarks

publications

(6)

• Monitoring conversational web services.
  Domenico Bianculli and Carlo Ghezzi IW-SOSWE 15-21 (2007)
  to dblp by dblp on 2008-11-03 00:00:00
  | URL | BibTeX  
• A Model Checking Approach to Verify BPEL4WS Workflows.
  Domenico Bianculli and Carlo Ghezzi and Paola Spoletini SOCA 13-20 (2007)
  to dblp by dblp on 2008-02-05 00:00:00
  | URL | BibTeX  
• Model Checking Temporal Metric Specifications with Trio2Promela.
  Domenico Bianculli and Paola Spoletini and Angelo Morzenti and Matteo Pradella and Pierluigi San Pietro FSEN 388-395 (2007)
  to dblp by dblp on 2007-10-05 00:00:00
  | URL | BibTeX  
• Automated Dynamic Maintenance of Composite Services Based on Service Reputation.
  Domenico Bianculli and Radu Jurca and Walter Binder and Carlo Ghezzi and Boi Faltings ICSOC 449-455 (2007)
  to dblp by dblp on 2007-08-31 00:00:00
  | URL | BibTeX  
• A Timed Extension of WSCoL.
  Luciano Baresi and Domenico Bianculli and Carlo Ghezzi and Sam Guinea and Paola Spoletini ICWS 663-670 (2007)
  to dblp by dblp on 2007-07-18 00:00:00
  | URL | BibTeX  
• Trio2Promela: A Model Checker for Temporal Metric Specifications.
  Domenico Bianculli and Angelo Morzenti and Matteo Pradella and Pierluigi San Pietro and Paola Spoletini ICSE Companion 61-62 (2007)
  to dblp by dblp on 2007-06-12 00:00:00
  | URL | BibTeX