Panagiotis Katsaros

Geciteerd door

	Alles	Sinds 2018
Citaties	1676	805
h-index	22	14
i10-index	41	21

240

120

180

2003200420052006200720082009201020112012201320142015201620172018201920202021202220235 10 4 7 9 28 22 22 53 83 88 75 114 137 172 238 154 128 122 115 48

Openbare toegang

Alles bekijken

5 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Stylianos (Stelios) BasagiannisGroup Leader, Raytheon Technologies Research CentreGeverifieerd e-mailadres voor collins.com
Dimitris A. GritzalisProfessor of Cybersecurity, Athens University of Economics & BusinessGeverifieerd e-mailadres voor aueb.gr
Anakreontas MentisAston UniversityGeverifieerd e-mailadres voor aston.ac.uk
Anastasios GounarisAssociate Professor of Aristotle University of ThessalonikiGeverifieerd e-mailadres voor csd.auth.gr
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityGeverifieerd e-mailadres voor cs.sunysb.edu
Lefteris (Eleftherios) AngelisProfessor of Statistics and Information Systems, Aristotle University of ThessalonikiGeverifieerd e-mailadres voor csd.auth.gr
Athanasios NaskosAristotle University of ThessalonikiGeverifieerd e-mailadres voor csd.auth.gr
IOANNIS STAMELOSProfessor, Aristotle UniversityGeverifieerd e-mailadres voor csd.auth.gr
Yannis SoupionisJoint Research Center, European CommissionGeverifieerd e-mailadres voor ec.europa.eu
George StergiopoulosAssistant Professor, Inf. and Comm. Systems Engineering, University of the AegeanGeverifieerd e-mailadres voor aegean.gr
George KakarontzasUniversity of Thessaly, Department of Digital SystemsGeverifieerd e-mailadres voor uth.gr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
George ChatzieleftheriouPhD, Dept. of Informatics, Aristotle University of ThessalonikiGeverifieerd e-mailadres voor csd.auth.gr
Vasilios KatosProfessor, Bournemouth UniversityGeverifieerd e-mailadres voor bournemouth.ac.uk
Alexios LekidisPublic Power CorporationGeverifieerd e-mailadres voor acm.org
Ezio BartocciFaculty of Informatics, TU WienGeverifieerd e-mailadres voor tuwien.ac.at
Tushar DeshpandeStony Brook UniversityGeverifieerd e-mailadres voor cs.stonybrook.edu
Simon BliudzeComputer Science researcher, INRIA Lille - Nord EuropeGeverifieerd e-mailadres voor inria.fr
Joseph SifakisReseracher at Verimag laboratory, GrenobleGeverifieerd e-mailadres voor imag.fr
Nick BassiliadesProfessor, School of Informatics, Aristotle University of Thessaloniki, GreeceGeverifieerd e-mailadres voor csd.auth.gr

Volgen

Panagiotis Katsaros

Associate Professor of Computer Science, Aristotle University of Thessaloniki, Greece

Geverifieerd e-mailadres voor csd.auth.gr - Homepage

Software Security Verification Model Checking Formal Methods Software Architecture


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	152	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	73	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	66	2015
Abstract model repair G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka arXiv preprint arXiv:1506.06165, 2015	49	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	49	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	48	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	47	2010
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	43	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	40	2009
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	36	2018
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	34	2011
Runtime Verification of Autonomous Driving Systems in CARLA E Zapridou, E Bartocci, P Katsaros International Conference on Runtime Verification, 172-183, 2020	33	2020
Cloud elasticity using probabilistic model checking A Naskos, E Stachtiari, A Gounaris, P Katsaros, D Tsoumakos, ... arXiv preprint arXiv:1405.4699, 2014	33	2014
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
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
A formally verified mechanism for countering SPIT Y Soupionis, S Basagiannis, P Katsaros, D Gritzalis Critical Information Infrastructures Security, Lecture Notes in Computer …, 2011	24	2011
Formal analysis for robust anti-SPIT protection using model checking D Gritzalis, P Katsaros, S Basagiannis, Y Soupionis International Journal of Information Security 11, 121-135, 2012	23	2012
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking T Deshpande, P Katsaros, S Smolka, SD Stoller 10th European Dependable Computing Conference (EDCC), 226-237, 2014	22	2014

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs