Bibsonomy :: author  ::

bookmarks

publications

(17)

• 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  
• Quantifying the Discord: Order Discrepancies in Message Sequence Charts.
  Edith Elkind and Blaise Genest and Doron Peled and Paola Spoletini ATVA 378-393 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• XQuery layers.
  Daniele Braga and Alessandro Campi and Stefano Ceri and Paola Spoletini SIGMOD Record 36 25-30 (2007)
  to dblp by dblp on 2007-11-06 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  
• FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
  Andrea Matta and Matteo Rossi and Paola Spoletini and Dino Mandrioli and Quirico Semeraro and Tullio Tolio ICTAC 366-380 (2007)
  to dblp by dblp on 2007-09-13 00:00:00
  | URL | BibTeX  
• Commitment Monitoring in a Multiagent System.
  Paola Spoletini and Mario Verdicchio CEEMAS 83-92 (2007)
  to dblp by dblp on 2007-09-13 00:00:00
  | URL | BibTeX  
• A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures.
  Marco Giorgetta and Marco D. Santambrogio and Donatella Sciuto and Paola Spoletini VLSI-SoC 24-29 (2006)
  to dblp by dblp on 2007-07-19 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  
• Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
  Fei He and Luciano Baresi and Carlo Ghezzi and Paola Spoletini FORTE 247-262 (2007)
  to dblp by dblp on 2007-07-09 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