Panagiotis Katsaros

引用次数

	总计	2020 年至今
引用	1945	667
h 指数	23	13
i10 指数	48	24

240

120

180

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 10 4 7 9 28 23 23 54 84 89 76 107 136 176 240 163 128 124 120 113 160 21

开放获取的出版物数量

查看全部

8 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Stylianos (Stelios) BasagiannisGroup Leader, Raytheon Technologies Research Centre;在 collins.com 的电子邮件经过验证
Dimitris A. GritzalisProfessor of Cybersecurity, Athens University of Economics & Business在 aueb.gr 的电子邮件经过验证
Anakreontas MentisAston University在 aston.ac.uk 的电子邮件经过验证
Emmanouela StachtiariSIX在 six-group.com 的电子邮件经过验证
Anastasios GounarisProfessor of Aristotle University of Thessaloniki在 csd.auth.gr 的电子邮件经过验证
Lefteris (Eleftherios) AngelisProfessor of Statistics and Information Systems, Aristotle University of Thessaloniki在 csd.auth.gr 的电子邮件经过验证
Saddek BensalemUniversité Grenoble Alpes, VERIMAG在 univ-grenoble-alpes.fr 的电子邮件经过验证
Konstantinos MokosPhD Candidate在 csd.auth.gr 的电子邮件经过验证
Scott A. SmolkaProfessor of Computer Science, Stony Brook University在 cs.sunysb.edu 的电子邮件经过验证
IOANNIS STAMELOSProfessor, Aristotle University在 csd.auth.gr 的电子邮件经过验证
Athanasios NaskosAristotle University of Thessaloniki在 csd.auth.gr 的电子邮件经过验证
Yannis SoupionisJoint Research Center, European Commission在 ec.europa.eu 的电子邮件经过验证
George KakarontzasProfessor, University of Thessaly, Department of Digital Systems在 uth.gr 的电子邮件经过验证
George StergiopoulosAssistant Professor, Inf. and Comm. Systems Engineering, University of the Aegean在 aegean.gr 的电子邮件经过验证
Alexios LekidisUniversity of Thessaly在 uth.gr 的电子邮件经过验证
Vasilis KatosBournemouth University在 bournemouth.ac.uk 的电子邮件经过验证
Nikolaos KekatosAristotle University of Thessaloniki在 csd.auth.gr 的电子邮件经过验证
Nick BassiliadesProfessor, School of Informatics, Aristotle University of Thessaloniki, Greece在 csd.auth.gr 的电子邮件经过验证
George ChatzieleftheriouPhD, Dept. of Informatics, Aristotle University of Thessaloniki在 csd.auth.gr 的电子邮件经过验证
Ezio BartocciFaculty of Informatics, TU Wien在 tuwien.ac.at 的电子邮件经过验证

关注

Panagiotis Katsaros

Professor of Computer Science, Aristotle University of Thessaloniki, Greece

在 csd.auth.gr 的电子邮件经过验证 - 首页

Software Security Verification Model Checking Formal Methods Software Architecture


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	158	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	87	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	76	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	60	2011
Runtime Verification of Autonomous Driving Systems in CARLA E Zapridou, E Bartocci, P Katsaros International Conference on Runtime Verification, 172-183, 2020	58	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	56	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	50	2017
Abstract model repair G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka Logical Methods in Computer Science 11, 2015	50	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	49	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	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
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 energy-efficient applications for IoT systems A Lekidis, P Katsaros arXiv preprint arXiv:1807.01242, 2018	29	2018
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
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	29	2010
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
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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者