Search the dblp DataBase

Publications of Author

1. Xiaoping Jia, Sotiris Skevoulis
   Code Synthesis Based on Object-Oriented Design Models and Formal Specifications. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1998, pp:393-399 [Conf]
   
2. Xiaoping Jia, Sotiris Skevoulis
   A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1999, pp:67-0 [Conf]
   
3. Xiaoping Jia, Sushant Sawant, Jiangyu Zhou, Sotiris Skevoulis
   Detecting Null Pointer Violations in Java Programs. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1999, pp:456-461 [Conf]
   
4. Saby Tavales, Sotirios Skevoulis
   Podcasts: Changing the Face of e-Learning. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2006, pp:721-726 [Conf]
   
5. Sotiris Skevoulis, Xiaoping Jia
   Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. [Citation Graph (0, 0)][DBLP]
   TOOLS (37), 2000, pp:36-44 [Conf]
   
6. 
   Engineering a Software Supported Health Risk Appraisal Method: A Joint Effort between Academia and Health Care Industry. [Citation Graph (, )][DBLP]
   
   
7. 
   Integrating formal methods tools into undergraduate computer science curriculum. [Citation Graph (, )][DBLP]