BibSonomy :: author  ::

bookmarks

publications

(197)

• Using Graph Transformation Systems to Specify and Verify Data Abstractions.
  Luciano Baresi and Carlo Ghezzi and Andrea Mocci and Mattia Monga ECEASST 10 (2008)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• Towards Distributed BPEL Orchestrations.
  Luciano Baresi and Andrea Maurino and Stefano Modafferi ECEASST 3 (2006)
  to dblp by dblp on 2008-11-19 00:00:00
  | URL | BibTeX  
• A service-based infrastructure for advanced logistics.
  Luciano Baresi and Daniele Braga and Marco Comuzzi and Filippo Pacifici and Pierluigi Plebani IW-SOSWE 47-53 (2007)
  to dblp by dblp on 2008-11-03 00:00:00
  | URL | BibTeX  
• Playing with time in publish-subscribe using a domain-specific model checker.
  Luciano Baresi and Giorgio Gerosa and Carlo Ghezzi and Luca Mottola SAVCBS 55-62 (2007)
  to dblp by dblp on 2008-11-03 00:00:00
  | URL | BibTeX  
• Self-healing BPEL processes with Dynamo and the JBoss rule engine.
  Luciano Baresi and Sam Guinea and Liliana Pasquale ESSPE 11-20 (2007)
  to dblp by dblp on 2008-11-03 00:00:00
  | URL | BibTeX  
• Building Semantic Web Portals with WebML.
  Marco Brambilla and Federico Michele Facca ICWE 312-327 (2007)
  to semantic web webml by fefacca and 1 other person on 2008-09-02 23:15:20
  | URL | BibTeX  
• An Efficient Solution for Model Checking Graph Transformation Systems.
  Luciano Baresi and Vahid Rafe and Adel Torkaman Rahmani and Paola Spoletini Electr. Notes Theor. Comput. Sci. 213 3-21 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• Towards a unified framework for the monitoring and recovery of BPEL processes.
  Luciano Baresi and Sam Guinea and Liliana Pasquale TAV-WEB 15-19 (2008)
  to dblp by dblp on 2008-08-14 00:00:00
  | URL | BibTeX  
• A Flexible and Semantic-Aware Publication Infrastructure for Web Services.
  Luciano Baresi and Matteo Miraz and Pierluigi Plebani CAiSE 435-449 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Test oracles
  L. Baresi and M. Young (2001)
  to Z logic oracle temporal test by ist_spl on 2008-06-06 14:58:45
  | URL | BibTeX