Browsing by Supervisor Σαγώνας Κωστής

Jump to: Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 10 to 28 of 28 < previous 
Issue DateTitleAuthor(s)Supervisor
27-Jul-2022A Test Suite for Model Checking Persistent Memory ProgramsΠαυλάτος, ΣπυρίδωνΣαγώνας Κωστής
17-Jul-2009Αυτόματη Απλοποίηση Και Αναδιαμόρφωση Προγραμμάτων Σε ErlangΑθανάσιος ΑυγερινόςΣαγώνας Κωστής
18-Jul-2012Αυτόματος Έλεγχος Υπηρεσιών Διαδικτύου Μέσω ΙδιοτήτωνΛαμπρόπουλος ΛεωνίδαςΣαγώνας Κωστής
11-Nov-2010Αυτόματος Τυχαίος Έλεγχος Ιδιοτήτων Συναρτήσεων Από Τις Προδιαγραφές ΤουςΕμμανουήλ ΠαπαδάκηςΣαγώνας Κωστής
18-Jul-2011Αυτόματος Τυχαίος Έλεγχος Συστημάτων Με Εσωτερική Κατάσταση Βάσει ΜοντέλουΑρβανίτη ΕιρήνηΣαγώνας Κωστής
6-Nov-2017Δυναμικός Συμβολικός Έλεγχος Με Χρήση Πολλαπλών Smt ΕπιλυτώνΚωνσταντίνος ΡακτιβάνΣαγώνας Κωστής
4-Jan-2014Έλεγχος Προγραμμάτων Συνδυάζοντας Συμβολική Και Συμπαγή Εκτέλεση Με Αυτόματη Παραγωγή Τιμών ΕισόδουΆγγελος ΓιάντσιοςΣαγώνας Κωστής
15-Oct-2018Επέκταση του μεταγλωττιστή HiPE για αρχιτεκτονική ARM 64-bitΠαπουτσιδάκης, ΑθανάσιοςΣαγώνας Κωστής
12-Jul-2019Παραλληλοποίηση των Dynamic Partial Order Reduction Αλγορίθμων στον ConcuerrorΦυτάς, ΠαναγιώτηςΣαγώνας Κωστής
18-Sep-2012Πολυμορφικός Συμπερασμός Τύπων Επιτυχίας Στη Γλώσσα ErlangΚοτσιφάκου ΜαρίαΣαγώνας Κωστής
24-Sep-2012Στατικές Εγγυήσεις Ασφάλειας Για Γλώσσες Με Ταυτόχρονο ΠρογραμματισμόΠρόδρομος ΓερακιόςΣαγώνας Κωστής
25-Jul-2012Στατική Ανάλυση Για Εύρεση Λαθών Σε Προγράμματα JavascriptΚασαμπαλής ΘεόδωροςΣαγώνας Κωστής
21-Jul-2010Στατική Ανάλυση Της Αγνότητας Των Συναρτήσεων Της Γλώσσας ErlangΜιχάλης ΠιτίδηςΣαγώνας Κωστής
22-Jan-2021Στοχευμένος Έλεγχος Βάσει Ιδιοτήτων σε Συστήματα με ΚατάστασηΔοντάς, ΣπυρίδωνΣαγώνας Κωστής
23-Nov-2016Συστηματικός Έλεγχος Ορθότητας Του Read-copy-update Υπό Ακολουθιακά Συνεπή Και Ασθενή Μοντέλα ΜνήμηςΚοκολογιαννάκης ΜιχαήλΣαγώνας Κωστής
21-Sep-2012Σχεδίαση Και Υλοποίηση Ενός Εργαλείου Ανάλυσης Της Εκτέλεσης Ενός Προγράμματος Σε Πολυπύρηνες Αρχιτεκτονικές Για Τη Γλώσσα ErlangΑθανάσιος ΤιντινίδηςΣαγώνας Κωστής
13-Nov-2011Σχεδίαση Και Υλοποίηση Ενός Μεταγλωττιστή Κώδικα Μηχανής Για Τη Γλώσσα Erlang Με Χρήση Της LlvmΓιάννης Τσιούρης; Χρήστος ΣταυρακάκηςΣαγώνας Κωστής
23-Jul-2013Ταυτοχρονισμός Και Παραλληλία Σε Erlang, F# Και Scala - Μια Συγκριτική ΜελέτηΨαρόπουλος ΓεώργιοςΣαγώνας Κωστής
28-Jan-2011Τεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής ΑνάλυσηςΑρώνης ΣταύροςΣαγώνας Κωστής