Books
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)