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 7 to 26 of 28 < previous   next >
Issue DateTitleAuthor(s)Supervisor
28-Sep-2009Race Condition Detection In Concurrent Erlang Applications Using Static AnalysisΜαρία ΧρηστάκηΣαγώνας Κωστής
16-Mar-2022Reducing the search space of concolic testing via static analysisSpiliopoulos, DionisiosΣαγώνας Κωστής
19-Dec-2013Systematic Testing Of Concurrent Erlang Programs: Some ExperiencesΤσιτσιμπής ΗλίαςΣαγώνας Κωστής
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Γιάννης Τσιούρης; Χρήστος ΣταυρακάκηςΣαγώνας Κωστής