WWV 2007

3rd Int'l Workshop on Automated Specification and Verification of Web Systems
San Servolo island, Venice, Italy
December 14, 2007

Accepted papers

• Musab AlTurki and Jose Meseguer.
  Reduction Semantics and Formal Analysis of Orc Programs
  
  
• Peter Hofner and Florian Lautenbacher.
  Algebraic Structure of Web Services
  
  
• Jesus M. Almendros-Jimenez.
  A RDF Query Language Based on Logic Programming
  
  
• Maria-Jose Hidalgo, Jose-Antonio Alonso, Francisco-Jesus Martin-Mateos and Jose-Luis Ruiz-Reina.
  From a generic framework for the ALC description logic to formally verified reasoners
  
  
• Faisal Abouzaid and John Mullins.
  A Calculus for Generation, Verification and Refinement of BPEL Specifications
  
  
• Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi.
  Service discovery and negotiation with COWS
  
  
• Martin Karusseit, Tiziana Margaria and Holger Willebrandt.
  Policy expression and checking in XACML, WS-Policies, and the OCS
  
  
• Robin Message and Alan Mycroft.
  Controlling control flow in web applications
  
  
• Nawal Guermouche, Olivier Perrin and Christophe Ringeissen.
  Timed Specification For Web Services Compatibility Analysis
  
  
• Sonia Flores, Salvador Lucas and Alicia Villanueva.
  Formal Verification of Websites
  
  

---

Demis Ballis

Last modified: November 15, 2007