Sotiris Skevoulis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1998–2002
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | ITiCSE | Integrating formal methods tools into undergraduate computer science curriculum. | Sotiris Skevoulis, Maria Falidas |
| 1999 | COMPSAC | A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs. | Xiaoping Jia, Sotiris Skevoulis |
| 1999 | COMPSAC | Detecting Null Pointer Violations in Java Programs. | Xiaoping Jia, Sushant Sawant, Jiangyu Zhou, Sotiris Skevoulis |
| 1998 | COMPSAC | Code Synthesis Based on Object-Oriented Design Models and Formal Specifications. | Xiaoping Jia, Sotiris Skevoulis |