 | 2009 |
|---|
| 7 |       | Sotiris Skevoulis,
Joe Campedelli,
Karen Holdsworth,
John Verel,
Saby Tavales:
Engineering a Software Supported Health Risk Appraisal Method: A Joint Effort between Academia and Health Care Industry.
CSEE&T 2009: 113-116 |
| 2006 |
|---|
| 6 |  | Saby Tavales,
Sotiris Skevoulis:
Podcasts: Changing the Face of e-Learning.
Software Engineering Research and Practice 2006: 721-726 |
| 2002 |
|---|
| 5 | | Sotiris Skevoulis,
Maria Falidas:
Integrating formal methods tools into undergraduate computer science curriculum.
ITiCSE 2002: 232 |
| 2000 |
|---|
| 4 | | Sotiris Skevoulis,
Xiaoping Jia:
Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.
TOOLS (37) 2000: 36-44 |
| 1999 |
|---|
| 3 | | Xiaoping Jia,
Sushant Sawant,
Jiangyu Zhou,
Sotiris Skevoulis:
Detecting Null Pointer Violations in Java Programs.
COMPSAC 1999: 456-461 |
| 2 | | Xiaoping Jia,
Sotiris Skevoulis:
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs.
COMPSAC 1999: 67- |
| 1998 |
|---|
| 1 | | Xiaoping Jia,
Sotiris Skevoulis:
Code Synthesis Based on Object-Oriented Design Models and Formal Specifications.
COMPSAC 1998: 393-399 |
