Curriculum Vitae

Panagiotis Katsaros

Assistant Professor, School of Informatics

Personal Information

- 2310998532
katsaros@csd.auth.gr
http://www.csd.auth.gr/el/staff/faculty?view=user&ro=1&id=17
Scopus ID6506223455
Google Scholar IDIF0oXd8AAAAJ
Γνωστικό Αντικείμενο:
Αξιοπιστία και Ασφάλεια Λογισμικού
Επιστημονική Ειδίκευση:
- Θετικές επιστήμες, Μαθηματικά και Πληροφορική
- Πληροφορική
- Επιστήμη της πληροφορικής

Education

Προπτυχιακές Σπουδές

1992	Πτυχίο Τμήμα Μαθηματικών Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης Greece

Μεταπτυχιακές Σπουδές

1994	MSc Department of Computer Science and Applied Mathematics Aston University in Birmingham Great Britain Software Engineering

Διδακτορικό Δίπλωμα

2002	ΔΔ Τμήμα Πληροφορικής Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης Greece Κατανεμημένα Υπολογιστικά Συστήματα

Course Work

Courses of Winter semester of 2018–19 academic year

	TMĪMA PLĪROFORIKĪS
NIS-07-04	CONCURRENCY AND SECURITY IN SOFTWARE

	PROGRAMMA METAPTYCΗIAKŌN SPOUDŌN "DIKTYA EPIKOINŌNIŌN KAI ASFALEIA SYSTĪMATŌN"
CNSS105	Internet of Things
CNSS107	Software and Computer Systems Security

	PROGRAMMA METAPTYCΗIAKŌN SPOUDŌN "DIADRASTIKES TECΗNOLOGIES YLIKOU KAI LOGISMIKOU"
IHST102	Internet of Things

Courses of Spring semester of 2018–19 academic year

	TMĪMA PLĪROFORIKĪS
NCO-02-05	THEORY OF COMPUTATION
NCO-04-01	PROGRAMMING LANGUAGE DESIGN

	PROGRAMMA METAPTYCΗIAKŌN SPOUDŌN "DIADRASTIKES TECΗNOLOGIES YLIKOU KAI LOGISMIKOU"
IHST201	Systems software security

Theses Supervised

Student Theses within AUTh

In progress

Mokos Konstantinos. Επαλήθευση και επικύρωση ενσωματωμένων συστημάτων
Stachtiari Emmanouela. ΑΥΤΟΜΑΤΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΩΝ
Mokos Konstantinos. ΤΕΧΝΟΛΟΓΙΑ ΓΝΩΣΗΣ ΣΤΗΝ ΑΝΑΠΤΥΞΗ ΛΟΓΙΣΜΙΚΟΥ

2017–2018

Chatzieleftheriou Georgios. Επιδιόρθωση Συστημάτων Μεταβάσεων μέσω Αφαίρεσης
Pardalidou Christina. Ασφαλής ροή πληροφορίας σε σύνθετες υπηρεσίες ιστού
Kirmitsakis Georgios. Πρότυπα για Δομημένο Παράλληλο Προγραμματισμό

2015–2016

Mandaras Emmanouil. Πρώιμη επικύρωση σχεδιάσης διαστημικού συστήματος με χρήση του εργαλείου Compass
Lanaras Filippos-Petros. ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΣΤΗΜΑΤΩΝ ΠΡΑΓΜΑΤΙΚΟΥ ΧΡΟΝΟΥ ΣΕ JAVA.
Kouroutzidis Theodoros-Nikolaos. Σχεδίαση εφαρμογών για το Διαδίκτυο των αντικειμένων με το Contiki OS
Moysidis Nikolaos. Ασφαλής διακίνηση εγγράφων

2014–2015

Gkaripis Christos. ΠΙΘΑΝΟΚΡΑΤΙΚΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΩΝ ΚΒΑΝΤΙΚΗΣ ΚΡΥΠΤΟΓΡΑΦΙΑΣ

2013–2014

Chatzopoulos Apostolos. ΔΟΚΙΜΕΣ ΒΙΒΛΙΟΘΗΚΩΝ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΒΑΣΗ ΜΟΝΤΕΛΑ
Kourouleas Georgios. ΑΥΣΤΗΡΗ ΣΧΕΔΙΑΣΗ ΕΦΑΡΜΟΓΩΝ ΣΤΟ ΔΙΑΔΙΚΤΥΟ ΤΩΝ ΑΝΤΙΚΕΙΜΕΝΩΝ

2012–2013

Naskos Athanasios. ΕΛΕΓΧΟΣ ΕΛΑΣΤΙΚΟΤΗΤΑΣ ΣΕ NOSQL ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΣΕ ΠΕΡΙΒΑΛΛΟΝΤΑ ΝΕΦΟΥΣ ΜΕ ΧΡΗΣΗ ΜΕΘΟΔΩΝ ΕΛΕΓΧΟΥ ΜΟΝΤΕΛΩΝ
Chatzopoulos Apostolos. Στατιστική Ανάλυση για τρωτότητες μολυσματικής φύσης σε προγράμματα C
Panagos Ioannis. ΕΥΠΑΘΕΙΕΣ ΑΣΦΑΛΕΙΑΣ ΕΦΑΡΜΟΓΩΝ ΙΣΤΟΥ: ΕΝΤΟΠΙΣΜΟΣ ΚΑΙ ΑΝΤΙΜΕΤΩΠΙΣΗ
Karampaglis Zisis. Μεταφορά και ασφάλεια παλαιών εφαρμογών στο web

2011–2012

Mentis Anakreon. ΤΥΠΙΚΗ ΑΝΑΛΥΣΗ ΚΑΙ ΑΠΟΔΟΣΗ ΑΡΧΙΤΕΚΤΟΝΙΚΩΝ ΚΑΤΑΝΕΜΗΜΕΝΩΝ ΣΥΝΑΛΛΑΓΩΝ

2009–2010

Alexiou Nikolaos. Πιθανοκρατικός αυτόματος έλεγχος μοντέλου του μηχανισμού ασφαλείας Oblivious Transfer.
Almaliotis Vasileios. Αυτόματη παραγωγή περιπτώσεων ελέγχου με χρήση μεθοδολογίας αυτόματου ελέγχου.
Loizidis Alexandros. ΔΟΚΙΜΕΣ ΟΛΟΚΛΗΡΩΣΗΣ ΛΟΓΙΣΜΙΚΟΥ ΣΥΣΤΑΤΙΚΩΝ
Syvakas Stavros. Δοκιμές απόδοσης ιστοχώρων σε συνθήκες φόρτου.
Chatzidimitriou Andreas. ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ ΓΙΑ ΤΟΝ ΕΝΤΟΠΙΣΜΟ ΠΡΟΒΛΗΜΑΤΩΝ ΑΣΦΑΛΕΙΑΣ
Ioannidis Antonios. ΑΥΤΟΜΑΤΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΟΥ ΛΟΓΙΣΜΙΚΟΥ ΓΙΑ ΤΟ JAVAPATHFINDER
Chatzieleftheriou Georgios. Στατιστική ανάλυση σε προγράμματα C: Προβλήματα , μέθοδοι και εργαλεία.

2008–2009

Giachanou Anastasia. ΠΙΘΑΝΟΚΡΑΤΙΚΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΩΝ: ΑΝΑΛΥΣΗ ΠΡΩΤΟΚΟΛΛΟΥ ΓΙΑ ΑΝΩΝΥΜΑ ΚΑΙ ΑΚΡΙΒΗ E-POLLING ΣΥΣΤΗΜΑΤΑ
Soumelidis Ioannis. ΠΡΟΣΟΜΟΙΩΣΗ ΑΡΧΙΤΕΚΤΟΝΙΚΩΝ ΕΠΕΞΕΡΓΑΣΙΑΣ ΚΑΤΑΝΕΜΗΜΕΝΩΝ ΣΥΝΑΛΛΑΓΩΝ
Almaliotis Vasileios. ΣΤΑΤΙΚΗ ΑΝΑΛΥΣΗ ΕΦΑΡΜΟΓΩΝ JAVA CARD
Katsiaouni Nomiki. ΑΝΟΧΗ ΛΑΘΩΝ ΣΕ ΣΥΣΤΗΜΑ ΕΛΕΓΧΟΥ ΠΡΟΣΒΑΣΗΣ ΣΕ ΔΙΚΤΥΟ ΜΕ ΚΑΤΑΝΕΜΗΜΕΝΟΥΣ ΠΟΡΟΥΣ

2007–2008

Alexiou Nikolaos. ΠΙΘΑΝΟΚΡΑΤΙΚΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΩΝ ΜΕ ΤΟ PRISM: ΑΝΑΛΥΣΗ ΤΟΥ HOST IDENTITY PROTOCOL (HIP)
Loizidis Alexandros. ΕΦΑΡΜΟΓΕΣ ΕΞΥΠΝΩΝ ΚΑΡΤΩΝ ΑΝΟΙΚΤΗΣ ΣΧΕΔΙΑΣΗΣ (JAVACARD)

2006–2007

Charadias Nikolaos. ΠΡΟΣΟΜΟΙΩΣΗ ΣΥΣΤΗΜΑΤΩΝ ΕΛΕΓΧΟΥ ΠΡΑΓΜΑΤΙΚΟΥ ΧΡΟΝΟΥ
Georgiadou Marina. ΑΣΦΑΛΕΙΑ ΣΤΟ ΔΙΑΔΙΚΤΥΟ
Ziazias Athanasios. Ασφάλεια στο Διαδίκτυο
Polymerou Geōrgios. ΚΑΤΑΝΕΜΗΜΕΝΕΣ ΣΥΝΑΛΛΑΓΕΣ ΑΣΦΑΛΕΙΑΣ ΠΟΛΛΑΠΛΩΝ ΕΠΙΠΕΔΩΝ

2005–2006

Vavouras Stergios. ΑΝΑΛΥΣΗ ΑΞΙΟΠΙΣΤΙΑΣ ΜΕ ΔΕΝΤΡΑ ΛΑΘΩΝ
Tarasiadis Miltiadis. Τυπική ανάλυση πρωτοκόλλων ασφαλών πληρωμών με χρ4ωματισμένα δίκτυα Petri.
Rafaīlidīs Fōtios. ΑΝΑΛΥΣΗ ΑΞΙΟΠΙΣΤΙΑΣ ΜΕ ΔΕΝΔΡΑ ΛΑΘΩΝ

2004–2005

Soldatos THeodōros.

Unknown

Avramidou Eyterpī. Μοντελοποίηση και Προσομοίωση με χρωματισμένα δίκτυα PETRI

Theses outside AUTh

Doctoral Level

2015–2016

Γεώργιος Στεργιόπουλος. Διασφάλιση Κρίσιμων Υποδομών από Αστοχίες σε Επίπεδο Αλληλοεξαρτήσεων και σε Επίπεδο Λογισμικού (Securing Critical Infrastructures at Software and Interdependency Levels), Οικονομικό Πανεπιστήμιο Αθηνών.

Μ. Κάνδιας. Ασφάλεια στην Πληροφορική και Τις Επικοινωνίες, Οικονομικό Πανεπιστήμιο Αθηνών.
Towards Self-aware and Self-adaptive Systems and Processes, Bournemouth University.

Administrative Work

Τμήματος
#	Από	Έως	Θέση Όργανο / Επιτροπή
2	2014	2016	Member, Eπιτροπή διενέργειας διενέργειας πρόχειρων διαγωνισμών προμήθειας ειδών και οργάνων
1	2002	2016	Member, Επιτροπή Σύνταξης Οδηγού Σπουδών

Research Projects

2018–2018	Συνέδριο: "Συνδιοργάνωση Ευρωπαϊκών Συνεδρίων στη θεωρία και πρακτική για το λογισμικό"
2014–2016	Κατάλογος Ιδιοτήτων Συστημάτων και Λογισμικού.
2011–2014	Ανίχνευση τρωτοτήτων και ενίσχυση της ασφάλειας εφαρμογών και συστημάτων παλαιών γενεών (legacy systems) στο διαδίκτυο
2011–2013	Εύρωστες Διαδικτυακές Υπηρεσίες: Διάκριση Ανθρώπου ή Μηχανής με Διαδραστικά Ηχητικά Μέσα
2009–2011	Αρχιτεκτονική σημασιολογικού ιστού για τη σχεδίαση ασφάλειας στη βάση μοντέλων
2008–2008	Ανάλυση της ασφάλειας και αξιοπιστίας συστημάτων μέσω σημασιολογικής αναπαράστασης της εσφαλμένης συμπεριφοράς των τμημάτων τους
2007–2008	Ασφάλεια στις έξυπνες κάρτες ανοικτής σχεδίασης (πολλών εφαρμογών)
2006–2007	Ανάπτυξη δικτυακού πληροφοριακού συστήματος σύμφωνα με το πρότυπο της MEDWET βάσης δεδομένων (έκδοση 3.0.1)

Publications

2018

Journal Article

Chatzieleftheriou G, Katsaros Panagiotis (2018). Abstract model repair for probabilistic systems. Information & Computation. vol.259 no.10 p.142-160.
Chatzieleftheriou G, Katsaros Panagiotis (2018). Abstract model repair for probabilistic systems. Information & Computation. vol.259 no.10 p.142-160.
Stachtiari E, Katsaros Panagiotis (2018). Compositional execution semantics for business process verification. Journal of Systems and Software. vol.137 p.217-238.
Stachtiari E, Katsaros Panagiotis (2018). Compositional execution semantics for business process verification. Journal of Systems and Software. vol.137 p.217-238.
Vesyropoulos N, Georgiadis C, Katsaros Panagiotis (2018). Ensuring business and service requirements in enterprise mashups. Information Systems and e-Business Management. vol.16 no.1 p.205-242.
Vesyropoulos N, Georgiadis C, Katsaros Panagiotis (2018). Ensuring business and service requirements in enterprise mashups. Information Systems and e-Business Management. vol.16 no.1 p.205-242.

2017

Journal Article

Naskos A, Gounaris Anastasios, Mouratidis H, Katsaros Panagiotis (2017). Security-aware elasticity for NoSQL databases in multi-cloud environments. International Journal of Intelligent Information and Database Systems. vol.10 no.3-4 p.168-190.
Naskos A, Gounaris Anastasios, Katsaros Panagiotis (2017). Cost-aware horizontal scaling of NoSQL databases using probabilistic model checking. Cluster Computing. vol.20 no.3 p.2687-2701.
Naskos A, Gounaris Anastasios, Mouratidis H, Katsaros Panagiotis (2017). Security-aware elasticity for NoSQL databases in multi-cloud environments. International Journal of Intelligent Information and Database Systems. vol.10 no.3-4 p.168-190.
Naskos A, Gounaris Anastasios, Katsaros Panagiotis (2017). Cost-aware horizontal scaling of NoSQL databases using probabilistic model checking. Cluster Computing. vol.20 no.3 p.2687-2701.
Stergiopoulos G, Katsaros Panagiotis, Gritzalis D (2017). Program analysis with risk-based classification of dynamic invariants for logical error detection. Computers and Security. vol.71 p.36-50.
Stergiopoulos G, Katsaros Panagiotis, Gritzalis D (2017). Program analysis with risk-based classification of dynamic invariants for logical error detection. Computers and Security. vol.71 p.36-50.

Conference Proceedings Article

Gioulekas F, Poplavko P, Kahil R, Katsaros Panagiotis, Bozga M, Bensalem S, Palomo P (2017). Design of embedded systems with complex task dependencies and shared resource interference. Software Engineering and Formal Methods, 15th International Conference, SEFM 2017. 15th International Conference, SEFM 2017. Trento, Italy. Lecture Notes in Computer Science vol.10469 LNCS p.401-407.
Gioulekas F, Poplavko P, Kahil R, Katsaros Panagiotis, Bozga M, Bensalem S, Palomo P (2017). Design of embedded systems with complex task dependencies and shared resource interference. Software Engineering and Formal Methods, 15th International Conference, SEFM 2017. 15th International Conference, SEFM 2017. Trento, Italy. Lecture Notes in Computer Science vol.10469 LNCS p.401-407.
Mavridou A, Stachtiari E, Bliudze S, Ivanov A, Katsaros Panagiotis, Sifakis J (2017). Architecture-based design: A satellite on-board software case study. Formal Aspects of Component Software : 13th International Conference, FACS 2016. 13th International Conference, FACS 2016 "Formal Aspects of Component Software". Besançon, France,. Lecture Notes in Computer Science, vol.10231 LNCS p.260-279.
Mavridou A, Stachtiari E, Bliudze S, Ivanov A, Katsaros Panagiotis, Sifakis J (2017). Architecture-based design: A satellite on-board software case study. Formal Aspects of Component Software : 13th International Conference, FACS 2016. 13th International Conference, FACS 2016 "Formal Aspects of Component Software". Besançon, France,. Lecture Notes in Computer Science, vol.10231 LNCS p.260-279.
Ntogramatzi M, Katsaros Panagiotis, Nikolaidis S (2017). Cache activity profiling tool for the LEON4 processor. 2017 6th International Conference on Modern Circuits and Systems Technologies (MOCAST). 2017 6th International Conference on Modern Circuits and Systems Technologies, MOCAST 2017. Thessaloniki, Greece.
Ntogramatzi M, Katsaros Panagiotis, Nikolaidis S (2017). Cache activity profiling tool for the LEON4 processor. 2017 6th International Conference on Modern Circuits and Systems Technologies (MOCAST). 2017 6th International Conference on Modern Circuits and Systems Technologies, MOCAST 2017. Thessaloniki, Greece.
Poplavko P, Nouri A, Angelis Eleftherios, Zerzelidis A, Bensalem S, Katsaros Panagiotis (2017). Regression-based statistical bounds on software execution time. Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings. 11th International Conference, VECoS 2017 :International Conference on Verification and Evaluation of Computer and Communication Systems". Montreal, QC, Canada. vol.10466 LNCS p.48-63.
Poplavko P, Nouri A, Angelis Eleftherios, Zerzelidis A, Bensalem S, Katsaros Panagiotis (2017). Regression-based statistical bounds on software execution time. Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings. 11th International Conference, VECoS 2017 :International Conference on Verification and Evaluation of Computer and Communication Systems". Montreal, QC, Canada. vol.10466 LNCS p.48-63.

2015

Journal Article

Chatzieleftheriou George, Bonakdarpour Borzoo, Katsaros Panagiotis, Smolka Scott A (2015). Abstract Model Repair. Logical Methods in Computer Science. vol.11 no.3 p.1-43.
Chatzieleftheriou George, Bonakdarpour Borzoo, Katsaros Panagiotis, Smolka Scott A (2015). Abstract Model Repair. Logical Methods in Computer Science. vol.11 no.3 p.1-43.

Conference Proceedings Article

Naskos Athanasios, Stachtiari Emmanouela, Γούναρης Αναστάσιος, Κατσαρός Παναγιώτης, Tsoumakos Dimitrios, Konstantinou Ioannis, Sioutas Spyros (2015). Dependable Horizontal Scaling Based on Probabilistic Model Checking. 2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. 2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid). Shenzhen, China. IEEE. p.31-40.
Naskos Athanasios, Stachtiari Emmanouela, Γούναρης Αναστάσιος, Κατσαρός Παναγιώτης, Tsoumakos Dimitrios, Konstantinou Ioannis, Sioutas Spyros (2015). Dependable Horizontal Scaling Based on Probabilistic Model Checking. 2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. 2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid). Shenzhen, China. IEEE. p.31-40.

2014

Journal Article

Bozzano Marco, Cimatti Alessandro, Katoen Joost-Pieter, Katsaros Panagiotis, Mokos Konstantinos, Nguyen Viet Yen, Noll Thomas, Postma Bart, Roveri Marco (2014). Spacecraft early design validation using formal methods. Reliability Engineering & System Safety. vol.132 no.C p.20-35.
Bozzano Marco, Cimatti Alessandro, Katoen Joost-Pieter, Katsaros Panagiotis, Mokos Konstantinos, Nguyen Viet Yen, Noll Thomas, Postma Bart, Roveri Marco (2014). Spacecraft early design validation using formal methods. Reliability Engineering & System Safety. vol.132 no.C p.20-35.
Naskos Athanasios, Stachtiari Emmanouela, Gounaris Anastasios, Katsaros Panagiotis, Tsoumakos Dimitrios, Konstantinou Ioannis, Sioutas Spyros (2014). Cloud elasticity using probabilistic model checking. Computing Research Repository - arXiv/1405.4699.
Naskos Athanasios, Stachtiari Emmanouela, Gounaris Anastasios, Katsaros Panagiotis, Tsoumakos Dimitrios, Konstantinou Ioannis, Sioutas Spyros (2014). Cloud elasticity using probabilistic model checking. Computing Research Repository - arXiv/1405.4699.

Conference Proceedings Article

Chatzieleftheriou George , Chatzopoulos Apostolos , Katsaros Panagiotis (2014). Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. 6th International Symposium, ISoLA 2014. Corfu - Greece. p.486-488.
Chatzieleftheriou George , Chatzopoulos Apostolos , Katsaros Panagiotis (2014). Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. 6th International Symposium, ISoLA 2014. Corfu - Greece. p.486-488.
Deshpande Tushar, Κατσαρός Παναγιώτης, Smolka Scott A, Stoller Scott D (2014). Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. Tenth European Dependable Computing Conference. Tenth European Dependable Computing Conference (EDCC). Newcastle, United Kingdom. IEEE. p.226-237.
Deshpande Tushar, Κατσαρός Παναγιώτης, Smolka Scott A, Stoller Scott D (2014). Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. Tenth European Dependable Computing Conference. Tenth European Dependable Computing Conference (EDCC). Newcastle, United Kingdom. IEEE. p.226-237.
Stachtiari Emmanouela, Vesyropoulos Nikos, Kourouleas George, Georgiadis Christos K, Katsaros Panagiotis (2014). Correct-by-Construction Web Service Architecture. 2014 IEEE 8th International Symposium on Service Oriented System Engineering. 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE). Oxford, United Kingdom. IEEE. p.47-58.
Stachtiari Emmanouela, Vesyropoulos Nikos, Kourouleas George, Georgiadis Christos K, Katsaros Panagiotis (2014). Correct-by-Construction Web Service Architecture. 2014 IEEE 8th International Symposium on Service Oriented System Engineering. 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE). Oxford, United Kingdom. IEEE. p.47-58.
Stergiopoulos George , Katsaros Panagiotis, Gritzalis Dimitris (2014). Automated Detection of Logical Errors in Programs. Risks and Security of Internet and Systems : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers. 9th International Conference, CRiSIS 2014. Trento - Italy. vol.8924 p.35-51.
Stergiopoulos George , Katsaros Panagiotis, Gritzalis Dimitris (2014). Automated Detection of Logical Errors in Programs. Risks and Security of Internet and Systems : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers. 9th International Conference, CRiSIS 2014. Trento - Italy. vol.8924 p.35-51.
Stroggylos Kostantinos, Mitropoulos Dimitris, Tzermias Zacharias, Papadopoulos Panagiotis, Rafailidis Fotios, Spinellis Diomidis, Ioannidis Sotiris, Katsaros Panagiotis (2014). Securing Legacy Code with the TRACER Platform. Proceedings of the 18th Panhellenic Conference on Informatics - PCI '14. the 18th Panhellenic Conference. Athens, Greece. New York, USA. ACM Press. Vol. 6 p.1-6.
Stroggylos Kostantinos, Mitropoulos Dimitris, Tzermias Zacharias, Papadopoulos Panagiotis, Rafailidis Fotios, Spinellis Diomidis, Ioannidis Sotiris, Katsaros Panagiotis (2014). Securing Legacy Code with the TRACER Platform. Proceedings of the 18th Panhellenic Conference on Informatics - PCI '14. the 18th Panhellenic Conference. Athens, Greece. New York, USA. ACM Press. Vol. 6 p.1-6.
Stroggylos Kostantinos , Mitropoulos Dimitris , Tzermias Zacharias , Papadopoulos Panagiotis , Rafailidis Fotios , Spinellis Diomidis , Ioannidis Sotiris , Katsaros Panagiotis (2014). TRACER: A Platform for Securing Legacy Code. Trust and Trustworthy Computing : 7th International Conference, TRUST 2014, Heraklion, Crete, June 30 – July 2, 2014. Proceedings. 7th International Conference, TRUST 2014. Heraklion, Crete - Greece. vol.8564 p.218-219.
Stroggylos Kostantinos , Mitropoulos Dimitris , Tzermias Zacharias , Papadopoulos Panagiotis , Rafailidis Fotios , Spinellis Diomidis , Ioannidis Sotiris , Katsaros Panagiotis (2014). TRACER: A Platform for Securing Legacy Code. Trust and Trustworthy Computing : 7th International Conference, TRUST 2014, Heraklion, Crete, June 30 – July 2, 2014. Proceedings. 7th International Conference, TRUST 2014. Heraklion, Crete - Greece. vol.8564 p.218-219.

Book - Textbook

Cerone A, Persico D, Fernandes S, Garcia-Perez A, Katsaros Panagiotis, Shaikh S.A, Stamelos Ioannis (2014). Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability. Berlin, Heidelberg. Springer Berlin Heidelberg. vol.7991.
Cerone A, Persico D, Fernandes S, Garcia-Perez A, Katsaros Panagiotis, Shaikh S.A, Stamelos Ioannis (2014). Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability. Berlin, Heidelberg. Springer Berlin Heidelberg. vol.7991.

2013

Conference Proceedings Article

Gritzalis Dimitris, Soupionis Yannis, Katos Vasilios, Psaroudakis Ioannis, Katsaros Panagiotis, Mentis Anakreon (2013). The Sphinx enigma in critical VoIP infrastructures: Human or botnet?. 4th International Conference on Information, Intelligence, Systems and Applications (IISA 2013). Piraeus, Athens - Greece.
Gritzalis Dimitris, Soupionis Yannis, Katos Vasilios, Psaroudakis Ioannis, Katsaros Panagiotis, Mentis Anakreon (2013). The Sphinx enigma in critical VoIP infrastructures: Human or botnet?. 4th International Conference on Information, Intelligence, Systems and Applications (IISA 2013). Piraeus, Athens - Greece.
Rafailidis Fotios, Panagos Ioannis, Katsaros Panagiotis, Arvanitidis Alexandros (2013). Inlined monitors for security policy enforcement in web applications. 17th Panhellenic Conference on Informatics (pci 2013). Thessaloniki - Greece.
Rafailidis Fotios, Panagos Ioannis, Katsaros Panagiotis, Arvanitidis Alexandros (2013). Inlined monitors for security policy enforcement in web applications. 17th Panhellenic Conference on Informatics (pci 2013). Thessaloniki - Greece.

2012

Journal Article

Gritzalis Dimitris, Katsaros Panagiotis, Basagiannis Stylianos, SoupionisYannis (2012). Formal analysis for robust anti-SPIT protection using model checking. International Journal of Information Security. vol.11 no.2 p.121-135.
Gritzalis Dimitris, Katsaros Panagiotis, Basagiannis Stylianos, SoupionisYannis (2012). Formal analysis for robust anti-SPIT protection using model checking. International Journal of Information Security. vol.11 no.2 p.121-135.
Mentis Anakreon, Katsaros Panagiotis, Angelis Eleftherios (2012). A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models. Simulation Modelling Practice and Theory. vol.29 p.66-77.
Mentis Anakreon, Katsaros Panagiotis, Angelis Eleftherios (2012). A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models. Simulation Modelling Practice and Theory. vol.29 p.66-77.
Tsiakis T, Katsaros Panagiotis, Gritzalis D (2012). Economic assessment of externalities for interactive audio media anti-SPIT protection of internet services. International Journal of Electronic Security and Digital Forensics. p.164-177.
Tsiakis T, Katsaros Panagiotis, Gritzalis D (2012). Economic assessment of externalities for interactive audio media anti-SPIT protection of internet services. International Journal of Electronic Security and Digital Forensics. p.164-177.

Conference Proceedings Article

Chatzieleftheriou George, Bonakdarpour Borzoo, Smolka Scott A, Katsaros Panagiotis (2012). Abstract Model Repair. NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. 4th NASA Formal Methods Symposium (NFM 2012). Norfolk, Virginia - USA.
Chatzieleftheriou George, Bonakdarpour Borzoo, Smolka Scott A, Katsaros Panagiotis (2012). Abstract Model Repair. NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. 4th NASA Formal Methods Symposium (NFM 2012). Norfolk, Virginia - USA.
Stachtiari Emmanouela, SoupionisYannis, Katsaros Panagiotis, Mentis Anakreontas, Gritzalis Dimitris (2012). Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. 7th International Workshop on Critical Information Infrastructures Security (CRITIS 2012). Lillehammer - Norway.
Stachtiari Emmanouela, MentisAnakreon, Katsaros Panagiotis (2012). Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. 19th International Conference on Web Services (IEEE ICWS 2012). Honolulu, Hawaii - USA.
Stachtiari Emmanouela, SoupionisYannis, Katsaros Panagiotis, Mentis Anakreontas, Gritzalis Dimitris (2012). Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. 7th International Workshop on Critical Information Infrastructures Security (CRITIS 2012). Lillehammer - Norway.
Stachtiari Emmanouela, MentisAnakreon, Katsaros Panagiotis (2012). Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. 19th International Conference on Web Services (IEEE ICWS 2012). Honolulu, Hawaii - USA.

2011

Journal Article

Basagiannis S, Petridou S. G, Alexiou N, Papadimitriou G. I, Katsaros P (2011). Quantitative Analysis of a Certified E-mail Protocol in Mobile Environments: a Probabilistic Model Checking Approach. Computers & Security. vol.30 no.4 p.257-272.
Basagiannis S, Katsaros P, Pomportsis A. S (2011). Synthesis of Attack Actions Using Model Checking for the Verification of Security Protocols. Security & Communication Networks. vol.4 no.2 p.147-161.
Basagiannis S, Petridou S. G, Alexiou N, Papadimitriou G. I, Katsaros P (2011). Quantitative Analysis of a Certified E-mail Protocol in Mobile Environments: a Probabilistic Model Checking Approach. Computers & Security. vol.30 no.4 p.257-272.
Basagiannis S, Katsaros P, Pomportsis A. S (2011). Synthesis of Attack Actions Using Model Checking for the Verification of Security Protocols. Security & Communication Networks. vol.4 no.2 p.147-161.
Mentis A, Katsaros P (2011). Model Checking and Code Generation for Transaction Processing Software: . Concurrency & Computation: Practice & Experience.
Mentis A, Katsaros P (2011). Model Checking and Code Generation for Transaction Processing Software: . Concurrency & Computation: Practice & Experience.

Book Chapter

Loizidis A, Almaliotis V, Katsaros P (2011). Static Program Analysis of Multi-Applet JavaCard Applications. επιμ. Mouratidis H. Software Engineering for Secure Systems: Industrial and Research Perspectives. IGI Global. p.286-304.
Loizidis A, Almaliotis V, Katsaros P (2011). Static Program Analysis of Multi-Applet JavaCard Applications. επιμ. Mouratidis H. Software Engineering for Secure Systems: Industrial and Research Perspectives. IGI Global. p.286-304.

Conference Proceedings Article

Bartocci E, Grosu R, Katsaros P, Ramakrishnan C. R, Smolka S (2011). Model Repair for Probabilistic Systems. Proceedings 17th International Conference on Tools & Algorithms for the Construction & Analysis of Systems (TACAS’2011). Saarbrucken, Germany. vol.6605 p.326-340.
Bartocci E, Grosu R, Katsaros P, Ramakrishnan C. R, Smolka S (2011). Model Repair for Probabilistic Systems. Proceedings 17th International Conference on Tools & Algorithms for the Construction & Analysis of Systems (TACAS’2011). Saarbrucken, Germany. vol.6605 p.326-340.
Chatzieleftheriou G, Katsaros P (2011). Test Driving Static Analysis Tools in Search of C Code Vulnerabilities. Proceedings 35th IEEE Computer Software & Applications Conference Workshops (COMPSACW’2011). Munich, Germany. p.96-103.
Chatzieleftheriou G, Katsaros P (2011). Test Driving Static Analysis Tools in Search of C Code Vulnerabilities. Proceedings 35th IEEE Computer Software & Applications Conference Workshops (COMPSACW’2011). Munich, Germany. p.96-103.
Deshpande T, Katsaros P, Basagiannis S, Smolka S (2011). Formal analysis of the DNS Bandwidth Amplification Attack and its Countermeasures Using Probabilistic Model Checking. Proceedings 13th IEEE International High Assurance Systems Engineering Symposium (HASE’2011). Boca Raton, FL.
Deshpande T, Katsaros P, Basagiannis S, Smolka S (2011). Formal analysis of the DNS Bandwidth Amplification Attack and its Countermeasures Using Probabilistic Model Checking. Proceedings 13th IEEE International High Assurance Systems Engineering Symposium (HASE’2011). Boca Raton, FL.
Kakarontzas G, Gerogiannis V, Stamelos I, Katsaros P (2011). Elastic Component Characterization with respect to Quality Properties: an Intuitionistic Fuzzy-based Approach. Proceedings 15th Panhellenic Conference on Informatics (PCI’2011).
Kakarontzas G, Gerogiannis V, Stamelos I, Katsaros P (2011). Elastic Component Characterization with respect to Quality Properties: an Intuitionistic Fuzzy-based Approach. Proceedings 15th Panhellenic Conference on Informatics (PCI’2011).
Katos V, Vrakas D, Katsaros P (2011). A Framework for Access Control with Inference Constraints. Proceedings IEEE Computer Software & Applications Conference (COMPSAC’2011). Munich, Germany.
Katos V, Vrakas D, Katsaros P (2011). A Framework for Access Control with Inference Constraints. Proceedings IEEE Computer Software & Applications Conference (COMPSAC’2011). Munich, Germany.
Petridou S. G, Basagiannis S, Alexiou N, Papadimitriou G. I, Katsaros P (2011). A Quantitative Model Checking of an RSA‐based Email Protocol on Mobile Devices. Proceedings 16th IEEE International Symposium on Computer Communications (ISCC’2011). Corfu, Greece. p.418-423.
Petridou S. G, Basagiannis S, Alexiou N, Papadimitriou G. I, Katsaros P (2011). A Quantitative Model Checking of an RSA‐based Email Protocol on Mobile Devices. Proceedings 16th IEEE International Symposium on Computer Communications (ISCC’2011). Corfu, Greece. p.418-423.
Soupionis Y, Basagiannis S, Katsaros P, Gritzalis D (2011). A Formally Verified Mechanism for Countering SPIT. Post-proceedings 5th International Conference on Critical Information Infrastructure Security (CRITIS'2010). Athens, Greece. Springer, LNCS. vol.6712.
Soupionis Y, Basagiannis S, Katsaros P, Gritzalis D (2011). A Formally Verified Mechanism for Countering SPIT. Post-proceedings 5th International Conference on Critical Information Infrastructure Security (CRITIS'2010). Athens, Greece. Springer, LNCS. vol.6712.
Tsiakis T, Katsaros P, Gritzalis D (2011). Economic Evaluation of Interactive Audio Media for Securing Internet Services. Post-Proceedings 7th International Conference in Global Security, Safety & Sustainability (ICGS3’2011), Springer, Communications in Computer &Information Science. Thessaloniki, Greece.
Tsiakis T, Katsaros P, Gritzalis D (2011). Economic Evaluation of Interactive Audio Media for Securing Internet Services. Post-Proceedings 7th International Conference in Global Security, Safety & Sustainability (ICGS3’2011), Springer, Communications in Computer &Information Science. Thessaloniki, Greece.

2010

Journal Article

Basagiannis S, Katsaros P, Pomportsis A. S (2010). An Intruder Model with Message Inspection for Model Checking Security Protocols. Computers & Security. vol.29 no.1 p.16-34.
Basagiannis S, Katsaros P, Pomportsis A. S (2010). An Intruder Model with Message Inspection for Model Checking Security Protocols. Computers & Security. vol.29 no.1 p.16-34.
Kakarontzas G, Katsaros P, Stamelos I (2010). Component Certification as a Prerequisite for Widespread OSS Reuse. Electronic Communications of the European Association of Software Science & Technology. vol.33.
Kakarontzas G, Katsaros P, Stamelos I (2010). Component Certification as a Prerequisite for Widespread OSS Reuse. Electronic Communications of the European Association of Software Science & Technology. vol.33.
Mentis A, Katsaros P, Angelis E, Kakarontzas G (2010). Quantification of Interacting Runtime Qualities in Software Architectures: Insights from Transaction Processing in Client-server Architectures. Information & Software Technology. vol.52 no.12 p.1331-1345.
Mentis A, Katsaros P, Angelis E, Kakarontzas G (2010). Quantification of Interacting Runtime Qualities in Software Architectures: Insights from Transaction Processing in Client-server Architectures. Information & Software Technology. vol.52 no.12 p.1331-1345.

Conference Proceedings Article

Alexiou N, Deshpande T, Basagiannis S, Smolka S, Katsaros P (2010). Formal Analysis of the Kaminsky DNS Cache-poisoning Attack using Probabilistic Model Checking. Proceedings 12th IEEE International High Assurance Systems Engineering Symposium(HASE’2010). San Jose, CA. p.94-103.
Alexiou N, Deshpande T, Basagiannis S, Smolka S, Katsaros P (2010). Formal Analysis of the Kaminsky DNS Cache-poisoning Attack using Probabilistic Model Checking. Proceedings 12th IEEE International High Assurance Systems Engineering Symposium(HASE’2010). San Jose, CA. p.94-103.
Manolopoulos Y, Katsaros P, Papadimitriou A (2010). Topology Control Algorithms for Wireless Sensor Networks: a Critical Survey. Proceedings 11th International Conference on Computer Systems & Technologies (CompSysTech’2010). Sofia, Bulgaria. p.1-10.
Manolopoulos Y, Katsaros P, Papadimitriou A (2010). Topology Control Algorithms for Wireless Sensor Networks: a Critical Survey. Proceedings 11th International Conference on Computer Systems & Technologies (CompSysTech’2010). Sofia, Bulgaria. p.1-10.
Mokos Konstantinos, Meditskos G, Katsaros Panagiotis, Bassiliades Nick, Vasiliades Vangelis (2010). Ontology-based Model Driven Engineering for Safety Verification. Proceedings 36th EUROMICRO Conference on Software Engineering & Advanced Applications (SEAA’2010). Lille, France. p.47-54.
Mokos Konstantinos, Meditskos G, Katsaros Panagiotis, Bassiliades Nick, Vasiliades Vangelis (2010). Ontology-based Model Driven Engineering for Safety Verification. Proceedings 36th EUROMICRO Conference on Software Engineering & Advanced Applications (SEAA’2010). Lille, France. p.47-54.

2009

Journal Article

Basagiannis S, Katsaros P, Pomportsis A. S, Alexiou N (2009). Probabilistic Model Checking for the Quantification of DoS Security Threats. Computers & Security. vol.28 no.6 p.450-465.
Basagiannis S, Katsaros P, Pomportsis A. S, Alexiou N (2009). Probabilistic Model Checking for the Quantification of DoS Security Threats. Computers & Security. vol.28 no.6 p.450-465.
Katsaros P (2009). A Roadmap to Electronic Payment Transaction Guarantees and a Colored Petri Net Model Checking Approach. Information & Software Technology. vol.51 no.2 p.235-257.
Katsaros P (2009). A Roadmap to Electronic Payment Transaction Guarantees and a Colored Petri Net Model Checking Approach. Information & Software Technology. vol.51 no.2 p.235-257.

Conference Proceedings Article

Mentis A, Katsaros P, Angelis E (2009). Synthetic Metrics for Evaluating Performance of Software Architectures with Complex Tradeoffs. Proceedings 35th EUROMICRO Conference on Software Engineering & Advanced Applications (SEAA’2009). Patras, Greece. {SEAA}’2009. Proceedings 35th {EUROMICRO} Conference on Software Engineering & Advanced Applications. p.237-242.
Mentis A, Katsaros P (2009). The ACID Model Checker and Code Generator for Transaction Processing. Proceedings High Performance Computing & Simulation Conference (HPCS’2009). Leipzig, Germany. {HPCS}’2009. Proceedings High Performance Computing & Simulation Conference. p.138-144.
Mentis A, Katsaros P, Angelis E (2009). Synthetic Metrics for Evaluating Performance of Software Architectures with Complex Tradeoffs. Proceedings 35th EUROMICRO Conference on Software Engineering & Advanced Applications (SEAA’2009). Patras, Greece. {SEAA}’2009. Proceedings 35th {EUROMICRO} Conference on Software Engineering & Advanced Applications. p.237-242.
Mentis A, Katsaros P (2009). The ACID Model Checker and Code Generator for Transaction Processing. Proceedings High Performance Computing & Simulation Conference (HPCS’2009). Leipzig, Germany. {HPCS}’2009. Proceedings High Performance Computing & Simulation Conference. p.138-144.
Tsiakis T, Katsaros P (2009). Hands on Dependability Economics. Proceedings 2nd International Conference on Dependability (DEPEND'2009). Athens, Greece. p.117-121.
Tsiakis T, Katsaros P (2009). Hands on Dependability Economics. Proceedings 2nd International Conference on Dependability (DEPEND'2009). Athens, Greece. p.117-121.

2008

Conference Proceedings Article

Almaliotis V, Loizidis A, Katsaros P, Louridas P, Spinellis D (2008). Static Program Analysis for Java Card Applets. Proceedings 8th IFIP Smart Card Research & Advanced Application Conference (CARDIS’2008). London, UK. vol.5189 p.17-31.
Almaliotis V, Loizidis A, Katsaros P, Louridas P, Spinellis D (2008). Static Program Analysis for Java Card Applets. Proceedings 8th IFIP Smart Card Research & Advanced Application Conference (CARDIS’2008). London, UK. vol.5189 p.17-31.
Basagiannis S, Katsaros P, Pomportsis A. S, Alexiou N (2008). A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. Proceedings 32nd Annual IEEE International on Computer Software & Applications Conference (COMPSAC’2008). Turku, Finland. p.12-19.
Basagiannis S, Katsaros P, Pomportsis A. S, Alexiou N (2008). A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. Proceedings 32nd Annual IEEE International on Computer Software & Applications Conference (COMPSAC’2008). Turku, Finland. p.12-19.
Kakarontzas G, Stamelos I, Katsaros P (2008). Product Line Variability with Elastic Components and Test-Driven Development. Proceedings IEEE International Conference on Innovation in Software Engineering (ISE’2008).
Kakarontzas G, Stamelos I, Katsaros P (2008). Product Line Variability with Elastic Components and Test-Driven Development. Proceedings IEEE International Conference on Innovation in Software Engineering (ISE’2008).
Mentis A, Katsaros P, Angelis E (2008). ACID Sim Tools: a Simulation Framework for Distributed Transaction Processing Architectures. Proceedings 1st International Conference on Simulation Tools & Techniques for Communications, Networks & Systems (SimulationWorks Industry Track). Marseille, France.
Mentis A, Katsaros P, Angelis E (2008). ACID Sim Tools: a Simulation Framework for Distributed Transaction Processing Architectures. Proceedings 1st International Conference on Simulation Tools & Techniques for Communications, Networks & Systems (SimulationWorks Industry Track). Marseille, France.
Mokos Κonstantinos, Katsaros Panagiotis, Bassiliades Nick, Vasiliades Vangelis, Perrotin Maxime (2008). Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behavior. Proceedings 8th Joint Conference on Knowledge-based Software Engineering (JCKBSE’2008). Piraeus, Greece. p.405-414.
Mokos Κonstantinos, Katsaros Panagiotis, Bassiliades Nick, Vasiliades Vangelis, Perrotin Maxime (2008). Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behavior. Proceedings 8th Joint Conference on Knowledge-based Software Engineering (JCKBSE’2008). Piraeus, Greece. p.405-414.

2007

Journal Article

Katsaros P, Angelis E, Lazos C (2007). Performance and Effectiveness Trade-off for Checkpointing in Fault Tolerant Distributed Systems. Concurrency & Computation: Practice & Experience. vol.19 no.1 p.37-63.
Katsaros P, Angelis E, Lazos C (2007). Performance and Effectiveness Trade-off for Checkpointing in Fault Tolerant Distributed Systems. Concurrency & Computation: Practice & Experience. vol.19 no.1 p.37-63.

Conference Proceedings Article

Basagiannis S, Katsaros P, Pomportsis A. S (2007). Intrusion Attack Tactics for the Model Checking of e-commerce Security Guarantees. Proceedings 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP’2007). Nuremberg, Germany. p.238-251.
Basagiannis S, Katsaros P, Pomportsis A. S (2007). Intrusion Attack Tactics for the Model Checking of e-commerce Security Guarantees. Proceedings 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP’2007). Nuremberg, Germany. p.238-251.
Kakarontzas G, Katsaros P, Stamelos I (2007). Elastic Components: Addressing Variance of Quality Properties in Components. Proceedings 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA’2007). Lübeck, Germany. p.31-38.
Kakarontzas G, Katsaros P, Stamelos I (2007). Elastic Components: Addressing Variance of Quality Properties in Components. Proceedings 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA’2007). Lübeck, Germany. p.31-38.

2006

Journal Article

Katsaros Panagiotis, Iakovidou N, Soldatos Triantafyllos (2006). Evaluation of Composite Object Replication Schemes for Dependable Server Applications. Information & Software Technology. vol.48 no.9 p.795-806.
Katsaros Panagiotis, Iakovidou N, Soldatos Triantafyllos (2006). Evaluation of Composite Object Replication Schemes for Dependable Server Applications. Information & Software Technology. vol.48 no.9 p.795-806.

Conference Proceedings Article

Basagiannis S, Katsaros P, Pomportsis A. S (2006). Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. Proceedings 4th International Symposium on Parallel and Distributed Processing and Applications (ISPA’2006). Sorrento, Italy. p.317-328.
Basagiannis S, Katsaros P, Pomportsis A. S (2006). Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. Proceedings 4th International Symposium on Parallel and Distributed Processing and Applications (ISPA’2006). Sorrento, Italy. p.317-328.

2005

Conference Proceedings Article

Katsaros P, Odontidis V, Gousidou-Koutita M (2005). Simulation and Verification of Atomicity Properties for an Electronic Cash System. Proceedings 19th Annual European Simulation and Modelling Conference (ESM’2005). Porto, Portugal. p.558-563.
Katsaros P, Odontidis V, Gousidou-Koutita M (2005). Colored Petri Net Based Model Checking and Failure Analysis for e-commerce Protocols. Proceedings 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN’2005). Aarhus, Denmark. p.267-283.
Katsaros P (2005). Simulation and Verification of Information Flow Paths for Access Control Policies Specified in the CORBA Security Setting. Local Proceedings 10th Panhellenic Conference in Informatics (PCI’2005). Volos, Greece. p.225-237.
Katsaros P (2005). On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: a Colored Petri Net Based Model. Proceedings 7th International Symposium on Distributed Objects and Applications (DOA’2005). Agia Napa, Cyprus,. p.941-959.
Katsaros P, Odontidis V, Gousidou-Koutita M (2005). Simulation and Verification of Atomicity Properties for an Electronic Cash System. Proceedings 19th Annual European Simulation and Modelling Conference (ESM’2005). Porto, Portugal. p.558-563.
Katsaros P, Odontidis V, Gousidou-Koutita M (2005). Colored Petri Net Based Model Checking and Failure Analysis for e-commerce Protocols. Proceedings 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN’2005). Aarhus, Denmark. p.267-283.
Katsaros P (2005). Simulation and Verification of Information Flow Paths for Access Control Policies Specified in the CORBA Security Setting. Local Proceedings 10th Panhellenic Conference in Informatics (PCI’2005). Volos, Greece. p.225-237.
Katsaros P (2005). On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: a Colored Petri Net Based Model. Proceedings 7th International Symposium on Distributed Objects and Applications (DOA’2005). Agia Napa, Cyprus,. p.941-959.

Without Type

Λάζος Κ, Κατσαρός Π, Καραϊσκος Ζ (2005). Μεταγλωττιστές Γλωσσών Προγραμματισμού: Θεωρία και Πράξη. Θεσσαλονίκη.
Λάζος Κ, Κατσαρός Π, Καραϊσκος Ζ (2005). Μεταγλωττιστές Γλωσσών Προγραμματισμού: Θεωρία και Πράξη. Θεσσαλονίκη.

2004

Conference Proceedings Article

Deligiannis I, Sfetsos P, Stamelos I, Angelis E, Xatzigeorgiou A, Katsaros P (2004). As-sessing the Modifiability of two Object-oriented Design Alternatives - a Controlled Experiment Replication. Proceedings 5th EUROSIM Congress on Modelling and Simulation (EUROSIM’2004). Paris, France.
Deligiannis I, Sfetsos P, Stamelos I, Angelis E, Xatzigeorgiou A, Katsaros P (2004). As-sessing the Modifiability of two Object-oriented Design Alternatives - a Controlled Experiment Replication. Proceedings 5th EUROSIM Congress on Modelling and Simulation (EUROSIM’2004). Paris, France.
Katsaros P, Lazos C (2004). Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. Proceedings 34th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’2004). Florence, Italy. p.762-771.
Katsaros P, Angelis E, Lazos C (2004). Simulation Metamodeling for the Design of Reliable Object Based Systems. Proceedings 5th EUROSIM Congress on Modelling and Simulation (EUROSIM '2004). Paris, France.
Katsaros P, Lazos C (2004). Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. Proceedings 34th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’2004). Florence, Italy. p.762-771.
Katsaros P, Angelis E, Lazos C (2004). Simulation Metamodeling for the Design of Reliable Object Based Systems. Proceedings 5th EUROSIM Congress on Modelling and Simulation (EUROSIM '2004). Paris, France.

2003

Journal Article

Katsaros P, Lazos C (2003). A Simulation Test-bed for the Design of Dependable e-services. WSEAS Transactions on Computers. vol.4 no.2 p.915-919.
Katsaros P, Lazos C (2003). A Simulation Test-bed for the Design of Dependable e-services. WSEAS Transactions on Computers. vol.4 no.2 p.915-919.

Conference Proceedings Article

Karaiskos Z, Katsaros P, Lazos C (2003). Single-pass Static Semantic Check for Efficient Translation in YAPL. Proceedings 1st Balkan Conference in Informatics (BCI’2003). Thessaloniki, Greece. p.623-632.
Karaiskos Z, Katsaros P, Lazos C (2003). Single-pass Static Semantic Check for Efficient Translation in YAPL. Proceedings 1st Balkan Conference in Informatics (BCI’2003). Thessaloniki, Greece. p.623-632.
Katsaros P, Lazos C (2003). A Simulation Test-bed for the Design of Dependable e-services. Proceedings 3rd WSEAS International Conference on Simulation, Modeling and Optimization (ICOSMO’2003). Rethymno, Greece.
Katsaros P, Lazos C (2003). Approximate and Simulation Based Analysis for Distributed Object Software Performance Models. Proceedings 17th Annual European Simulation and Modelling Conference (ESM’2003). Naples, Italy. p.409-414.
Katsaros P, Lazos C (2003). A Simulation Test-bed for the Design of Dependable e-services. Proceedings 3rd WSEAS International Conference on Simulation, Modeling and Optimization (ICOSMO’2003). Rethymno, Greece.
Katsaros P, Lazos C (2003). Approximate and Simulation Based Analysis for Distributed Object Software Performance Models. Proceedings 17th Annual European Simulation and Modelling Conference (ESM’2003). Naples, Italy. p.409-414.

2002

Book Chapter

Katsaros P, Lazos C (2002). Regenerative Estimation Variants of Response Times in Closed Networks of Queues. επιμ. Mastorakis N, Kluev V. V. Advances in Multimedia, Video and Signal Processing Systems. WSEAS. p.274-279.
Katsaros P, Lazos C (2002). Regenerative Estimation Variants of Response Times in Closed Networks of Queues. επιμ. Mastorakis N, Kluev V. V. Advances in Multimedia, Video and Signal Processing Systems. WSEAS. p.274-279.

Conference Proceedings Article

Katsaros P, Lazos C (2002). Structured Performance Modeling and Analysis for Object Based Distributed Software Systems. Proceedings 15th International Conference on Parallel and Distributed Computing Systems (ISCA’2002). Louisville, KY. p.96-102.
Katsaros P, Lazos C (2002). Structured Performance Modeling and Analysis for Object Based Distributed Software Systems. Proceedings 15th International Conference on Parallel and Distributed Computing Systems (ISCA’2002). Louisville, KY. p.96-102.

2001

Conference Proceedings Article

Katsaros P, Lazos C (2001). Steady-state Simulation of Queuing Processes in Parallel Time Streams: Problems and Potentialities. Proceedings 5th Hellenic European Research Conference on Computer Mathematics and its Applications (HERCMA’2001). Athens, Greece. p.370-376.
Katsaros P, Lazos C (2001). Shared Memory Parallel Regenerative Queuing Network Simulation. Proceedings 15th European Simulation Multiconference (ESM’2001). Prague, The Czech Republic. p.736-740.
Katsaros P, Angelis E, Lazos C (2001). Applied Multiresponse Metamodeling for Queuing Network Simulation Experiments: Problems and Perspectives. Proceedings 4th EUROSIM Congress on Modelling and Simulation (EUROSIM’2001). Delfts, The Netherlands.
Katsaros P, Lazos C (2001). Steady-state Simulation of Queuing Processes in Parallel Time Streams: Problems and Potentialities. Proceedings 5th Hellenic European Research Conference on Computer Mathematics and its Applications (HERCMA’2001). Athens, Greece. p.370-376.
Katsaros P, Lazos C (2001). Shared Memory Parallel Regenerative Queuing Network Simulation. Proceedings 15th European Simulation Multiconference (ESM’2001). Prague, The Czech Republic. p.736-740.
Katsaros P, Angelis E, Lazos C (2001). Applied Multiresponse Metamodeling for Queuing Network Simulation Experiments: Problems and Perspectives. Proceedings 4th EUROSIM Congress on Modelling and Simulation (EUROSIM’2001). Delfts, The Netherlands.

2000

Journal Article

Katsaros P, Lazos C (2000). A Technique for Determining Queuing Network Simulation Length Based on Desired Accuracy. Computer Systems Science and Engineering. vol.15 no.6 p.399-404.
Katsaros P, Lazos C (2000). A Technique for Determining Queuing Network Simulation Length Based on Desired Accuracy. Computer Systems Science and Engineering. vol.15 no.6 p.399-404.

Book Chapter

Stamelos I, Refanidis I, Katsaros P, Tsoukias A, Vlahavas I, Pomportsis A. S (2000). An Adaptable Framework for Educational Software Evaluation. επιμ. Zanakis S, Doukidis G, Zopounidis C. Recent Developments and Applications in Decision Making. Kluwer Academic Publishers. p.347-360.
Stamelos I, Refanidis I, Katsaros P, Tsoukias A, Vlahavas I, Pomportsis A. S (2000). An Adaptable Framework for Educational Software Evaluation. επιμ. Zanakis S, Doukidis G, Zopounidis C. Recent Developments and Applications in Decision Making. Kluwer Academic Publishers. p.347-360.

Conference Proceedings Article

Katsaros P, Lazos C (2000). Regenerative Queuing Network Distributed Simulation. Proceedings 14th European Simulation Multiconference. Gent, Belgium. p.109-113.
Katsaros P, Lazos C (2000). Regenerative Queuing Network Distributed Simulation. Proceedings 14th European Simulation Multiconference. Gent, Belgium. p.109-113.

1999

Conference Proceedings Article

Stamelos Ioannis, Refanidis I, Katsaros Panagiotis, Tsoukias A, Vlachavas Ioannis, PombortsisA (1999). Automating the Evaluation of Educational Software. 5th International Conference of the Decision Sciences Institute.
Stamelos Ioannis, Refanidis I, Katsaros Panagiotis, Tsoukias A, Vlachavas Ioannis, PombortsisA (1999). Automating the Evaluation of Educational Software. 5th International Conference of the Decision Sciences Institute.

Updated: 2018-10-29

Quality Assurance Unit (MODIP)Aristotle University of Thessaloniki

You are here

Curriculum Vitae

Panagiotis Katsaros

Προπτυχιακές Σπουδές

Μεταπτυχιακές Σπουδές

Διδακτορικό Δίπλωμα

Courses of Winter semester of 2018–19 academic year

Courses of Spring semester of 2018–19 academic year

Student Theses within AUTh

In progress

2017–2018

2015–2016

2014–2015

2013–2014

2012–2013

2011–2012

2009–2010

2008–2009

2007–2008

2006–2007

2005–2006

2004–2005

Unknown

Theses outside AUTh

Doctoral Level

2015–2016

Journal Article

Journal Article

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Book - Textbook

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Journal Article

Book Chapter

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Conference Proceedings Article

Without Type

Conference Proceedings Article

Journal Article

Conference Proceedings Article

Book Chapter

Conference Proceedings Article

Conference Proceedings Article

Journal Article

Book Chapter

Conference Proceedings Article

Conference Proceedings Article

Quality Assurance Unit (MODIP)
Aristotle University of Thessaloniki