Code Synthesis Based on Object-Oriented Design Models and Formal Specifications. - Xiaoping Jia; Sotiris Skevoulis (COMPSAC, 1998)

A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs. - Xiaoping Jia; Sotiris Skevoulis (COMPSAC, 1999)

Detecting Null Pointer Violations in Java Programs. - Xiaoping Jia; Sushant Sawant; Jiangyu Zhou; Sotiris Skevoulis (COMPSAC, 1999)

Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. - Sotiris Skevoulis; Xiaoping Jia (TOOLS (37), 2000)

Integrating formal methods tools into undergraduate computer science curriculum. - Sotiris Skevoulis; Maria Falidas (ITiCSE, 2002)

Podcasts: Changing the Face of e-Learning. - Saby Tavales; Sotiris Skevoulis (Software Engineering Research and Practice, 2006)

Engineering a Software Supported Health Risk Appraisal Method: A Joint Effort between Academia and Health Care Industry. - Sotiris Skevoulis; Joe Campedelli; Karen Holdsworth; John Verel; Saby Tavales (CSEE&T, 2009)

Engineering a successful partnership between academia and the financial industry: A software engineering program for IT professionals. - Sotiris Skevoulis (CSEE&T, 2011)