Stylianos (Stelios) Basagiannis

Hivatkozott rá

	Összes	2019 óta
Hivatkozások	1092	606
h-index	19	13
i10-index	29	17

140

105

20092010201120122013201420152016201720182019202020212022202320249 11 29 25 39 30 43 66 108 109 126 124 95 90 87 83

Nyilvános hozzáférés

Összes megtekintése

8 cikk

3 cikk

elérhető

nem érhető el

Finanszírozási megbízások alapján

Társszerzők

Panagiotis KatsarosProfessor of Computer Science, Aristotle University of Thessaloniki, GreeceE-mail megerősítve itt: csd.auth.gr
Peter Gorm LarsenAarhus UniversityE-mail megerősítve itt: ece.au.dk
Sophia PetridouDepartment of Applied Informatics, University of MacedoniaE-mail megerősítve itt: uom.edu.gr
John S. FitzgeraldNewcastle University, UKE-mail megerősítve itt: ncl.ac.uk
Nikolaos AlexiouSecurity SpecialistE-mail megerősítve itt: kth.se
Jim WoodcockProfessor of Software Engineering, University of YorkE-mail megerősítve itt: york.ac.uk
Carl GambleResearch Associate, Newcastle UniversityE-mail megerősítve itt: newcastle.ac.uk
Andrey SadovykhSofteamE-mail megerősítve itt: softeam.fr
Thierry LecomteClearSy Systems EngineeringE-mail megerősítve itt: clearsy.com
Richard PayneSenior Software Engineer, Asset55E-mail megerősítve itt: assetfiftyfive.com
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityE-mail megerősítve itt: cs.sunysb.edu
Tushar DeshpandeStony Brook UniversityE-mail megerősítve itt: cs.stonybrook.edu
Tarik HadzicMachine Learning, MetaE-mail megerősítve itt: meta.com
Stavros TripakisAssociate Professor, Northeastern UniversityE-mail megerősítve itt: northeastern.edu
Peter FritzsonProfessor of Computer Science, Linköping UniversityE-mail megerősítve itt: liu.se
Ole GreenProfessorE-mail megerősítve itt: agrointelli.com
Alessandra BagnatoSofteam R&DE-mail megerősítve itt: softeam.fr
Casper ThulePostDoc, Aarhus University, Department of Engineering, DIGITE-mail megerősítve itt: eng.au.dk
Yannis SoupionisJoint Research Center, European CommissionE-mail megerősítve itt: ec.europa.eu
Dimitris A. GritzalisProfessor of Cybersecurity, Athens University of Economics & BusinessE-mail megerősítve itt: aueb.gr

Követés

Stylianos (Stelios) Basagiannis

Group Leader, Raytheon Technologies Research Centre;

E-mail megerősítve itt: collins.com

Cyber Security Formal Methods Certification Cyber-Physical Systems Safety Critical Systems


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Integrated tool chain for model-based design of cyber-physical systems: The into-cps project PG Larsen, J Fitzgerald, J Woodcock, P Fritzson, J Brauer, C Kleijn, ... Modelling, Analysis, and Control of Complex CPS (CPS Data), 2016 2nd …, 2016	158	2016
Learning Moore machines from input–output traces G Giantamidis, S Tripakis, S Basagiannis International Journal on Software Tools for Technology Transfer 23 (1), 1-29, 2021	69	2021
Smart grid security: Innovative solutions for a modernized grid F Skopik, DK Smith, Paul Dr, N van Dijk, S Basagiannis, R Chabukswar, ... Syngress, 2015	57	2015
Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checking N Alexiou, S Basagiannis, P Katsaros, T Dashpande, SA Smolka 2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010	54	2010
Dynasore impairs VEGFR2 signalling in an endocytosis-independent manner D Basagiannis, S Zografou, K Galanopoulou, S Christoforidis Scientific reports 7 (1), 45035, 2017	47	2017
Evaluation of a two-step ultrasound examination protocol for the detection of major fetal structural defects A Pilalis, C Basagiannis, M Eleftheriades, E Faros, E Troukis, E Armelidou, ... The Journal of Maternal-Fetal & Neonatal Medicine 25 (9), 1814-1817, 2012	46	2012
The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide PG Larsen, J Fitzgerald, J Woodcock, C König, S Basagiannis, E Brosse, ...	42*	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 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011	37	2011
Formal security analysis of near field communication using model checking N Alexiou, S Basagiannis, S Petridou computers & security 60, 1-14, 2016	33	2016
Features of integrated model-based co-modelling and co-simulation technology PG Larsen, J Fitzgerald, J Woodcock, C Gamble, R Payne, K Pierce, ... International Conference on Software Engineering and Formal Methods, 377-390, 2017	32	2017
Survivability analysis using probabilistic model checking: A study on wireless sensor networks S Petridou, S Basagiannis, M Roumeliotis IEEE systems journal 7 (1), 4-12, 2012	28	2012
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 30 (4), 257-272, 2011	28	2011
Collaborative model-based systems engineering for cyber-physical systems–a case study in building automation J Fitzgerald, C Gamble, R Payne, PG Larsen, S Basagiannis, AED Mady Proc. INCOSE Intl. Symp. on Systems Engineering. Edinburgh, Scotland (July 2016), 2016	27	2016
INTERAVT Preface:EEAST 2019 A Mjeda, S Basagiannis, G Botterweck Electronic Communication of the European Association of Software Science and …, 2019	25*	2019
A formally verified mechanism for countering SPIT Y Soupionis, S Basagiannis, P Katsaros, D Gritzalis Critical Information Infrastructures Security: 5th International Workshop …, 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
Intrusion attack tactics for the model checking of e-commerce security guarantees S Basagiannis, P Katsaros, A Pombortsis Computer Safety, Reliability, and Security: 26th International Conference …, 2007	23	2007
An intruder model with message inspection for model checking security protocols S Basagiannis, P Katsaros, A Pombortsis computers & security 29 (1), 16-34, 2010	22	2010
Formal methods for energy-efficient EPONs S Petridou, S Basagiannis, L Mamatas IEEE Transactions on Green Communications and Networking 2 (1), 246-259, 2017	17	2017

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

Követés

Hivatkozott rá

Társszerzők