Stylianos (Stelios) Basagiannis

Citado por

	Total	Desde 2020
Citas	1232	515
Índice h	20	13
Índice i10	31	16

140

105

2009201020112012201320142015201620172018201920202021202220232024202514 21 42 34 48 37 57 84 116 114 134 119 101 97 91 95 12

Acceso público

Ver todo

10 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Panagiotis KatsarosProfessor of Computer Science, Aristotle University of Thessaloniki, GreeceDirección de correo verificada de csd.auth.gr
Peter Gorm LarsenAarhus UniversityDirección de correo verificada de ece.au.dk
Sophia PetridouDepartment of Applied Informatics, University of MacedoniaDirección de correo verificada de uom.edu.gr
John S. FitzgeraldNewcastle University, UKDirección de correo verificada de ncl.ac.uk
Nikolaos AlexiouSecurity SpecialistDirección de correo verificada de kth.se
Jim WoodcockProfessor of Software Engineering, University of YorkDirección de correo verificada de york.ac.uk
Carl GambleResearch Associate, Newcastle UniversityDirección de correo verificada de newcastle.ac.uk
Andrey SadovykhSofteamDirección de correo verificada de softeam.fr
Thierry LecomteClearSy Systems EngineeringDirección de correo verificada de clearsy.com
Richard PayneSenior Software Engineer, Asset55Dirección de correo verificada de assetfiftyfive.com
Tarik HadzicMachine Learning, MetaDirección de correo verificada de meta.com
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Tushar DeshpandeStony Brook UniversityDirección de correo verificada de cs.stonybrook.edu
Peter FritzsonProfessor of Computer Science, Linköping UniversityDirección de correo verificada de liu.se
Ole GreenProfessorDirección de correo verificada de agrointelli.com
Stavros TripakisAssociate Professor, Northeastern UniversityDirección de correo verificada de northeastern.edu
Alessandra BagnatoSofteam R&DDirección de correo verificada de softeam.fr
Casper ThulePostDoc, Aarhus University, Department of Engineering, DIGITDirección de correo verificada de eng.au.dk
Yannis SoupionisJoint Research Center, European CommissionDirección de correo verificada de ec.europa.eu
Dimitris A. GritzalisProfessor of Cybersecurity, Athens University of Economics & BusinessDirección de correo verificada de aueb.gr

Seguir

Stylianos (Stelios) Basagiannis

Group Leader, Raytheon Technologies Research Centre;

Dirección de correo verificada de collins.com

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	164	2016
Low temperature steam reforming of ethanol over supported noble metal catalysts AC Basagiannis, P Panagiotopoulou, XE Verykios Topics in catalysis 51, 2-12, 2008	128	2008
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	68	2021
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	56	2010
Smart grid security: Innovative solutions for a modernized grid F Skopik, DK Smith, Paul Dr, N van Dijk, S Basagiannis, R Chabukswar, ... Syngress, 2015	53	2015
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	47	2012
Dynasore impairs VEGFR2 signalling in an endocytosis-independent manner D Basagiannis, S Zografou, K Galanopoulou, S Christoforidis Scientific reports 7 (1), 45035, 2017	46	2017
The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide PG Larsen, J Fitzgerald, J Woodcock, C König, S Basagiannis, E Brosse, ...	45*	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 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011	37	2011
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
Formal security analysis of near field communication using model checking N Alexiou, S Basagiannis, S Petridou computers & security 60, 1-14, 2016	32	2016
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	30	2016
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	29	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
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	22	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	21	2010

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores