Publications

CONFERENCE PAPERS

• 2011
  • A Verified Design Pattern for Long-running Nested Transactions
    Saleem Vighio, Anders P. Ravn and Zhiming Liu
    ACCEPTED: 23rd Nordic Workshop on Programming Theory (NWPT’11) 26th - 28th October, 2011 - Västerås, Sweden.
• 2011
  • Tool Supported Analysis of Web Services Protocols
    Abinoam P. Marques Jr., Anders P. Ravn, Jiri Srba and Saleem Vighio
    ACCEPTED: 5th International Workshop on Harnessing Theories for Tool Support in Software (TTSS'11) 13th September 2011 - Oslo, Norway.
• 2011
  • Modelling and Verification of Web Services Business Activity Protocol
    Anders P. Ravn, Jiri Srba and Saleem Vighio
    ACCEPTED: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11) 26 March-03 April 2011 - Saarbrücken, Germany.
• 2010
  • Formal Analysis of Web Services Atomic Transaction Protocols
    Anders P. Ravn, Jiri Srba and Saleem Vighio
    ACCEPTED: 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'10) 18-20 October 2010 - Crete, Greece.
• 2009
  • Analysis of Collisions in Wireless Sensor Networks
    Saleem Vighio and Anders P. Ravn
    ACCEPTED: 21st Nordic Workshop on Programming Theory (NWPT'09) 14-16 October 2009, Copenhagen, Denmark.

  JOURNAL PAPERS

• 2011
  • Model-Checking of Web Services Business Activity Protocols
    Anders P. Ravn, Jiri Srba, Saleem Vighio and Abinoam P. Marques Jr.
    ACCEPTED:International Journal on Software Technology Transfer (STTT)
• 2011
  • Model-Checking Techniques for Reliable Communication over Unreliable Media
    Saleem Vighio and Anders P. Ravn
    PUBLISHED: Sindh Univ. Res. Jour. (Sci. Ser.) Vol.43 (1-A) 14-20 (2011)

  ---

  Back to my homepage