Παρακολούθηση
George Chatzieleftheriou
George Chatzieleftheriou
PhD, Dept. of Informatics, Aristotle University of Thessaloniki
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα csd.auth.gr
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Test-driving static analysis tools in search of C code vulnerabilities
G Chatzieleftheriou, P Katsaros
2011 IEEE 35th annual computer software and applications conference …, 2011
562011
Abstract model repair
G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka
Logical Methods in Computer Science 11, 2015
502015
Abstract model repair for probabilistic systems
G Chatzieleftheriou, P Katsaros
Information and Computation 259, 142-160, 2018
112018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–3