View by year: 1999 - 2003 2004 2005 2006 2007
  2008 2009 2010 2011 2012
All articles:   model checking static analysis simulation    

Journal Publications (in reverse chronological order)

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
(online:
http://dx.doi.org/10.1016/j.infsof.2010.07.006)
Keywords: software architecture validation, software quality, design tradeoffs,
transaction processing, simulation
J4. Katsaros, P., Angelis, L. and Lazos, C., Performance and effectiveness trade-off for checkpointing in fault tolerant distributed systems, Concurrency and Computation: Practice and Experience, Vol. 19 (1), 37-63, John Wiley & Sons, 2007
(online:
http://dx.doi.org/10.1002/cpe.1059)
Keywords:
checkpointing & recovery, fault tolerance, distributed systems, performance evaluation, statistical analysis
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

Book Chapters (in reverse chronological order) 

BC1. Stamelos, J., Refanidis, J., Katsaros, P., Tsoukias, A., Vlahavas, J., Pombortsis, A., An adaptable framework for educational software evaluation, Decision Making: Recent Developments and Worldwide Applications, Ed. by Zanakis & Doukidis, Applied Optimization Vol. 45, 347-360, Kluwer Academics, 2000
Keywords:
software evaluation, educational software, MCDA

Articles in Conference Proceedings (in reverse chronological order) 

C37. Kakarontzas, G., Gerogiannis, V. C., Stamelos, I., Katsaros, P. Elastic component characterization with respect to quality properties: an intuitionistic fuzzy-based approach, In Proceedings of the 15th Panhellenic Conference on Informatics (PCI), Kastoria, Greece, IEEE Computer Society, 270-274, 2011
BEST PAPER AWARD

Keywords: software quality, component-based software
C36. Tsiakis, T., Katsaros, P., Gritzalis, D. Economic evaluation of Interactive Audio Media for securing Internet services, In Proceedings of the 7th Int. Conference in Global Security, Safety and Sustainability (ICGS3), Thessaloniki, Greece, Springer, 2011
Keywords: security economics, spam, internet services
C35. Katos, V., Vrakas, D., Katsaros, P. A framework for access control with inference constraints, In Proceedings of the 35th IEEE Computer Software and Applications Conference (COMPSAC), Munich, Germany, IEEE Computer Society, 289-297, 2011
(http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.45)

Keywords: access control, inference control
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
(online: http://doi.ieeecomputersociety.org/10.1109/SEAA.2010.60)
Keywords:
model driven engineering, safety, verification & validation, ontology reasoning, model transformation
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:
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:
C25. Kakarontzas, G., Stamelos, I., Katsaros, P. Product line variability with elastic components and test-driven development, In Proceedings of the International Conference on Innovation in Software Engineering (ISE 2008), Vienna, Austria - IEEE Computer Society, 146-151, 2008
(online: http://doi.ieeecomputersociety.org/10.1109/CIMCA.2008.84)
Keywords:
C24. Mokos, K., Katsaros, P., Bassiliades, N., Vasiliades, V., Perrotin, M. Towards compositional safety analysis via semantic representation of component failure behavior, In: Knowledge-based Software Engineering/Proc. of 8th Joint Conference on Knowledge - Based Software Engineering 2008 (JCKBSE 08) - Piraeus, Greece, Frontiers in Artificial Intelligence and Applications, M. Virvou and T. Nakamura (Eds.) , 405-414, IOS Press, 2008
(online:
http://dx.doi.org/10.3233/978-1-58603-900-4-405)
Keywords:
C19. Kakarontzas, G., Katsaros, P., Stamelos, I., Elastic Components: Addressing variance of quality properties in components, In Proceedings of the 33rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), EUROMICRO, Luebeck, Germany, 31-38, IEEE Computer Society, 2007
(online: http://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.29)
Keywords:
C17. Katsaros, P., On the design of access control to prevent sensitive information leakage in distributed object systems: a Colored Petri Net based model, In Proceedings of the International Symposium on Distributed Objects and Applications (DOA 2005), Agia Napa, Cyprus, LNCS 3761, 941-959, Springer Verlag, 2005
(online:
http://dx.doi.org/10.1007/11575801_2)
Keywords:
C14. Katsaros, P., Simulation and verification of information flow paths for access control policies specified in the CORBA Security setting, In Local Proceedings of the 10th Panhellenic Conference in Informatics (PCI 2005), EPY, Volos, Greece, 225-237, 2005
Keywords:
C13. Katsaros, P., Lazos, C., Optimal object state transfer - recovery policies for fault tolerant distributed systems, In Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 04), Florence, Italy, IEEE Computer Society Press, 762-771, 2004
(online:
http://doi.ieeecomputersociety.org /10.1109/DSN.2004.1311947)
Keywords:
C11. Deligiannis, I., Sfetsos, P., Stamelos, I., Angelis, L., Chatzigeorgiou, A., Katsaros, P., Assessing the modifiability of two object-oriented design alternatives - A controlled experiment replication, In Proceedings of the EUROSIM 2004 Congress, Special session on Modeling and simulation of object based systems, EUROSIM, Paris, France, 2004
Keywords:
C7. Katsaros, P., Lazos, C., Structured performance modeling and analysis for object based distributed software systems, In Proceedings of the 15th ISCA International Conference on Parallel and Distributed Computing Systems, ISCA, Louisville, USA, 96-102, 2002
Keywords:
C1. Stamelos, J., Refanidis, J., Katsaros, P., Vlachavas, J., Tsoukias, A., Pombortsis, A., Automating the evaluation of educational software, In Proc. of the 5th International Conference of the Decision Sciences Institute, 1369-1373, Athens, 1999
Keywords:

Books - Dissertations

B3. Katsaros, P., Performance Analysis of Distributed Software Architectures, PhD thesis, Dept. of Informatics, Aristotle University of Thessaloniki, 2002 (172 pages in Greek)
B2. Katsaros, P., Distributed Applications Development, Technical Report, Dept. of Informatics, Aristotle University of Thessaloniki, 1997 (70 pages in Greek)
B1. Katsaros, P., Computer Systems Performance Modelling, MSc thesis, Aston University Birmingham, 1993 (117 pages)

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

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