All years:	1999 - 2003	2004	2005		2007
	2008	2009	2010	2011	2012

Journal Publications 2006

J3. Katsaros, P., Iakovidou, N. and Soldatos, T., Evaluation of composite object replication schemes for dependable server applications, Information and Software Technology, Vol. 48 (9), 795-806, Elsevier, 2006 (online: http://dx.doi.org/10.1016/j.infsof.2005.10.004) Keywords: fault tolerance, performance, quality of service, distributed objects, simulation

Articles in Conference Proceedings 2006 

C18. Basagiannis, S., Katsaros, P., Pombortsis, A., Interlocking control by Distributed Signal Boxes: design and verification with the SPIN model checker, In Proceedings of the International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), Sorrento, Italy, LNCS 4330, 317-328, Springer Verlag, 2006 (online: http://dx.doi.org/10.1007/11946441_32) Keywords:

Other publications - presentations

O4. Katsaros, P., Research and Development at Aristotle University of Thessaloniki: Dependebility & Security, Dept. of Computer Science and Electronics, Mδlardalen University, 18th of April 2006

O3. Katsaros, P., Towards a formal analysis approach based on the use of Colored Petri Nets, Timed Colored Petri Nets and the CPN Tools, Dept. of Computer Science and Electronics, Mδlardalen University, 18th of April 2006