Panagiotis Katsaros

Cited by

	All	Since 2016
Citations	1351	821
h-index	20	13
i10-index	33	19

240

120

180

20032004200520062007200820092010201120122013201420152016201720182019202020214 10 4 6 9 29 21 21 48 79 95 70 112 132 178 232 156 116 2

Co-authors

Stylianos (Stelios) BasagiannisGroup Leader, Raytheon Technologies Research CentreVerified email at rtx.com
Dimitris A. GritzalisProfessor of Cybersecurity, Athens University of Economics & BusinessVerified email at aueb.gr
Anakreontas MentisAston UniversityVerified email at aston.ac.uk
Emmanouela StachtiariUniversity of GenevaVerified email at unige.ch
Lefteris (Eleftherios) AngelisProfessor of Statistics and Information Systems, Aristotle University of ThessalonikiVerified email at csd.auth.gr
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Anastasios GounarisAssociate Professor of Aristotle University of ThessalonikiVerified email at csd.auth.gr
Yannis SoupionisJoint Research Center, European CommissionVerified email at ec.europa.eu
Athanasios NaskosAristotle University of ThessalonikiVerified email at csd.auth.gr
IOANNIS STAMELOSProfessor, Aristotle UniversityVerified email at csd.auth.gr
George StergiopoulosAssistant Professor, Department of Information and Communication Systems Engineering, University ofVerified email at aegean.gr
George KakarontzasUniversity of Thessaly, Department of Digital SystemsVerified email at uth.gr
Vasilios KatosProfessor, Bournemouth UniversityVerified email at bournemouth.ac.uk
George ChatzieleftheriouPhD, Dept. of Informatics, Aristotle University of ThessalonikiVerified email at csd.auth.gr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Ezio BartocciProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Ioannis PsaroudakisPhD, Democritus University of ThraceVerified email at ee.duth.gr
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr

Panagiotis Katsaros

Associate 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	237	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	114	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	53	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	52	2015
Abstract model repair G Chatzieleftheriou, B Bonakdarpour, SA Smolka, P Katsaros NASA Formal Methods Symposium, 341-355, 2012	41	2012
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	40	2010
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	39	2009
Architecture-based design: A satellite on-board software case study A Mavridou, E Stachtiari, S Bliudze, A Ivanov, P Katsaros, J Sifakis International Workshop on Formal Aspects of Component Software, 260-279, 2016	37	2016
Test-driving static analysis tools in search of C code vulnerabilities G Chatzieleftheriou, P Katsaros Computer Software and Applications Conference Workshops (COMPSACW), 2011 …, 2011	35	2011
Cloud elasticity using probabilistic model checking A Naskos, E Stachtiari, A Gounaris, P Katsaros, D Tsoumakos, ... arXiv preprint arXiv:1405.4699, 2014	28	2014
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	28	2011
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	28	2009
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
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	23	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	23	2008
Formal analysis for robust anti-SPIT protection using model checking D Gritzalis, P Katsaros, S Basagiannis, Y Soupionis International Journal of Information Security 11 (2), 121-135, 2012	22	2012
A formally verified mechanism for countering SPIT Y Soupionis, S Basagiannis, P Katsaros, D Gritzalis Critical Information Infrastructures Security, Lecture Notes in Computer …, 2011	22	2011
An intruder model with message inspection for model checking security protocols S Basagiannis, P Katsaros, A Pombortsis Computers & Security 29 (1), 16-34, 2010	21	2010
Automated detection of logical errors in programs G Stergiopoulos, P Katsaros, D Gritzalis International Conference on Risks and Security of Internet and Systems, 35-51, 2014	20	2014
Probabilistic model checking of CAPTCHA admission control for DoS resistant anti-SPIT protection E Stachtiari, Y Soupionis, P Katsaros, A Mentis, D Gritzalis Critical Information Infrastructures Security, 143-154, 2013	20	2013

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

Upload PDF

Follow this author

Cited by

Co-authors