View by year: 1999 - 2003 2004 2005 2006 2007
  2008 2009 2010 2011 2012
All articles: model checking   simulation software quality & testing  

Journal Publications (in reverse chronological order)

Book Chapters (in reverse chronological order) 

BC3. Loizidis, A., Almaliotis, V., Katsaros, P., Static Program Analysis of Multi-Applet JavaCard Applications, Software Engineering for Secure Systems: Industrial and Research Perspectives, Ed. by H. Mouratidis (Un. of East London, UK), IGI Global, 286-304 (online:, 2011
Keywords: static program analysis, security verification, information flow, temporal safety, taint analysis

Articles in Conference Proceedings (in reverse chronological order) 

C34. Chatzieleftheriou, G., Katsaros, P. Test driving static analysis tools in search of C code vulnerabilities, In Proceedings of the 35th IEEE Computer Software and Applications Conference Workshops (COMPSACW), Munich, Germany, IEEE Computer Society, 96-103, 2011

Keywords: static program analysis, software security, benchmark tests  
C23. Almaliotis, V., Loizidis, A., Katsaros, P., Louridas, P., Spinellis, D. Static program analysis for Java Card applets, In Proceedings of the 8th IFIP Smart Card Research and Advanced Application Conference (CARDIS), Royal Holloway, Un. of London, United Kingdom, LNCS 5189, 17-31, Springer Verlag, 2008
C9. Karaiskos, Z., Katsaros, P. and Lazos, C., Single-pass static semantic check for efficient translation in YAPL, In Proceedings of the 1st Balkan Conference in Informatics, Thessaloniki, Greece, 623-632, 2003

Books - Dissertations

B4. Lazos, C., Katsaros, P., Karaiskos, Z., Programming Language Compilers: Theory and Practice, Thessaloniki, 2004 (584 pages in Greek)