Books

• Lazos, C., Katsaros, P. and Karaiskos, Z., Programming Language Compilers: Theory and Practice, Thessaloniki, 2004 (584 pages in Greek)

Refereed Publications

Journal Publications (in reverse chronological order)

• Basagiannis, S., Katsaros, P., Pombortsis, A., An intruder model with Message Inspection for model checking security protocols, (In Press) Computers & Security, Elsevier (online: http://dx.doi.org/10.1016/j.cose.2009.08.003), 2009
• Basagiannis, S., Katsaros, P., Pombortsis, A., Synthesis of attack actions using model checking for the verification of security protocols, (In Press) Security and Communication Networks, John Wiley & Sons (online: http://dx.doi.org/10.1002/sec.119), 2009
• 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 (online: http://dx.doi.org/10.1016/j.cose.2009.01.002), September 2009
• 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 (online: http://dx.doi.org/10.1016/j.infsof.2008.01.005), 2009
• 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 (online: http://dx.doi.org/10.1002/cpe.1059), January 2007
• 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 (online: http://dx.doi.org/10.1016/j.infsof.2005.10.004), September 2006
• Katsaros, P. and Lazos, C., A simulation test-bed for the design of dependable e-services, WSEAS Transactions on Computers, WSEAS Press, Vol. 4/2, 915-919, 2003
• Katsaros, P. and Lazos, C., A technique for determining queuing network simulation length based on desired accuracy, International Journal of Computer Systems Science and Engineering, Vol. 15 (6), CRL Publishing, 399-404, 2000

Articles in Conference Proceedings (in reverse chronological order)

• Mentis, A., Katsaros, P. and 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 (online: http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.84), 237-242, 2009
• 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
• Tsiakis, T., Katsaros, P. Hands on Dependability Economics, In Proceedings of the 2nd International Conference on Dependability (DEPEND), IARIA, Athens, Greece - IEEE Computer Society (online: http://doi.ieeecomputersociety.org/10.1109/DEPEND.2009.24), 117-121, 2009
• Kakarontzas, G., Stamelos, I. and 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 (online: http://doi.ieeecomputersociety.org/10.1109/CIMCA.2008.84), 146-151, 2008
• 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/Proceedings of the 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 (online: http://dx.doi.org/10.3233/978-1-58603-900-4-405), 2008
• Almaliotis, V., Loizidis, A., Katsaros, P., Louridas, P., Spinellis, D. Static program analysis for Java Card applets, In Proceedings of the 8th IFIP Smart Card Research and Advanced Application Conference (CARDIS), Royal Holloway, Un. of London, United Kingdom, LNCS 5189, 17-31, Springer Verlag (online: http://dx.doi.org/10.1007/978-3-540-85893-5_2), 2008
• Basagiannis, S., Katsaros, P., Pombortsis, A. and Alexiou, N., A probabilistic attacker model for quantitative verification of DoS security threats, In Proceedings of the 32nd Annual IEEE International on Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, IEEE Computer Society, (online: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.48), 12-19, 2008
• Mentis, A., Katsaros, P. and Angelis, L., ACID Sim Tools: A simulation framework for distributed transaction processing architectures, In Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SimulationWorks Industry Track), Marseille, France, 2008
• Basagiannis, S., Katsaros, P. and Pombortsis, A., Intrusion Attack Tactics for the model checking of e-commerce security guarantees, In Proceedings of the 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Nuremberg, Germany,  LNCS 4680, 238-251, Springer Verlag (online: http://dx.doi.org/10.1007/978-3-540-75101-4_22), 2007
• Kakarontzas, G., Katsaros, P. and 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 (online: http://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.29), 2007
• Basagiannis, S., Katsaros, P. and Pombortsis, A., Interlocking control by Distributed Signal Boxes: design and verification with the SPIN model checker, In Proceedings of the International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), Sorrento, Italy, LNCS 4330, 317-328, Springer Verlag (online: http://dx.doi.org/10.1007/11946441_32), 2006
• 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 (online: http://dx.doi.org/10.1007/11575801_2), 2005
• Katsaros, P., Odontidis, V. and Gousidou-Koutita, M., Simulation and verification of atomicity properties for an electronic cash system, In Proceedings of the 2005 European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal, 558-563, 2005
  An extended report of this work is published as:
• Katsaros, P., Odontidis, V. and Gousidou-Koutita, M., Colored Petri Net based model checking and failure analysis for e-commerce protocols, In Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'05), DAIMI PB-576, Dept. of Computer Science, University of Aarhus, Denmark, 267-283, 2005
• 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
• Katsaros, P. and 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 (online: http://doi.ieeecomputersociety.org /10.1109/DSN.2004.1311947), 762-771, 2004
• Katsaros, P., Angelis, L. and Lazos, C., Simulation metamodeling for the design of reliable object based systems, In Proceedings of the EUROSIM 2004 Congress, Special session on Modeling and simulation of object based systems, EUROSIM, Paris, France, 2004
• Deligiannis, I., Sfetsos, P., Stamelos, I., Angelis, L., Xatzigeorgiou, A. and 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
• Katsaros, P. and Lazos, C., Approximate and simulation based analysis for distributed object software performance models, In Proceedings of the 2003 European Simulation and Modelling Conference (ESM 2003), EUROSIS, Naples, Italy, 409-414, 2003
• Karaiskos, Z., Katsaros, P. and Lazos, C., Single-pass static semantic check for efficient translation in YAPL, In Proceedings of the 1st Balkan Conference in Informatics, Thessaloniki, Greece, 623-632, 2003
• Katsaros, P. and Lazos, C., A simulation test-bed for the design of dependable e-services, In Proceedings of the 3rd WSEAS International Conference on Simulation, Modeling and Optimization (ICOSMO), Rethymno, Greece, 2003
• Katsaros, P. and 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
• Katsaros, P. and Lazos, C., Regenerative estimation variants of response times in closed networks of queues, In Proceedings of the 2nd WSEAS International Conference on Simulation, Modeling and Optimization (ICOSMO), Skiathos, Greece, 2002
• Katsaros, P. and Lazos, C., Steady-state simulation of queuing processes in parallel time streams: problems and potentialities, In Proceedings of the 5th Hellenic European Research Conference on Computer Mathematics and its Applications Conference, Athens, Greece, 370-376, 2001
• Katsaros, P., Angelis, E. and Lazos, C., Applied multiresponse metamodeling for queuing network simulation experiments: problems and perspectives, In Proceedings of the EUROSIM 2001 Congress, EUROSIM, Delfts, The Netherlands, 2001
• Katsaros, P. and Lazos, C., Shared memory parallel regenerative queuing network simulation, In Proceedings of the 15th European Simulation Multiconference, Society for Computer Simulation, Prague, The Czech Rep., 736-740, 2001
• Katsaros, P. and Lazos, C., Regenerative queuing network distributed simulation, In Proceedings of the 14th European Simulation Multiconference, Society for Computer Simulation, Gent, Belgium, 109-113, 2000
• Stamelos, J., Refanidis, J., Katsaros, P., Vlachavas, J., Tsoukias, A., Pombortsis, A., Automating the evaluation of educational software, In Proceedings of the 5th International Conference of the Decision Sciences Institute, 1369-1373, Athens, 1999

Book Chapters (in reverse chronological order)

• Katsaros, P. and Lazos, C., Regenerative estimation variants of response times in closed networks of queues, Advances in Multimedia, Video and Signal Processing Systems, Ed. by N. E. Mastorakis & V. V. Kluev, Electrical and Computer Engineering Series, WSEAS Press, 274-279, 2002
• Stamelos, J., Refanidis, J., Katsaros, P., Tsoukias, A., Vlachavas, 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

Technical Reports

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

Presentations

• Research and Development at Aristotle University of Thessaloniki: Dependebility & Security, Dept. of Computer Science and Electronics, Mälardalen University, 18th of April 2006
• Towards a formal analysis approach based on the use of Colored Petri Nets, Timed Colored Petri Nets and the CPN Tools, Dept. of Computer Science and Electronics, Mälardalen University, 18th of April 2006
• Katsaros, P., Queuing network simulation in parallel time streams, The TRACS - ACCESS - MINOS User Group Meeting, Edinburgh Parallel Computing Centre, Edinburgh, 26th of March 2001
• Katsaros, P., Queuing network simulation output analysis and parallel execution mechanisms, Dept. of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, June 2000
• Katsaros, P., The Greek Wetlands Database in Internet, Goulandri Natural History Museum - Greek Biotope Wetlands Center, Athens, 31st of October 2000 (in Greek)