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 1 to 20 of 24  next >
Issue DateTitleAuthor(s)Supervisor
16-Sep-2009Detection Of Opaque Violations In Erlang Using Static AnalysisΜανούκ - Βαρτάν ΜανουκιάνΣαγώνας Κωστής
17-Jun-2011Dynamic Systematic Testing Of Concurrent Erlang ProgramsΆλκης Γκότοβος (alkis Gotovos)Σαγώνας Κωστής
27-Jul-2010Explanation Of Success Typing Violations In Erlang ProgramsΈλλη ΦραγκάκηΣαγώνας Κωστής
6-Jul-2018HiPErJiT: Ένας Just-in-Time μεταγλωττιστής για την ErlangΚαλλάς, ΚωνσταντίνοςΣαγώνας Κωστής
27-Jul-2010Parallelizing Dialyzer: A Static Analyzer That Detects Bugs In Erlang ProgramsΥπατία ΤσαβλίρηΣαγώνας Κωστής
28-Sep-2009Race Condition Detection In Concurrent Erlang Applications Using Static AnalysisΜαρία ΧρηστάκηΣαγώνας Κωστής
19-Dec-2013Systematic Testing Of Concurrent Erlang Programs: Some ExperiencesΤσιτσιμπής ΗλίαςΣαγώνας Κωστής
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Μιχάλης ΠιτίδηςΣαγώνας Κωστής
23-Nov-2016Συστηματικός Έλεγχος Ορθότητας Του Read-copy-update Υπό Ακολουθιακά Συνεπή Και Ασθενή Μοντέλα ΜνήμηςΚοκολογιαννάκης ΜιχαήλΣαγώνας Κωστής