RESEARCH ACTIVITIES

• These are the topics of my current research activities:
  • Formal models for the verification of Web Services
  • Real-time Web Services
  • Application of formal methods to Web Services Design

• Consult the Web Page of our group, ReTiCS for more information.

• Main page