Research Interests:
  • Software development
  • Modeling checking and verification of software systems,
  • Service oriented architecture and web services, 
  • Distributed and embedded systems,
  • Database systems
Activities:
  • Focal person of 1ST National Conference on Mathematics and Computer Science (NCMCS'15) 21-23 January 2015 (http://ncmcs.quest.edu.pk/)
  • Focal person of 1ST National Conference on Trends and Innovations in Information Technology (TIIT'16) 24-26 February 2016 (http://tiit.quest.edu.pk/)
Memberships:
  • Member of the editorial board of Sindh University Research Journal (SURJ) w.e.f. 19-04-2017.
Books/Chapters:
Conference/Workshop Publications:

  • Evaluating Usability of M-Learning Applications in the Context of Higher Education.
    Aijaz Ahmed Arain, Zahid Hussain, Wajid H. Rizvi, and Muhammad Saleem Vighio
    PUBLISHED: 3rd International Conference on Learning Technologies (LCT'16), 13-22 July 2016, Toronto, Canada.

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

  • Nimra Memon, Muhammad Saleem Vighio, Shah Zaman Nizamani, Niaz Ahmed Memon, Adeel Riaz, Umair Ramzan, Analysis of Query Processing and Optimization. PUBLISHED: Bahria University Journal of Information and Communication Technologies (BUJICT),Vol. 08 (2015), Issue 1

  • Muhammad Hanif, Muhammad Saleem Vighio, Zahid Hussain and Niaz Ahmed Memon, Comparative Study of Top-Ranked Web Browsers. PUBLISHED: Bahria University Journal of Information and Communication Technologies (BUJICT),Vol. 08 (2015), Issue 1

  • Abinoam P. Marques Jr., Anders P. Ravn, Jiri Srba, and Saleem Vighio, Model-Checking Web Services Business Activity Protocols. PUBLISHED: International Journal on Software Tools for Technology Transfer (STTT'12), April 2012.

  • Saleem Vighio, and Anders P. Ravn, Model-Checking Techniques for Reliable Communication over Unreliable Media. PUBLISHED: Sindh University Research Journal (SURJ'11), Vol. 43 (1-A), June 2011.

  • Saleem Vighio, Ander P. Ravn, and Fareed A. Jokhio, Multi-party agreement in Web Services Business Activity Protocols. PUBLISHED: Sindh University Research Journal (SURJ'12), Vol. 44 (2AB) June, 2012.

  • Saleem Vighio, Fida H. Chandio, Ghulam Murtaza Shah, Zahid H. Abro, and Imtiaz A. Korejo, Agreement and Compensation Verification in Long-running transactions . PUBLISHED: Sindh University Research Journal (SURJ’12), Vol. 44 (2), June 2012.

  • Fida H. Chandio, Hyder A. Nizamani, Quratulain Nizamani, Saleem Vighio, and M. Saleem Chandio, Comparative Analysis of Various Information Systems Acceptance Models . PUBLISHED: Sindh University Research Journal (SURJ’12), Vol. 44 (2), June 2012.

  • Imtiaz A. Korejo, Kamran Brohi, and Saleem Vighio, An Adaptive Mutation Operator for Global Optimization Problems . PUBLISHED: Sindh University Research Journal (SURJ’12), Vol. 44 (2), June 2012.

  • Fareed A. Jokhio, Saleem Vighio, and Imtiaz A. Korejo, Parallel Processing of Multimedia Algorithms . PUBLISHED: Sindh University Research Journal (SURJ'12), Vol. 44 (3), September 2012

  • Fareed A. Jokhio, Saleem Vighio, and Imtiaz A. Korejo, Parallel Image Processing with Multi-core Systems. PUBLISHED: Sindh University Research Journal (SURJ'12), Vol. 44 (3), September 2012

  • Ayaz A. Qureshi, Saleem Vighio, Zahid Hussain, and Asim I. Wagan, Performance Analysis of Network Coding using OPNET. PUBLISHED: Sindh University Research Journal (SURJ'12), Vol. 44 (4), December 2012.

  • Adnan A. Rajper, Saleem Vighio, Zahid Hussain, and Asim I. Wagan, Sentiment Analysis of Enterprise Mashups using Scikit and NLTK. PUBLISHED: Sindh University Research Journal (SURJ'12), Vol. 44 (4), December 2012.