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 2010

J9. Kakarontzas, G., Katsaros, P., Stamelos, I., Component Certification as a Prerequisite for Widespread OSS Reuse, Electronic Communications of the European Association of Software Science and Technology (EASST), Vol. 33: Foundations and Techniques for Open Source Software Certification, 2010
Keywords: component certification, open source software reuse, component-based development
J8. Mentis, A., Katsaros, P., Angelis, L., Kakarontzas, G., Quantification of interacting runtime qualities in software architectures: insights from transaction processing in client-server architectures, Information and Software Technology, Vol. 52 (12), 1331-1345, Elsevier, 2010
Keywords: software architecture validation, software quality, design tradeoffs,
transaction processing, simulation
J7. Basagiannis, S., Katsaros, P., Pombortsis, A., An intruder model with Message Inspection for model checking security protocols, Computers & Security, Vol. 29 (1), 16-34, Elsevier, 2010
Keywords: security protocols, verification, model checking, intrusion attacks, formal analysis

Articles in Conference Proceedings 2010 

C30. Alexiou, N., Deshpande, T., Basagiannis, S., Smolka, S., Katsaros, P. Formal analysis of the Kaminsky DNS cache-poisoning attack using probabilistic model checking, In Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium (HASE), San Jose, California, IEEE Computer Society, 94-103, 2010
cache-poisoning attack, probabilistic model checking
C29. Mokos, K., Meditskos, G., Katsaros, P., Bassiliades, N., Vasiliades, V. Ontology-based model driven engineering for safety verification, In Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Lille, France, IEEE Computer Society, 47-54, 2010
model driven engineering, safety, verification & validation, ontology reasoning, model transformation

Other publications - presentations

O5. Almaliotis, V., Katsaros, P., Mokos, K. Model checking for generation of test suites in software unit testing, In Work In Progress Session of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Lille, France, 2010

Technical report, Aristotle University of Thessaloniki, 2010