Panagiotis Katsaros

Spacecraft early design validation using formal methods

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · Reliability Engineering & System Safety · 2014 · 62 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +14

Dependable Horizontal Scaling Based on Probabilistic Model Checking

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris et al. · 2015 · 56 citations

Computing, Cloud Computing, Cloud Databases +15

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities

George Chatzieleftheriou, Panagiotis Katsaros · 2011 · 39 citations

Computing, Computer Science, Programming Languages +16

A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach

Panagiotis Katsaros · Information and Software Technology · 2008 · 38 citations

Business, Information Systems, Systems Engineering +14

Early validation of system requirements and design through correctness-by-construction

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros et al. · Journal of Systems and Software · 2018 · 37 citations · Full text

Engineering, Computer Science, Systems Engineering +14