Panagiotis Katsaros

Cited by

	All	Since 2019
Citations	1875	760
h-index	23	14
i10-index	46	23

240

120

180

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 10 4 7 9 28 23 23 54 84 89 76 107 136 176 240 162 129 123 120 110 115

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stylianos (Stelios) BasagiannisGroup Leader, Raytheon Technologies Research Centre;Verified email at collins.com
Dimitris A. GritzalisProfessor of Cybersecurity, Athens University of Economics & BusinessVerified email at aueb.gr
Anakreontas MentisAston UniversityVerified email at aston.ac.uk
Emmanouela StachtiariSIXVerified email at six-group.com
Anastasios GounarisProfessor of Aristotle University of ThessalonikiVerified email at csd.auth.gr
Lefteris (Eleftherios) AngelisProfessor of Statistics and Information Systems, Aristotle University of ThessalonikiVerified email at csd.auth.gr
Konstantinos MokosPhD CandidateVerified email at csd.auth.gr
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Athanasios NaskosAristotle University of ThessalonikiVerified email at csd.auth.gr
IOANNIS STAMELOSProfessor, Aristotle UniversityVerified email at csd.auth.gr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Yannis SoupionisJoint Research Center, European CommissionVerified email at ec.europa.eu
George KakarontzasProfessor, University of Thessaly, Department of Digital SystemsVerified email at uth.gr
George StergiopoulosAssistant Professor, Inf. and Comm. Systems Engineering, University of the AegeanVerified email at aegean.gr
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Alexios LekidisUniversity of ThessalyVerified email at acm.org
Vasilis KatosBournemouth UniversityVerified email at bournemouth.ac.uk
George ChatzieleftheriouPhD, Dept. of Informatics, Aristotle University of ThessalonikiVerified email at csd.auth.gr
Nick BassiliadesProfessor, School of Informatics, Aristotle University of Thessaloniki, GreeceVerified email at csd.auth.gr
Tushar DeshpandeStony Brook UniversityVerified email at cs.stonybrook.edu

Panagiotis Katsaros

Professor of Computer Science, Aristotle University of Thessaloniki, Greece

Verified email at csd.auth.gr - Homepage

Software Security Verification Model Checking Formal Methods Software Architecture


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Sphinx enigma in critical VoIP infrastructures: Human or botnet? D Gritzalis, Y Soupionis, V Katos, I Psaroudakis, P Katsaros, A Mentis 4th International Conference on Information, Intelligence, Systems and …, 2013	242	2013
Model repair for probabilistic systems E Bartocci, R Grosu, P Katsaros, C Ramakrishnan, S Smolka Tools and Algorithms for the Construction and Analysis of Systems, 326-340, 2011	154	2011
Spacecraft early design validation using formal methods M Bozzano, A Cimatti, JP Katoen, P Katsaros, K Mokos, VY Nguyen, ... Reliability engineering & system safety 132, 20-35, 2014	84	2014
Dependable Horizontal Scaling Based On Probabilistic Model Checking A Naskos, E Stachtiari, A Gounaris, P Katsaros, D Tsoumakos, ... 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing …, 2015	75	2015
Test-driving static analysis tools in search of C code vulnerabilities G Chatzieleftheriou, P Katsaros Computer Software and Applications Conference Workshops (COMPSACW), 2011 …, 2011	58	2011
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach P Katsaros Information and Software Technology 51 (2), 235-257, 2009	54	2009
Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checking N Alexiou, S Basagiannis, P Katsaros, T Dashpande, SA Smolka High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International …, 2010	52	2010
Abstract model repair G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka Logical Methods in Computer Science 11, 2015	49	2015
Runtime Verification of Autonomous Driving Systems in CARLA E Zapridou, E Bartocci, P Katsaros International Conference on Runtime Verification, 172-183, 2020	48	2020
Early validation of system requirements and design through correctness-by-construction E Stachtiari, A Mavridou, P Katsaros, S Bliudze, J Sifakis Journal of Systems and Software 145, 52-78, 2018	47	2018
Architecture-based design: A satellite on-board software case study A Mavridou, E Stachtiari, S Bliudze, A Ivanov, P Katsaros, J Sifakis Formal Aspects of Component Software: 13th International Conference, FACS …, 2017	47	2017
Probabilistic model checking for the quantification of DoS security threats S Basagiannis, P Katsaros, A Pombortsis, N Alexiou Computers & Security 28 (6), 450-465, 2009	41	2009
Formal Analysis of the DNS Bandwidth Amplification Attack and its Countermeasures Using Probabilistic Model Checking T Deshpande, P Katsaros, S Basagiannis, SA Smolka 13th IEEE International High Assurance Systems Engineering Symposium, 360-367, 2011	37	2011
Cloud elasticity using probabilistic model checking A Naskos, E Stachtiari, A Gounaris, P Katsaros, D Tsoumakos, ... arXiv preprint arXiv:1405.4699, 2014	34	2014
Model-based design of energy-efficient applications for IoT systems A Lekidis, P Katsaros arXiv preprint arXiv:1807.01242, 2018	29	2018
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach S Basagiannis, S Petridou, N Alexiou, G Papadimitriou, P Katsaros Computers & Security, 2011	28	2011
Product line variability with elastic components and test-driven development G Kakarontzas, I Stamelos, P Katsaros Computational Intelligence for Modelling Control & Automation, 2008 …, 2008	28	2008
Model‐based design of IoT systems with the BIP component framework A Lekidis, E Stachtiari, P Katsaros, M Bozga, CK Georgiadis Software: Practice and Experience 48 (6), 1167-1194, 2018	27	2018
Ontology-based model driven engineering for safety verification K Mokos, G Meditskos, P Katsaros, N Bassiliades, V Vasiliades 36th EUROMICRO Conference on Software Engineering and Advanced Applications …, 2010	27	2010
Performance and effectiveness trade‐off for checkpointing in fault‐tolerant distributed systems P Katsaros, L Angelis, C Lazos Concurrency and Computation: Practice and Experience 19 (1), 37-63, 2007	25	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors