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

Journal Publications 2009

J6. Basagiannis, S., Katsaros, P., Pombortsis, A., Alexiou, N., Probabilistic model checking for the quantification of DoS security threats, Computers & Security, Vol. 28 (6), 450-465, Elsevier, 2009 (online: http://dx.doi.org/10.1016/j.cose.2009.01.002) Keywords: denial of service, secure authentication, probabilistic model checking, resource exhaustion, attacker model

J5. Katsaros, P., A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach, Information and Software Technology, Vol. 51 (2), 235-257, Elsevier, 2009 (online: http://dx.doi.org/10.1016/j.infsof.2008.01.005) Keywords: electronic payments, atomicity, fault tolerance, e-commerce transactions, security, Colored Petri-Nets, model checking

Articles in Conference Proceedings 2009 

C28. Mentis, A., Katsaros, P., Angelis, L. Synthetic metrics for evaluating performance of software architectures with complex tradeoffs, In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Patra, Greece, IEEE Computer Society, 237-242, 2009 (online: http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.84) Keywords:

C27. Mentis, A., Katsaros, P. The ACID model checker and code generator for transaction processing, In Proceedings of the 2009 High Performance Computing & Simulation Conference  (HPCS), Leipzig, Germany - IEEE, 138-144, 2009 (http://doi.ieeecomputersociety.org/10.1109/HPCSIM.2009.5191824) Keywords:

C26. Tsiakis, T., Katsaros, P. Hands on Dependability Economics, In Proceedings of the 2nd International Conference on Dependability (DEPEND), IARIA, Athens, Greece - IEEE Computer Society, 117-121, 2009 (online: http://doi.ieeecomputersociety.org/10.1109/DEPEND.2009.24) Keywords:

Other publications - presentations