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

Articles in Conference Proceedings (in reverse chronological order)

C44. Berger, C., Katsaros, P., Bohlouli , M., Angelis, L. An interdisciplinary perspective to the design and decision support of integral safety systems, In Proceedings of the 4th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2013), York, UK, IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 4, Part 1, 145-150, 2013
(online: http://dx.doi.org/10.3182/20130904-3-UK-4041.00045)
Keywords: active control, safety, sensor systems, formal verification
 
C43. Rafailidis, F., Panagos, I., Arvanitidis, A., Katsaros, P. Inlined monitors for security policy enforcement in Web applications, In Proceedings of the 17th Panhellenic Conference on Informatics (PCI 2013), Thessaloniki, Greece, ACM, 75-82, 2013
(online: http://dx.doi.org/10.1145/2491845.2491861) BEST PAPER AWARD
Keywords:
security policy, runtime monitoring, web applications
C42. Gritzalis, D., Soupionis, Y., Katos, V., Psaroudakis, I., Katsaros, P., Mentis, A. The SPHINX Enigma in Critical VoIP Infrastructures: Human or Botnet?, In Proceedings of the 4th Int. Conference on Information, Intelligence, Systems and Applications (IISA 2013), Piraeus, Greece, 2013
(online: http://dx.doi.org/10.1109/IISA.2013.6623704)
Keywords:
VoIP, CAPTCHA, model checking
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 Int. Conference on Critical Information Infrastructures Security (CRITIS 2012), Lillehammer, Norway, LNCS 7722, 143-154, Springer Verlag, 2013
(online: http://dx.doi.org/10.1007/978-3-642-41485-5_13)

Keywords: a
dmission control, denial of service, CAPTCHA, probabilistic model checking