Panagiotis Katsaros

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	1960	682
h-endeksi	22	13
i10-endeksi	49	25

240

120

180

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 10 4 7 9 28 23 22 54 82 87 76 109 140 178 238 159 130 126 120 112 167 27

Genel erişim

Tümünü görüntüle

8 makale

1 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Stylianos (Stelios) BasagiannisGroup Leader, Raytheon Technologies Research Centre;collins.com üzerinde doğrulanmış e-posta adresine sahip
Dimitris A. GritzalisProfessor of Cybersecurity, Athens University of Economics & Businessaueb.gr üzerinde doğrulanmış e-posta adresine sahip
Anakreontas MentisAston Universityaston.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Emmanouela StachtiariSIXsix-group.com üzerinde doğrulanmış e-posta adresine sahip
Anastasios GounarisProfessor of Aristotle University of Thessalonikicsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
Lefteris (Eleftherios) AngelisProfessor of Statistics and Information Systems, Aristotle University of Thessalonikicsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
Saddek BensalemUniversité Grenoble Alpes, VERIMAGuniv-grenoble-alpes.fr üzerinde doğrulanmış e-posta adresine sahip
IOANNIS STAMELOSProfessor, Aristotle Universitycsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
Konstantinos MokosPhD Candidatecsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
Scott A. SmolkaProfessor of Computer Science, Stony Brook Universitycs.sunysb.edu üzerinde doğrulanmış e-posta adresine sahip
Athanasios NaskosAristotle University of Thessalonikicsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
Yannis SoupionisJoint Research Center, European Commissionec.europa.eu üzerinde doğrulanmış e-posta adresine sahip
George KakarontzasProfessor, University of Thessaly, Department of Digital Systemsuth.gr üzerinde doğrulanmış e-posta adresine sahip
George StergiopoulosAssistant Professor, Inf. and Comm. Systems Engineering, University of the Aegeanaegean.gr üzerinde doğrulanmış e-posta adresine sahip
Alexios LekidisUniversity of Thessalyuth.gr üzerinde doğrulanmış e-posta adresine sahip
Vasilis KatosBournemouth Universitybournemouth.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Nikolaos KekatosAristotle University of Thessalonikicsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
Nick BassiliadesProfessor, School of Informatics, Aristotle University of Thessaloniki, Greececsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
George ChatzieleftheriouPhD, Dept. of Informatics, Aristotle University of Thessalonikicsd.auth.gr üzerinde doğrulanmış e-posta adresine sahip
Ezio BartocciFaculty of Informatics, TU Wientuwien.ac.at üzerinde doğrulanmış e-posta adresine sahip

Takip et

Panagiotis Katsaros

Professor of Computer Science, Aristotle University of Thessaloniki, Greece

csd.auth.gr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

Software Security Verification Model Checking Formal Methods Software Architecture


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
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	159	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	74	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	61	2011
Runtime Verification of Autonomous Driving Systems in CARLA E Zapridou, E Bartocci, P Katsaros International Conference on Runtime Verification, 172-183, 2020	60	2020
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	55	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	54	2009
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	52	2017
Abstract model repair G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka Logical Methods in Computer Science 11, 2015	52	2015
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	51	2018
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	42	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	35	2014
Model-based design of energy-efficient applications for IoT systems A Lekidis, P Katsaros arXiv preprint arXiv:1807.01242, 2018	31	2018
Product line variability with elastic components and test-driven development G Kakarontzas, I Stamelos, P Katsaros Computational Intelligence for Modelling Control & Automation, 2008 …, 2008	30	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	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
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	28	2010
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

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar