View by year: 1999 - 2003 2004 2005 2006 2007 2008 2009
  2010 2011 2012 2013 2014 2015 All
Keyword:  model checking static analysis simulation software quality & testing software architecture service systems

Journal Publications 2012

J15. Mentis, A., Katsaros, P., Angelis, L., A simulation process for asynchronous event processing systems: evaluating performance and availability in transaction models, Simulation Modelling Practice and Theory, Vol. 29, 66-77, Elsevier, 2012
(online: http://dx.doi.org/10.1016/j.simpat.2012.07.007)
Keywords: asynchronous event processing, simulation, performance evaluation, model checking, transaction processing
J14. Tsiakis, T., Katsaros, P., Gritzalis, D., Economic assessment of externalities for interactive audio media anti-SPIT protection of internet services, Int. J. Electronic Security and Digital Forensics, Vol. 4 (2-3), 164-177, Inderscience Publishers, 2012
Keywords: security economics, spam, internet services
J13. Mentis, A., Katsaros, P., Model checking and code generation for transaction processing software, Concurrency and Computation: Practice and Experience, Vol. 24 (7), 711-722, John Wiley & Sons, 2012
(online: http://dx.doi.org/10.1002/cpe.1876)
Keywords: model checking, transaction processing
J12. Gritzalis, D., Katsaros, P., Basagiannis, S., Soupionis, Y., Formal analysis for robust anti-SPIT protection using model-checking, International Journal of Information Security, Vol. 11 (2), 121-135, Springer, 2012
(online: http://dx.doi.org/10.1007/s10207-012-0159-4)
Keywords: SPam over Internet Telephony, Session Initiation Protocol, model checking, security policies

Articles in Conference Proceedings 2012 

C41. Stachtiari, E., Soupionis, Y., Katsaros, P., Mentis, A., Gritzalis, D. Probabilistic model checking of CAPTCHA admission control for DoS resistant anti-SPIT protection, In Proceedings of the 7th International Conference on Critical Information Infrastructures Security (CRITIS), Lillehammer, Norway, 2012
Keywords: admission control, denial of service, CAPTCHA, probabilistic model checking
C40. Stachtiari, E., Mentis, A., Katsaros, P., Rigorous analysis of service composability by embedding WS-BPEL into the BIP component framework, In Proceedings of the 19th IEEE International Conference on Web Services (ICWS), Honolulu, Hawaii, IEEE Computer Society, 319-326, 2012
(online: http://doi.ieeecomputersociety.org/10.1109/ICWS.2012.63)
Keywords: service composition, WS-BPEL, formal analysis
C39. Chatzieleftheriou, G., Bonakdarpour, B., Smolka, S., Katsaros, P. Abstract model repair, In Proceedings of the 4th NASA Formal Methods Symposium (NFM), Norfolk, Virginia, LNCS 7226, 341-355, Springer Verlag, 2012
(online: http://dx.doi.org/10.1007/978-3-642-28891-3_32)
Keywords: model repair, abstraction - refinement