rightpacelogo2.gif (29300 bytes)

Home

Courses

OldCourses

Research

Research Publications 

  • Refereed International Conferences and Workshops
    • Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum. To be published in the Proceedings of the 7th Annual ACM SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE), June 2002, Aarhus, Denmark.
    • A Transformation Mechanism to Facilitate Verification of Java Program Properties. Published in the Proceedings of the 5th International Conference on Systemics, Cybernetics and Informatics, July 2001, Orlando, FL.
    • Generic Invariant Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. TOOLS Pacific 2000. Published in the Proceedings, November 2000, Sydney, Australia
    • A Formal Methods Based Static Analysis Approach for Detecting Runtime Errors in Java Programs. 2nd ECOOP Workshop on Formal Techniques for Java Programs -- 14th European Conference on Object-Oriented Programming.(accepted for publication) June 2000. Sophia-Antipolis, France. 
    • Applying an Invariant Based Approach to Detecting Illegal Array Indices in Java Programs. The Fourth World Multiconference on Systemics, Cybernetics and Informatics. SCI2000. (accepted). July 2000, Orlando FL.
    • Detecting Null Pointer Violations in Java Programs. Proceedings 23rd Annual IEEE International Computer Software and Application Conference (COMPSAC'99). October 1999, Phoenix, AZ. 
    • A Generic Approach of Static Analysis for Detecting Runtime Exceptions in Java Programs. Proceedings 23rd Annual IEEE International Computer Software and Application Conference (COMPSAC'99). October 1999, Phoenix, AZ.
    • Applying Static Analysis for Detecting Null Pointers in Java Programs. Proceedings 5th International Conference on Information Systems Analysis and Synthesis (ISAS'99). August 1999, Orlando, FL. 
    • Code Synthesis based on Object-Oriented Design Models and Formal Specifications, Xiaoping Jia & Sotiris Skevoulis. Published in the Proceedings of the 22nd Annual IEEE International Computer Software and Application Conference (COMPSAC'98). August 1998, Vienna, Austria, pp. 390­396. 

  • Refereed Journals
    • A Light-Weight Approach to Applying Formalization in Software Development. Journal of Automated Software Engineering (under preparation)

  • Other publications
    • A Light-WeightApproch to Applying Formal Methods in Software Development. Ph.D dissertation, Available as Technical  Report from The School of Computer Science, Telecommunications and Information Systems, DePaul University, June 1999.
    • Venus: An Object-Oriented Development Tool. Synthesizing C++ Code from Object-Oriented Models and Specifications,  A White Paper, November 1997. Available via the web at http://se.cs.depaul.edu/fm
    • Using a Light­Weight Theorem Prover in Code Synthesis and Optimization from Formal Specifications. A prototype has been developed. 
    • Venus: A User's Guide. DePaul ISE Internet Z archive, August 1998. Available via the web at http://se.cs.depaul.edu/fm
    • A Light­Weight Approach to Formal Methods. Published in the Proceedings of the Software Engineering Symposium, DePaul University. May 1997, Chicago, IL. 
    • Stochastic Music Composition. Thesis submitted as partial requirement for my BS in Mathematics degree (available in Greek), Department of Mathematics, University of Patras. June 1988, Patras, Greece.