The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sotiris Skevoulis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002