1. Athanasios Tzikas, Alexandros Legas
"Development of a Web-Powered
Database", in Greek
(Ανάπτυξη εφαρμογής
Βάσης Δεδομένων στο Διαδίκτυο) - download
(964 KB)
2003
2. Iordanis Tiftikoglou, MSc
"CORBA-based Application
Development", in Greek
(Ανάπτυξη εφαρμογής
Κατανεμημένων Αντικειμένων)
2003
3. Stylianos Basagiannis, MSc
(Current position: PhD student of the
Aristotle University, Greece)
George Rizos, MSc
"SPIN Model Checking: A Model
for Synchronized Objects", in Greek
(Αυτόματος Έλεγχος
Μοντέλων με το εργαλείο SPIN:
Εφαρμογή σε Μοντέλα
Συγχρονισμού Αντικειμενοστρεφούς
Λογισμικού)
- download
(3 MB), related
tool
2004
4. George Papadopoulos
"Numerical Analysis
Algorithms for Markov Chains", in Greek
(Αλγόριθμοι Αριθμητικής
Επίλυσης Αλυσίδων Markov), related
tool
September 2004
5. Alexandros Karipidis
"Concurrency Control
Performance Analysis", in Greek
(Ανάλυση Απόδοσης
Μοντέλου Ελέγχου Ταυτοχρονισμού)
July 2004
6. Nikolaos Dipsis
"Concurrency Control
Performance: analysis based on EXTEND", in Greek
(Απόδοση Ελέγχου
Ταυτοχρονισμού:
μια προσέγγιση με
χρήση του λογισμικού EXTEND)
September 2004
7. Efterpi Avramidou, MSc
"Modeling and Simulation by
Colored Petri-Nets", in Greek
(Μοντελοποίηση και
Προσομοίωση με Χρωματισμένα Δίκτυα Petri) - download
(2.01 MB), related
tool
September 2004
8. Stavros
Papadopoulos
(Current position: PhD student of the
Hong Kong University Of Science & Technology)
"Web Server Performance Tuning",
in Greek
(Ρύθμιση Απόδοσης
Εξυπηρέτη Ιστοσελίδων) - download
(10.1 MB)
September 2004
9. Nantia Iakovidou, MSc
Theodoros
Soldatos
(Current position: PhD student of the
European Molecular Biology Laboratory, Heidelberg)
"Performance &
Reliability for Object Replication Policies in Fault-Tolerant Systems",
in Greek
related
publication 1, related publication 2
(Ανάλυση Απόδοσης
και Αξιοπιστίας για Πολιτικές
Πλεονασματικών
Αντικειμένων σε Συστήματα Ανοχής Λαθών) - download
(0.7 MB)
June 2005
10. Vasilis Odontidis, (Dept. of Mathematics), MSc
"Simulation and Verification
of Atomicity Properties for an Electronic Cash System", in Greek
related
publication 1, related
publication 2 (Colored Petri Net model)
(Προσομοίωση και
Έλεγχος Ατομικής Εκτέλεσης Συναλλαγών
σε ένα Σύστημα
Ηλεκτρονικών Πληρωμών) - download
(0.61 MB)
September 2005
11. Stergios Vavouras, Fotis Rafailidis
"Reliability Analysis with
Fault Trees", in Greek - download (1.42 MB)
(Ανάλυση
Αξιοπιστίας με Δένδρα Λαθών), related
tool
February 2006
12. Maria Stipsaneli
"Mobility Management for the
University Department of Procurements", in Greek
(Διαχείριση
Κινήσεων Τμήματος Προμηθειών Α.Π.Θ.) - download
(1.4 MB)
February 2006
13. Panagiotis Tourlakis
"Workoflow Performance Analysis", in Greek
(Ανάλυση Απόδοσης
Συστημάτων Ροής Εργασιών) - download
(1.2 MB)
June 2006
14. George Polymerou
"Multilevel Secure
Distributed Transactions", in Greek
(Κατανεμημένες
Συναλλαγές Ασφαλείας Πολλών Επιπέδων) - download
(7.5 MB)
September 2006
15. Eftychia Eliadou
"Simulation of Queueing
Networks with Colored Petri Nets", in Greek - Colored
Petri Net models
(Προσομοίωση
Δικτύων Ουρών Αναμονής με Χρωματισμένα
Δίκτυα Petri)
September 2006
16. Marina Georgiadou, Thanasis Ziazias
"Web Security", in Greek
(Ασφάλεια στο
Διαδίκτυο) - download (2.6 MB)
July 2007
17. Alexandros Loizidis
"Java Card Application
Development", in Greek
related
publication
(Εφαρμογές Έξυπνων
Καρτών Ανοικτής Σχεδίασης Java Card) - download
(1 MB), JavaCard Applications Code
February 2008
18. Nikolaos Alexiou
"Probabilistic Model Checking
with PRISM: Analysis of the HIP protocol", in Greek
related
publication
(Πιθανοκρατικός
Έλεγχος Μοντέλων με το PRISM: Ανάλυση του Host
Identity Protocol) - download (1.4
MB)
February 2008
19. Nomiki Katsiaouni
"Designing Safety Critical
Systems", in Greek
(Σχεδίαση Συστημάτων
Κρίσιμης Ασφάλειας) - download
(0.9 MB)
September 2008
20. Vasilis Almaliotis
"Static Program Analysis of
Java Card Applets", in Greek
related
publication
(Στατική Ανάλυση
Εφαρμογών Έξυπνων Καρτών JavaCard) - download
(1.3 MB)
September 2008
21. Andreas Hatzidemetriou
"Static Program Analysis for
detecting Security Vulnerabilities", in Greek
(Στατική Ανάλυση
Προγραμμάτων για τον εντοπισμό προβλημάτων
ασφαλείας) - download (1 MB)
September 2009
1. Miltiadis Tarasiadis, MSc
"Formal Analysis of Secure
Mobile Payments",
in Greek - Colored Petri Net model
(Τυπική Ανάλυση
Ασφάλειας Πληρωμών) - download
(1.93 ΜΒ)
July 2006
|