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: http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=48414), 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 (http://doi.ieeecomputersociety.org/10.1109/COMPSACW.2011.26) 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 (online: http://dx.doi.org/10.1007/978-3-540-85893-5_2) Keywords:

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 Keywords: