Panagiotis Katsaros

Panagiotis Katsaros

Aristotle University of Thessaloniki - Thessaloniki / Greece
Engineering & Technology / Computer Science
AD Scientific Index ID: 1845715
Αριστοτελείου Πανεπιστημίου Θεσσαλονίκης
person_outline Panagiotis Katsaros's MOST POPULAR ARTICLES
1-) Model repair for probabilistic systems Tools and Algorithms for the Construction and Analysis of Systems, 326-340, 2011
2-) Spacecraft early design validation using formal methods Reliability engineering & system safety 132, 20-35, 2014
3-) Dependable Horizontal Scaling Based On Probabilistic Model Checking 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing …, 2015
4-) Runtime Verification of Autonomous Driving Systems in CARLA International Conference on Runtime Verification, 172-183, 2020
5-) Test-driving static analysis tools in search of C code vulnerabilitiesG Chatzieleftheriou, P KatsarosComputer Software and Applications Conference Workshops (COMPSACW), 2011 …, 2011612011