Παράκαμψη προς το κυρίως περιεχόμενο
Μονάδα Διασφάλισης Ποιότητας
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Είσοδος
Αρχή
ΑΠΘ
Πολιτική Ποιότητας
ΜΟΔΙΠ
ΕΘΑΑΕ
ΟΜΕΑ
Αξιολόγηση
Πιστοποίηση
Νομοθεσία
Κανονισμοί
ΣΔΠ
Είστε εδώ
Αρχή
»
Αναφορά Βιογραφικών
Βιογραφικό Σημείωμα
Ανάπτυξη
|
Σύμπτυξη
Παναγιώτης Κατσαρός
Καθηγητής, Τμήμα Πληροφορικής
Προσωπικά Στοιχεία
2310998532
katsaros@csd.auth.gr
http://www.csd.auth.gr/el/staff/faculty?view=user&ro=1&id=17
Scopus ID
6506223455
Google Scholar ID
IF0oXd8AAAAJ
https://orcid.org/0000-0002-4309-5295
Γνωστικό Αντικείμενο
:
Αξιοπιστία και Ασφάλεια Λογισμικού
Επιστημονική Ειδίκευση
:
Θετικές επιστήμες, Μαθηματικά και Πληροφορική
Πληροφορική
Επιστήμη της πληροφορικής
Εκπαίδευση
Προπτυχιακές Σπουδές
1992
Πτυχίο
Τμήμα Μαθηματικών
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Ελλάδα
Μεταπτυχιακές Σπουδές
1994
MSc
Department of Computer Science and Applied Mathematics
Aston University in Birmingham
Μεγάλη Βρετανία
Software Engineering
Διδακτορικό Δίπλωμα
2002
ΔΔ
Τμήμα Πληροφορικής
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Ελλάδα
Κατανεμημένα Υπολογιστικά Συστήματα
Διδακτικό Έργο
Μαθήματα Χειμερινού εξαμήνου ακαδημαϊκού έτους 2024–25
ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
NIS-07-09
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΤΑΥΤΟΧΡΟΝΙΣΜΟΥ
Δίκτυα Επικοινωνιών και Ασφάλεια Συστημάτων
CNSS105
Διαδίκτυο των Αντικειμένων
CNSS107
Κυβερνοασφάλεια: Λογισμικό και Συστήματα
CNSS301
Μεταπτυχιακή διπλωματική εργασία
Τεχνολογίες Διαδραστικών Συστημάτων
IHST102
Διαδίκτυο των Αντικειμένων
IHST201
Κυβερνοασφάλεια: Λογισμικό και Συστήματα
IHST301
Μεταπτυχιακή διπλωματική εργασία
Μαθήματα Εαρινού εξαμήνου ακαδημαϊκού έτους 2024–25
ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
NCO-02-05
ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΟΥ
NCO-04-01
ΓΛΩΣΣΕΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΚΑΙ ΜΕΤΑΓΛΩΤΤΙΣΤΕΣ
NIS-07-09
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΤΑΥΤΟΧΡΟΝΙΣΜΟΥ
NIS-08-07
ΑΣΦΑΛΕΙΑ ΛΟΓΙΣΜΙΚΟΥ
Τεχνολογίες Διαδραστικών Συστημάτων
IHST209
Ενσωματωμένα και κυβερνοφυσικά συστήματα
Επίβλεψη Εργασιών
Εργασίες Φοιτητών εντός ΑΠΘ
Σε εξέλιξη
Προπτυχιακό
Ανάπτυξη εφαρμογών για εκτέλεση σε επεξεργαστές δορυφορικών συστημάτων με χρήση του σχεδιαστικού εργαλείου TASTE
Ανάπτυξη εφαρμογών για εκτέλεση σε επεξεργαστές δορυφορικών συστημάτων με χρήση του σχεδιαστικού εργαλείου TASTE
Μεταδιδακτορικό
Ευρωστία Ασφάλειας Συστημάτων μέσω Παραμετρικής Ανάλυσης Μοντέλων Επαλήθευσης
Διδακτορικό
Τεχνολογία Λογισμικού με Συστατικά Μάθησης
Συνεχής ανάπτυξη- λειτουργία λογισμικού συστημάτων με συστατικά μάθησης
Σχεδίαση αυτονομων κυβερνοφυσικών συστημάτων με τυπικές μεθόδους
2024–2025
Μεταπτυχιακό
Ασφάλεια Κόμβων σε Εφαρμογές του Διαδικτύου των Αντικειμένων
Διδακτορικό
Επαλήθευση και Επικύρωση Ενσωματωμένων Συστημάτων
Προπτυχιακό
Αναγνώριση Ανωμαλιών και Αξιολόγηση Ανθεκτικότητας σε Δεδομένα από το Περιβάλλον
Προηγμένη Δυνατότητα Πρόβλεψης Δασικών Πυρκαγιών μέσω Αρχετυπικής Ανάλυσης Δεδομένων συστήματος Internet of Things
2023–2024
Μεταπτυχιακό
Σχεδίαση οδηγού ενσωματωμένης κάμερας σε νανοδορυφόρο
Ανάλυση ευπαθειών, επιθέσεων τεχνικών αποτροπής για μη επανδρωμένα αεροχήματα
Ο αλγόριθμος Rapidly-exploring random trees σε σύστημα αυτόνομης οδήγησης με robot operating system 2
Προπτυχιακό
Έλεγχος σε χρόνο εκτέλεσης (runtime monitoring) της συμπεριφοράς ενός αυτόνομου οχήματος
2022–2023
Προπτυχιακό
Σύστημα αυτόνομης οδήγησης με χρήση ROS
Ανίχνευση και Αντιμετώπιση Απειλών Κυβερνοασφάλειας με χρήση τεχνικών Μηχανικής Μάθησης
Ανάπτυξη εφαρμογών για εκτέλεση σε επεξεργαστές δορυφορικών συστημάτων με χρήση του σχεδιαστικού εργαλείου TASTE
Έλεγχος σε χρόνο εκτέλεσης της συμπεριφοράς ενός αυτόνομου οχήματος με το εργαλείο DejaVu
Αυτόνομη οδήγηση σε γραφικό περιβάλλον με χρήση YOLO
Μεταπτυχιακό
Ασφάλεια κόμβου συστήματος διαδικτύου των αντικειμένων τεχνολογίας LoRa
2021–2022
Μεταπτυχιακό
Επιθέσεις ασφαλείας και προστασία συστημάτων στο Διαδίκτυο των Αντικειμένων
Μοντελοποίηση και ανάλυση συστήματος αντιμπλοκαρίσματος τροχών
Ανάλυση τρωτών σημείων προγραμμάτων σε γλώσσα C με το εργαλείο στατιστικής ανάλυσης Infer
Μια προσέγγιση αυτοματοποίησης δοκιμών λογισμικού για ενσωματωμένα συστήματα καθοδηγούμενη απο τη συμπεριφορά
Ανάλυση της ακρίβειας μετρήσεων από περιβαλλοντικούς αισθητήρες και αλγόριθμοι πρόβλεψης χρονοσειρών για τη λήψη αποφάσεων
Ανάλυση και εφαρμογή αλγορίθμων συμπίεσης εικόνας διαστημικής χρήσης για ενσωματωμένα συστήματα περιορισμένα σε χρόνο και πόρους στον νανοδορυφόρο AcubeSAT
Προπτυχιακό
Έλεγχος Αυτόνομων Οχημάτων F1TENTH με Βαθιά Ενισχυτική Μάθηση
Αντίληψη Αυτόνομων Οχημάτων F1TENTH με Βαθιά Νευρωνικά Δίκτυα
2020–2021
Προπτυχιακό
Use of SeDuMi and SOSTOOLS
Ανάπτυξη Συστήματος Διαδικτύου των Αντικειμένων Περιβαλλοντικής Παρακολούθησης σε Έξυπνη Πόλη
Προγραμματισμός για το Internet of Things σε Rust με το ZephyrOS
Σχεδίαση και ανάπτυξη λογισμικού ενσωματωμένου συστήματος κρίσιμης ασφάλειας για διαστημική αποστολή
Μεταπτυχιακό
Σχεδίαση συσκευής για το διαδίκτυο των αντικειμένων για συλλογή δεδομένων περιβάλλοντος με χρήση Lora
2019–2020
Προπτυχιακό
Ευρωστία μοντέλων Νευρωνικών Δικτύων
Επαλήθευση συστημάτων αυτόνομης οδήγησης σε χρόνο εκτέλεσης στο περιβάλλον προσομοίωσης CARLA
Πιθανοκρατικός Προγραμματισμός και Eφαρμογές στη Μηχανική Μάθηση
Μεταδιδακτορικό
Αυστηρή σχεδίαση ενσωματωμένων συστημάτων και εφαρμογών διαδικτύου των αντικειμένων
Μεταπτυχιακό
Αρχιτεκτονική ασφάλειας συστημάτων στο διαδίκτυο των αντικειμένων
2018–2019
Προπτυχιακό
Προγραμματισμός για τo Internet of Things στη γλώσσα Rust
Διδακτορικό
Από κατασκευής ορθή σχεδίαση συστημάτων και λογισμικού βάσει μοντέλων
2017–2018
Μεταπτυχιακό
Ασφαλής ροή πληροφορίας σε σύνθετες υπηρεσίες ιστού
Διδακτορικό
Επιδιόρθωση Συστημάτων Μεταβάσεων μέσω Αφαίρεσης
Προπτυχιακό
Πρότυπα για Δομημένο Παράλληλο Προγραμματισμό
2015–2016
Μεταπτυχιακό
Ασφαλής διακίνηση εγγράφων
Πρώιμη επικύρωση σχεδιάσης διαστημικού συστήματος με χρήση του εργαλείου Compass
Σχεδίαση εφαρμογών για το Διαδίκτυο των αντικειμένων με το Contiki OS
Προπτυχιακό
ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΣΥΣΤΗΜΑΤΩΝ ΠΡΑΓΜΑΤΙΚΟΥ ΧΡΟΝΟΥ ΣΕ JAVA.
2014–2015
Προπτυχιακό
ΠΙΘΑΝΟΚΡΑΤΙΚΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΩΝ ΚΒΑΝΤΙΚΗΣ ΚΡΥΠΤΟΓΡΑΦΙΑΣ
2013–2014
Μεταπτυχιακό
ΔΟΚΙΜΕΣ ΒΙΒΛΙΟΘΗΚΩΝ ΛΟΓΙΣΜΙΚΟΥ ΜΕ ΒΑΣΗ ΜΟΝΤΕΛΑ
ΑΥΣΤΗΡΗ ΣΧΕΔΙΑΣΗ ΕΦΑΡΜΟΓΩΝ ΣΤΟ ΔΙΑΔΙΚΤΥΟ ΤΩΝ ΑΝΤΙΚΕΙΜΕΝΩΝ
2012–2013
Προπτυχιακό
Μεταφορά και ασφάλεια παλαιών εφαρμογών στο web
Στατιστική Ανάλυση για τρωτότητες μολυσματικής φύσης σε προγράμματα C
Μεταπτυχιακό
ΕΥΠΑΘΕΙΕΣ ΑΣΦΑΛΕΙΑΣ ΕΦΑΡΜΟΓΩΝ ΙΣΤΟΥ: ΕΝΤΟΠΙΣΜΟΣ ΚΑΙ ΑΝΤΙΜΕΤΩΠΙΣΗ
ΕΛΕΓΧΟΣ ΕΛΑΣΤΙΚΟΤΗΤΑΣ ΣΕ NOSQL ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΣΕ ΠΕΡΙΒΑΛΛΟΝΤΑ ΝΕΦΟΥΣ ΜΕ ΧΡΗΣΗ ΜΕΘΟΔΩΝ ΕΛΕΓΧΟΥ ΜΟΝΤΕΛΩΝ
2011–2012
Διδακτορικό
ΤΥΠΙΚΗ ΑΝΑΛΥΣΗ ΚΑΙ ΑΠΟΔΟΣΗ ΑΡΧΙΤΕΚΤΟΝΙΚΩΝ ΚΑΤΑΝΕΜΗΜΕΝΩΝ ΣΥΝΑΛΛΑΓΩΝ
2009–2010
Μεταπτυχιακό
ΔΟΚΙΜΕΣ ΟΛΟΚΛΗΡΩΣΗΣ ΛΟΓΙΣΜΙΚΟΥ ΣΥΣΤΑΤΙΚΩΝ
Δοκιμές απόδοσης ιστοχώρων σε συνθήκες φόρτου.
Αυτόματη παραγωγή περιπτώσεων ελέγχου με χρήση μεθοδολογίας αυτόματου ελέγχου.
Στατιστική ανάλυση σε προγράμματα C: Προβλήματα , μέθοδοι και εργαλεία.
Πιθανοκρατικός αυτόματος έλεγχος μοντέλου του μηχανισμού ασφαλείας Oblivious Transfer.
Προπτυχιακό
ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ ΠΡΟΓΡΑΜΜΑΤΩΝ ΓΙΑ ΤΟΝ ΕΝΤΟΠΙΣΜΟ ΠΡΟΒΛΗΜΑΤΩΝ ΑΣΦΑΛΕΙΑΣ
ΑΥΤΟΜΑΤΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΟΥ ΛΟΓΙΣΜΙΚΟΥ ΓΙΑ ΤΟ JAVAPATHFINDER
2008–2009
Προπτυχιακό
ΣΤΑΤΙΚΗ ΑΝΑΛΥΣΗ ΕΦΑΡΜΟΓΩΝ JAVA CARD
ΠΡΟΣΟΜΟΙΩΣΗ ΑΡΧΙΤΕΚΤΟΝΙΚΩΝ ΕΠΕΞΕΡΓΑΣΙΑΣ ΚΑΤΑΝΕΜΗΜΕΝΩΝ ΣΥΝΑΛΛΑΓΩΝ
ΑΝΟΧΗ ΛΑΘΩΝ ΣΕ ΣΥΣΤΗΜΑ ΕΛΕΓΧΟΥ ΠΡΟΣΒΑΣΗΣ ΣΕ ΔΙΚΤΥΟ ΜΕ ΚΑΤΑΝΕΜΗΜΕΝΟΥΣ ΠΟΡΟΥΣ
ΠΙΘΑΝΟΚΡΑΤΙΚΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΩΝ: ΑΝΑΛΥΣΗ ΠΡΩΤΟΚΟΛΛΟΥ ΓΙΑ ΑΝΩΝΥΜΑ ΚΑΙ ΑΚΡΙΒΗ E-POLLING ΣΥΣΤΗΜΑΤΑ
2007–2008
Προπτυχιακό
ΠΙΘΑΝΟΚΡΑΤΙΚΟΣ ΕΛΕΓΧΟΣ ΜΟΝΤΕΛΩΝ ΜΕ ΤΟ PRISM: ΑΝΑΛΥΣΗ ΤΟΥ HOST IDENTITY PROTOCOL (HIP)
ΕΦΑΡΜΟΓΕΣ ΕΞΥΠΝΩΝ ΚΑΡΤΩΝ ΑΝΟΙΚΤΗΣ ΣΧΕΔΙΑΣΗΣ (JAVACARD)
2006–2007
Προπτυχιακό
Ασφάλεια στο Διαδίκτυο
ΑΣΦΑΛΕΙΑ ΣΤΟ ΔΙΑΔΙΚΤΥΟ
ΚΑΤΑΝΕΜΗΜΕΝΕΣ ΣΥΝΑΛΛΑΓΕΣ ΑΣΦΑΛΕΙΑΣ ΠΟΛΛΑΠΛΩΝ ΕΠΙΠΕΔΩΝ
ΠΡΟΣΟΜΟΙΩΣΗ ΣΥΣΤΗΜΑΤΩΝ ΕΛΕΓΧΟΥ ΠΡΑΓΜΑΤΙΚΟΥ ΧΡΟΝΟΥ
2005–2006
Προπτυχιακό
ΑΝΑΛΥΣΗ ΑΞΙΟΠΙΣΤΙΑΣ ΜΕ ΔΕΝΔΡΑ ΛΑΘΩΝ
ΑΝΑΛΥΣΗ ΑΞΙΟΠΙΣΤΙΑΣ ΜΕ ΔΕΝΤΡΑ ΛΑΘΩΝ
Μεταπτυχιακό
Τυπική ανάλυση πρωτοκόλλων ασφαλών πληρωμών με χρ4ωματισμένα δίκτυα Petri.
2004–2005
Προπτυχιακό
Χωρίς τίτλο
Άγνωστη
Προπτυχιακό
Μοντελοποίηση και Προσομοίωση με χρωματισμένα δίκτυα PETRI
Μεταδιδακτορικό
ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΤΗΣ ΣΧΕΔΙΑΣΗΣ ΕΦΑΡΜΟΓΩΝ ΓΙΑ ΤΟ ΔΙΑΔΙΚΤΥΟ ΤΩΝ ΑΝΤΙΚΕΙΜΕΝΩΝ
Διπλωματικές Εργασίες εκτός ΑΠΘ
Διδακτορικό
2015–2016
Γεώργιος Στεργιόπουλος
.
Διασφάλιση Κρίσιμων Υποδομών από Αστοχίες σε Επίπεδο Αλληλοεξαρτήσεων και σε Επίπεδο Λογισμικού (Securing Critical Infrastructures at Software and Interdependency Levels), Οικονομικό Πανεπιστήμιο Αθηνών
.
Μ. Κάνδιας
.
Ασφάλεια στην Πληροφορική και Τις Επικοινωνίες, Οικονομικό Πανεπιστήμιο Αθηνών
.
Towards Self-aware and Self-adaptive Systems and Processes, Bournemouth University
.
Διοικητικό Έργο
Τμήματος
#
Από
Έως
Θέση Όργανο / Επιτροπή
2
2014
2016
Μέλος, Eπιτροπή διενέργειας διενέργειας πρόχειρων διαγωνισμών προμήθειας ειδών και οργάνων
1
2002
2016
Μέλος, Επιτροπή Σύνταξης Οδηγού Σπουδών
Ερευνητικά Έργα
Συντονισμός
2024–2027
Θωράκιση Επιχειρησιακών Κέντρων Ασφαλείας για Αντιμετώπιση Εξελισσόμενων Απειλών Κυβερνοασφάλειας
2024–2027
Σεμινάρια Κυβερνοασφάλειας ΑΠΘ
2023–2025
Αξιοποίηση και Διάχυση ερευνητικών αποτελεσμάτων στον τομέα της Πληροφορικής
2023–2023
23o Διεθνές Συνέδριο στην Επαλήθευση Χρόνου Εκτέλεσης
2023–2023
Συνέδριο: "23o Διεθνές Συνέδριο στην Επαλήθευση Χρόνου Εκτέλεσης"
2021–2023
Τυποποίηση Απαιτήσεων Συστήματος για Συστήματα Αυτοκίνησης
2020–2023
Θεμελιώσεις Συνεχούς Ανάπτυξης Συστημάτων Αξιόπιστης Αυτονομίας
2020–2023
Διαχείριση Δασικών Πυρκαγιών με Τεχνολογίες ΙοΤ
2019–2019
Συνέδριο: "Διεθνές συμπόσιο ασφάλειας και αποτίμησης με βάση Μοντέλα (IMBSA)"
2018–2018
Συνέδριο: "Συνδιοργάνωση Ευρωπαϊκών Συνεδρίων στη θεωρία και πρακτική για το λογισμικό"
2014–2016
Κατάλογος Ιδιοτήτων Συστημάτων και Λογισμικού.
2011–2014
Ανίχνευση τρωτοτήτων και ενίσχυση της ασφάλειας εφαρμογών και συστημάτων παλαιών γενεών (legacy systems) στο διαδίκτυο
2011–2013
Εύρωστες Διαδικτυακές Υπηρεσίες: Διάκριση Ανθρώπου ή Μηχανής με Διαδραστικά Ηχητικά Μέσα
2009–2011
Αρχιτεκτονική σημασιολογικού ιστού για τη σχεδίαση ασφάλειας στη βάση μοντέλων
2008–2008
Ανάλυση της ασφάλειας και αξιοπιστίας συστημάτων μέσω σημασιολογικής αναπαράστασης της εσφαλμένης συμπεριφοράς των τμημάτων τους
2007–2008
Ασφάλεια στις έξυπνες κάρτες ανοικτής σχεδίασης (πολλών εφαρμογών)
2006–2007
Ανάπτυξη δικτυακού πληροφοριακού συστήματος σύμφωνα με το πρότυπο της MEDWET βάσης δεδομένων (έκδοση 3.0.1)
Συμμετοχή
2018–2025
Πληρωμή μελών ΔΕΠ (ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ )
2018–2020
Ανάπτυξη τεχνολογιών crowdsourcing για γεω-κοινωνική δικτύωση και προηγμένη δορυφορική πλοήγηση σε πραγματικό χρόνο
2018–2021
Καινοτόμες Υπηρεσίες σε Συστήματα Διαχείρισης Αποθηκών (WMS)με Τεχνολογίες Οπτικού Εντοπισμού Θέσης (VPS)Οπτικής Καταμέτρησης και Επαυξημένης Πραγματικότας (AR)
2015–2020
Πρόγραμμα Μεταπτυχιακών Σπουδών με τίτλο "Πληροφορική και Επικοινωνίες"
2011–2025
Αμοιβή μελών ΔΕΠ (Ελληνικό Ανοικτό Πανεπιστήμιο)
2010–2012
Επαναχρησιμοποίηση Λογισμικού Ανοικτού Κώδικα για Μικρομεσαίες Επιχειρήσεις
2009–2012
Σχεδιασμός Συμμετοχικής Mάθησης σε Ανοιχτά Εκπαιδευτικά Περιβάλλοντα
2009–2011
Ανοιχτό πλαίσιο εκπαίδευσης για την τεχνολογία λογισμικού
2009–2017
Αμοιβές μελών ΔΕΠ - Αξιολόγηση/βαθμολόγηση των προτάσεων που υποβλήθηκαν στο πλαίσιο της πράξης Ηράκλειτος ΙΙ - (ΥΠΕΠΘ-ΕΥΔ ΕΠΙΧΕΙΡΗΣΙΑΚΟΥ ΠΡΟΓΡΑΜΜΑΤΟΣ ΕΚΠΑΙΔΕΥΣΗ ΚΑΙ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗ)
2007–2008
Ανθρώπινο δίκτυο κατάρτισης και εκπαίδευσης στη διοίκηση έργων πληροφορικής και την τεχνολογία λογισμικού
2006–2025
Πληρωμή μελών ΔΕΠ απο ΕΜΠ (ΕΘΝΙΚΟ ΜΕΤΣΟΒΕΙΟ ΠΟΛΥΤΕΧΝΕΙΟ)
2006–2007
Βάση δεδομένων και λογισμικό για συγκριτική αξιολόγηση
2006–2007
Βελτιστοποίηση διεργασιών ανάπτυξης τηλεπικοινωνιακού λογισμικού - ΔΙΕΡΓΑΣΙΑ
2005–2007
αμοιβές μελών δεπ (ΤΕΙ Μεσολογγίου)
2004–2018
Πληρωμή Μελών ΔΕΠ Α.Π.Θ. (ΤΕΙ ΘΕΣΣΑΛΙΑΣ)
2003–2020
Υπηρεσίες για τη σύνδεση προπτυχιακών και μεταπτυχιακών φοιτητών με την αγορά
2003–2008
Αναμόρφωση του υπάρχοντος Προγράμματος Προπτυχιακών Σπουδών του Τμήματος Πληροφορικής
2002–2003
Παρακολούθηση και αξιολόγηση έργου κατάρτισης πληροφορικής της Ένωσης Ελλήνων Χημικών.
2000–2001
Μελέτη σκοπιμότητας προμήθειας ολοκληρωμένου πληροφοριακού συστήματος
2000–2018
ΠΛΗΡΩΜΗ ΜΕΛΩΝ ΔΕΠ(ΤΕΙ ΚΑΒΑΛΑΣ - ΑΝ. ΜΑΚΕΔΟΝΙΑΣ-ΘΡΑΚΗΣ)
1999–2025
ΠΛΗΡΩΜΗ ΜΕΛΩΝ ΔΕΠ (ΕΚΕΤΑ)
1999–2025
Πληρωμή μελών ΔΕΠ (ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕΔΟΝΙΑΣ )
1998–2017
Πληρωμή μέλους ΔΕΠ (ΟΙΚΟΝΟΜΙΚΟ ΠΑΝ/ΜΙΟ ΑΘΗΝΩΝ)
1998–2000
Ενημέρωση και εμπλουτισμός εθνικής βάσης δεδομένων για τους ελληνικούς υγρότοπους
1998–2019
Πληρωμή μέλους ΔΕΠ -(ΑΤΕΙ ΘΕΣΣΑΛΟΝΙΚΗΣ )
1996–1998
Ανάπτυξη έμπειρου συστήματος για την αξιολόγηση λογισμικού
1988–
Συγκρότηση συστήματος πληροφοριών γης για την οικονομική και κοινωνική ανάπτυξη των νησιών του Αιγαίου
Εκτός ΕΛΚΕ ΑΠΘ
Συντονισμός
1 Σεπτεμβρίου 2014-28 Φεβρουαρίου 2016
Τεχνικές Ανάλυσης Χρονοπρογραμματισμού για Πολυπύρηνους Επεξεργαστές Με Κρυφή Μνήμη
Δημοσιεύσεις
(2025)
Άρθρο σε Περιοδικό
Mokos Konstantinos
,
Katsaros Panagiotis
,
Bohn Preben
.
(2025)
.
Model-based safety analysis of requirement specifications
.
Journal of Systems and Software
.
τόμ.219 αρ.C σ.112231
Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια
Gyftopoulos Sotirios
,
Basagiannis Stylianos
,
Katsaros Panagiotis
.
(2025)
.
Robustness Analysis of Probabilistic Models with Adversaries or Strategic Entities
.
Principles of Verification: Cycling the Probabilistic Landscape
.
Cham
.
Springer Nature Switzerland
.
τόμ.15261 σ.219-233
(2022)
Άρθρο σε Περιοδικό
Mokos Konstantinos
,
Nestoridis Theodoros
,
Katsaros Panagiotis
,
Bassiliades Nick
.
(2022)
.
Semantic Modeling and Analysis of Natural Language System Requirements
.
IEEE Access
.
τόμ.10 σ.84094-84119
Toliopoulos Theodoros
,
Nikolaidis Nikodimos
,
Michailidou Anna-Valentini
,
Seitaridis Andreas
,
Nestoridis Theodoros
,
Oikonomou Chrysa
,
Temperekidis Anastasios
,
Gioulekas Fotios
,
Gounaris Anastasios
,
Bassiliades Nick
,
Katsaros Panagiotis
,
Georgiadis Apostolos
,
Liotopoulos Fotis K.
.
(2022)
.
Sboing4Real: A real-time crowdsensing-based traffic management system
.
Journal of Parallel and Distributed Computing
.
τόμ.162 αρ.C σ.59-75
Άρθρο σε Πρακτικά Συνεδρίου
Bensalem Saddek
,
Cheng Chih-Hong
,
Huang Xiaowei
,
Katsaros Panagiotis
,
Molin Adam
,
Nickovic Dejan
,
Peled Doron
.
(2022)
.
Formal Specification for Learning-Enabled Autonomous Systems
.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
.
Formal Methods for ML-Enabled Autonomous Systems
.
Επιμέλεια:Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
.
Haifa - Israel
.
Cham
.
Springer
.
σ.131-143
Eleftheriadis Charis
,
Kekatos Nikolaos
,
Katsaros Panagiotis
,
Tripakis Stavros
.
(2022)
.
On Neural Network Equivalence Checking Using SMT Solvers
.
Formal Modeling and Analysis of Timed Systems
.
20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
.
Επιμέλεια:Sergiy Bogomolov, David Parker
.
Warsaw - Poland
.
Switzerland
.
Springer Cham
.
τόμ.13465 σ.237-257
Temperekidis Anastasios
,
Kekatos Nikolaos
,
Katsaros Panagiotis
.
(2022)
.
Runtime Verification for FMI-Based Co-simulation
.
Runtime Verification
.
22nd International Conference on Runtime Verification
.
Επιμέλεια:Thao Dang, Volker Stolz
.
Tbilisi - Georgia
.
Switzerland
.
Springer Cham
.
τόμ.13498 σ.304-313
(2020)
Άρθρο σε Πρακτικά Συνεδρίου
Nestoridis Theodoros
,
Oikonomou Chrysa
,
Temperekidis Anastasios
,
Gioulekas Fotios
,
Katsaros Panagiotis
.
(2020)
.
Scalable IoT architecture for balancing performance and security in mobile crowdsensing systems *
.
2020 7th International Conference on Internet of Things: Systems, Management and Security (IOTSMS)
.
2020 7th International Conference on Internet of Things: Systems, Management and Security (IOTSMS)
.
Paris, France
.
IEEE
.
σ.1-8
(2018)
Άρθρο σε Περιοδικό
Chatzieleftheriou G.
,
Katsaros Panagiotis
.
(2018)
.
Abstract model repair for probabilistic systems
.
Information & Computation
.
τόμ.259 αρ.10 σ.142-160
Chatzieleftheriou George
,
Katsaros Panagiotis
.
(2018)
.
Abstract model repair for probabilistic systems
.
Information and Computation
.
τόμ.259 αρ.1 σ.142-160
Gyftopoulos Sotirios
,
Efraimidis Pavlos S.
,
Katsaros Panagiotis
.
(2018)
.
Formal analysis of DeGroot Influence Problems using probabilistic model checking
.
Simulation Modelling Practice and Theory
.
τόμ.89 σ.144-159
Lekidis Alexios
,
Stachtiari Emmanouela
,
Katsaros Panagiotis
,
Bozga Marius
,
Georgiadis Christos K.
.
(2018)
.
Model‐based design of IoT systems with the BIP component framework
.
Software: Practice and Experience
.
τόμ.48 αρ.6 σ.1167-1194
Nouri Ayoub
,
Peter Poplavko
,
Angelis Eleftherios
,
Zerzelidis Alexandros
,
Bensalem Saddek
,
Katsaros Panagiotis
.
(2018)
.
Maximal software execution time: a regression-based approach
.
Innovations in Systems and Software Engineering
.
τόμ.14 αρ.2 σ.101-116
Stachtiari E.
,
Katsaros Panagiotis
.
(2018)
.
Compositional execution semantics for business process verification
.
Journal of Systems and Software
.
τόμ.137 σ.217-238
Stachtiari Emmanouela
,
Mavridou Anastasia
,
Katsaros Panagiotis
,
Bliudze Simon
,
Sifakis Joseph
.
(2018)
.
Early validation of system requirements and design through correctness-by-construction
.
Journal of Systems and Software
.
τόμ.145 σ.52-78
Stachtiari Emmanouela
,
Katsaros Panagiotis
.
(2018)
.
Compositional execution semantics for business process verification
.
Journal of Systems and Software
.
τόμ.137 σ.217-238
Vesyropoulos N.
,
Georgiadis C.
,
Katsaros Panagiotis
.
(2018)
.
Ensuring business and service requirements in enterprise mashups
.
Information Systems and e-Business Management
.
τόμ.16 αρ.1 σ.205-242
Vesyropoulos Nikolaos
,
Georgiadis Christos K.
,
Katsaros Panagiotis
.
(2018)
.
Ensuring business and service requirements in enterprise mashups
.
Information Systems and e-Business Management
.
τόμ.16 αρ.1 σ.205-242
Άρθρο σε Πρακτικά Συνεδρίου
Gioulekas Fotios
,
Poplavko Peter
,
Katsaros Panagiotis
,
Bensalem Saddek
,
Palomo Pedro
.
(2018)
.
A process network model for reactive streaming software with deterministic task parallelism
.
Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science book series
.
21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018
.
Thessaloniki - Greece
.
Springer Verlag
.
τόμ.10802 σ.94-110
(2017)
Άρθρο σε Περιοδικό
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
.
τόμ.10 αρ.3-4 σ.168-190
Naskos A.
,
Gounaris Anastasios
,
Katsaros Panagiotis
.
(2017)
.
Cost-aware horizontal scaling of NoSQL databases using probabilistic model checking
.
Cluster Computing
.
τόμ.20 αρ.3 σ.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
.
τόμ.71 σ.36-50
Άρθρο σε Πρακτικά Συνεδρίου
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 τόμ.10469 LNCS σ.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, τόμ.10231 LNCS σ.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
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
.
τόμ.10466 LNCS σ.48-63
(2016)
Άρθρο σε Περιοδικό
Naskos A.
,
Gounaris Anastasios
,
Mouratidis H.
,
Katsaros Panagiotis
.
(2016)
.
Online Analysis of Security Risks in Elastic Cloud Applications
.
IEEE Cloud Computing
.
τόμ.3 αρ.5 σ.26-33
Άρθρο σε Πρακτικά Συνεδρίου
Gyftopoulos S.
,
Efraimidis P.
,
Katsaros Panagiotis
.
(2016)
.
Solving influence problems on the DeGroot model with a probabilistic model checking tool
.
Proceedings of the 20th Pan-Hellenic Conference on Informatics (PCI '16)
.
20th Pan-Hellenic Conference on Informatics
.
Patras, Greece
Stergiopoulos G.
,
Katsaros Panagiotis
,
Gritzalis D.
.
(2016)
.
Execution path classification for vulnerability analysis and detection
.
Conference proceedings ICETE 2015
.
E-Business and Telecommunications, 12th International Joint Conference, ICETE 2015
.
(eds) Mohammad S. Obaidat and Pascal Lorenz
.
Colmar, France
.
τόμ.585 σ.293-317
Stergiopoulos G.
,
Katsaros Panagiotis
,
Gritzalis D.
,
Apostolopoulos T.
.
(2016)
.
Combining invariant violation with execution path classification for detecting multiple types of logical errors and race conditions
.
Proceedings of the 13th International Joint Conference on e-Business and Telecommunications
.
ICETE 2016 - Proceedings of the 13th International Joint Conference on e-Business and Telecommunications
.
Lisbon, Portugal
.
τόμ.4 σ.28-40
(2015)
Άρθρο σε Περιοδικό
Chatzieleftheriou George
,
Bonakdarpour Borzoo
,
Katsaros Panagiotis
,
Smolka Scott A.
.
(2015)
.
Abstract Model Repair
.
Logical Methods in Computer Science
.
τόμ.11 αρ.3 σ.1-43
Άρθρο σε Πρακτικά Συνεδρίου
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
.
[5/2015] σ.31-40
(2014)
Άρθρο σε Περιοδικό
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
.
τόμ.132 αρ.C σ.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
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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
.
σ.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
.
σ.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
.
τόμ.8924 σ.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 σ.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
.
τόμ.8564 σ.218-219
Βιβλίο - Διδακτικό Εγχειρίδιο
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
.
τόμ.7991
(2013)
Άρθρο σε Πρακτικά Συνεδρίου
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
(2012)
Άρθρο σε Περιοδικό
Gritzalis Dimitris
,
Katsaros Panagiotis
,
Basagiannis Stylianos
,
SoupionisYannis
.
(2012)
.
Formal analysis for robust anti-SPIT protection using model checking
.
International Journal of Information Security
.
τόμ.11 αρ.2 σ.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
.
τόμ.29 σ.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
.
σ.164-177
Άρθρο σε Πρακτικά Συνεδρίου
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
(2011)
Άρθρο σε Περιοδικό
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
.
τόμ.30 αρ.4 σ.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
.
τόμ.4 αρ.2 σ.147-161
Mentis A.
,
Katsaros P.
.
(2011)
.
Model Checking and Code Generation for Transaction Processing Software:
.
Concurrency & Computation: Practice & Experience
Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια
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
.
σ.286-304
Άρθρο σε Πρακτικά Συνεδρίου
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
.
τόμ.6605 σ.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
.
σ.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
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 Dimitrios
,
Katsaros Panagiotis
.
(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
.
σ.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
.
τόμ.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
(2010)
Άρθρο σε Περιοδικό
Basagiannis S.
,
Katsaros P.
,
Pomportsis A. S.
.
(2010)
.
An Intruder Model with Message Inspection for Model Checking Security Protocols
.
Computers & Security
.
τόμ.29 αρ.1 σ.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
.
τόμ.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
.
τόμ.52 αρ.12 σ.1331-1345
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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
.
σ.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
.
σ.47-54
(2009)
Άρθρο σε Περιοδικό
Basagiannis S.
,
Katsaros P.
,
Pomportsis A. S.
,
Alexiou N.
.
(2009)
.
Probabilistic Model Checking for the Quantification of DoS Security Threats
.
Computers & Security
.
τόμ.28 αρ.6 σ.450-465
Katsaros P.
.
(2009)
.
A Roadmap to Electronic Payment Transaction Guarantees and a Colored Petri Net Model Checking Approach
.
Information & Software Technology
.
τόμ.51 αρ.2 σ.235-257
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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
.
σ.138-144
Tsiakis T.
,
Katsaros P.
.
(2009)
.
Hands on Dependability Economics
.
Proceedings 2nd International Conference on Dependability (DEPEND'2009)
.
Athens, Greece
.
σ.117-121
(2008)
Άρθρο σε Πρακτικά Συνεδρίου
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
.
τόμ.5189 σ.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
.
σ.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)
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
.
σ.405-414
(2007)
Άρθρο σε Περιοδικό
Katsaros P.
,
Angelis E.
,
Lazos C.
.
(2007)
.
Performance and Effectiveness Trade-off for Checkpointing in Fault Tolerant Distributed Systems
.
Concurrency & Computation: Practice & Experience
.
τόμ.19 αρ.1 σ.37-63
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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
.
σ.31-38
(2006)
Άρθρο σε Περιοδικό
Katsaros Panagiotis
,
Iakovidou N.
,
Soldatos Triantafyllos
.
(2006)
.
Evaluation of Composite Object Replication Schemes for Dependable Server Applications
.
Information & Software Technology
.
τόμ.48 αρ.9 σ.795-806
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.317-328
(2005)
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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
.
σ.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
.
σ.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,
.
σ.941-959
Without Type
Λάζος Κ.
,
Κατσαρός Π.
,
Καραϊσκος Ζ.
.
(2005)
.
Μεταγλωττιστές Γλωσσών Προγραμματισμού: Θεωρία και Πράξη
.
Θεσσαλονίκη
(2004)
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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)
Άρθρο σε Περιοδικό
Katsaros P.
,
Lazos C.
.
(2003)
.
A Simulation Test-bed for the Design of Dependable e-services
.
WSEAS Transactions on Computers
.
τόμ.4 αρ.2 σ.915-919
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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
.
σ.409-414
(2002)
Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια
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
.
σ.274-279
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.96-102
(2001)
Άρθρο σε Πρακτικά Συνεδρίου
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
.
σ.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
.
σ.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)
Άρθρο σε Περιοδικό
Katsaros P.
,
Lazos C.
.
(2000)
.
A Technique for Determining Queuing Network Simulation Length Based on Desired Accuracy
.
Computer Systems Science and Engineering
.
τόμ.15 αρ.6 σ.399-404
Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια
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
.
σ.347-360
Άρθρο σε Πρακτικά Συνεδρίου
Katsaros P.
,
Lazos C.
.
(2000)
.
Regenerative Queuing Network Distributed Simulation
.
Proceedings 14th European Simulation Multiconference
.
Gent, Belgium
.
σ.109-113
(1999)
Άρθρο σε Πρακτικά Συνεδρίου
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
Διακρίσεις
2013
Βραβείο Καλύτερης Εργασίας (Best Paper)
2011
Βραβείο Καλύτερης Εργασίας (Best Paper)
Ενημερώθηκε: 2025-06-26