Get started
Author

Panagiotis Katsaros

Model Repair for Probabilistic Systems
2011 · Ezio Bartocci, Radu Grosu, et al. · Lecture notes in computer science · 112
PDF
Spacecraft early design validation using formal methods
2014 · Marco Bozzano, Alessandro Cimatti, et al. · Reliability Engineering & System Safety · 63
Dependable Horizontal Scaling Based on Probabilistic Model Checking
2015 · Athanasios Naskos, Emmanouela Stachtiari, et al. · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) · 60
Runtime Verification of Autonomous Driving Systems in CARLA
2020 · Eleni Zapridou, Ezio Bartocci, et al. · Lecture notes in computer science · 50
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities
2011 · George Chatzieleftheriou, Panagiotis Katsaros · IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW) · 41
Early validation of system requirements and design through correctness-by-construction
2018 · Emmanouela Stachtiari, Anastasia Mavridou, et al. · Journal of Systems and Software · 39
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach
2008 · Panagiotis Katsaros · Information and Software Technology · 38
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking
2010 · Nikolaos Alexiou, Stylianos Basagiannis, et al. · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 35
Abstract Model Repair
2012 · George Chatzieleftheriou, Borzoo Bonakdarpour, et al. · Lecture notes in computer science · 34
Architecture-Based Design: A Satellite On-Board Software Case Study
2017 · Anastasia Mavridou, Emmanouela Stachtiari, et al. · Lecture notes in computer science · 29
Cloud elasticity using probabilistic model checking
2014 · Naskos, Athanasios, Stachtiari, Emmanouela, et al. · arXiv (Cornell University) · 27
PDF
Model‐based design of IoT systems with the BIP component framework
2018 · Alexios Lekidis, Emmanouela Stachtiari, et al. · Software Practice and Experience · 26
Probabilistic model checking for the quantification of DoS security threats
2009 · Stylianos Basagiannis, Panagiotis Katsaros, et al. · Computers & Security · 24
Adversarial robustness improvement for deep neural networks
2024 · Charis Eleftheriadis, Andreas Symeonidis, et al. · Machine Vision and Applications · 23
PDF
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach
2011 · S. Basagiannis, S. Petridou, et al. · Computers & Security · 21
A survey on the formalisation of system requirements and their validation
2020 · Konstantinos Mokos, Panagiotis Katsaros · Array · 20
Product Line Variability with Elastic Components and Test-Driven Development
2008 · George Kakarontzas, Ioannis Stamelos, et al. · Computational Intelligence for Modelling, Control and Automation · 20
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
2011 · Tushar Deshpande, Panagiotis Katsaros, et al. · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 19
Performance and effectiveness trade‐off for checkpointing in fault‐tolerant distributed systems
2006 · Panagiotis Katsaros, Lefteris Angelis, et al. · Concurrency and Computation Practice and Experience · 18
Ontology-Based Model Driven Engineering for Safety Verification
2010 · Konstantinos Mokos, George Meditskos, et al. · Euromicro Conference on Software Engineering and Advanced Applications (SEAA) · 17
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification
2022 · Jorge David de Hoz Diego, Anastasios Temperekidis, et al. · Lecture notes in computer science · 16
Online Analysis of Security Risks in Elastic Cloud Applications
2016 · Athanasios Naskos, Anastasios Gounaris, et al. · IEEE Cloud Computing · 16
Semantic Modeling and Analysis of Natural Language System Requirements
2022 · Konstantinos Mokos, Theodoros Nestoridis, et al. · IEEE Access · 14
PDF
On Neural Network Equivalence Checking Using SMT Solvers
2022 · Charis Eleftheriadis, Nikolaos Kekatos, et al. · Lecture notes in computer science · 14
PDF
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
2015 · Athanasios Naskos, Emmanouela Stachtiari, et al. · Lecture notes in computer science · 14
Works count: 146
Citation count: 1,159
H-index: 18
I10-index: 33
Year
Topic
Type